Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040688669> ?p ?o ?g. }
- W2040688669 abstract "Building high confidence regression test suites to validate new system versions is a challenging problem. A modelbased approach to build a regression test suite from a given test suite is described. The generated test suite includes every test that will traverse a change performed to produce the new version, and consists of only such tests to reduce the testing costs. Finite state machines extended with typed variables (EFSMs) are used to model systems and system changes are mapped to EFSM transition changes adding/deleting/replacing EFSM transitions and states. Tests are a sequence of input and expected output messages with concrete parameter values over the supported data types. An invariant is formulated to characterize tests whose runtime behavior can be accurately predicted by analyzing their descriptions along with the model. Incremental procedures to efficiently evaluate the invariant and to select tests for regression are developed. Overlaps among the test descriptions are exploited to extend the approach to simultaneously select multiple tests to reduce the test selection costs. Effectiveness of the approach is demonstrated by applying it to several protocols, Web services, and model programs extracted from a popular testing benchmark. Our experimental results show that the proposed approach is economical for regression test selection in all these examples. For all these examples, the proposed approach is able to identify all tests exercising changes more efficiently than brute-force symbolic evaluation." @default.
- W2040688669 created "2016-06-24" @default.
- W2040688669 creator A5002248477 @default.
- W2040688669 creator A5017537931 @default.
- W2040688669 date "2013-01-01" @default.
- W2040688669 modified "2023-09-30" @default.
- W2040688669 title "Test Selection on Extended Finite State Machines with Provable Guarantees" @default.
- W2040688669 cites W1495996719 @default.
- W2040688669 cites W1566023863 @default.
- W2040688669 cites W1607747749 @default.
- W2040688669 cites W1971137495 @default.
- W2040688669 cites W2004929506 @default.
- W2040688669 cites W2014515160 @default.
- W2040688669 cites W2020538887 @default.
- W2040688669 cites W2025970201 @default.
- W2040688669 cites W2030325471 @default.
- W2040688669 cites W2048280348 @default.
- W2040688669 cites W2055477538 @default.
- W2040688669 cites W2101512909 @default.
- W2040688669 cites W2113237484 @default.
- W2040688669 cites W2119173576 @default.
- W2040688669 cites W2119644713 @default.
- W2040688669 cites W2122626119 @default.
- W2040688669 cites W2130966309 @default.
- W2040688669 cites W2153342620 @default.
- W2040688669 cites W2158486950 @default.
- W2040688669 cites W2160199242 @default.
- W2040688669 cites W2163289685 @default.
- W2040688669 cites W2165404405 @default.
- W2040688669 cites W2340735175 @default.
- W2040688669 cites W2911480985 @default.
- W2040688669 cites W2913459036 @default.
- W2040688669 doi "https://doi.org/10.4236/jsea.2013.69060" @default.
- W2040688669 hasPublicationYear "2013" @default.
- W2040688669 type Work @default.
- W2040688669 sameAs 2040688669 @default.
- W2040688669 citedByCount "0" @default.
- W2040688669 crossrefType "journal-article" @default.
- W2040688669 hasAuthorship W2040688669A5002248477 @default.
- W2040688669 hasAuthorship W2040688669A5017537931 @default.
- W2040688669 hasBestOaLocation W20406886691 @default.
- W2040688669 hasConcept C105795698 @default.
- W2040688669 hasConcept C110332635 @default.
- W2040688669 hasConcept C11413529 @default.
- W2040688669 hasConcept C119857082 @default.
- W2040688669 hasConcept C124101348 @default.
- W2040688669 hasConcept C128942645 @default.
- W2040688669 hasConcept C13280743 @default.
- W2040688669 hasConcept C149091818 @default.
- W2040688669 hasConcept C151552104 @default.
- W2040688669 hasConcept C152877465 @default.
- W2040688669 hasConcept C154945302 @default.
- W2040688669 hasConcept C161821725 @default.
- W2040688669 hasConcept C165825675 @default.
- W2040688669 hasConcept C167822520 @default.
- W2040688669 hasConcept C16910744 @default.
- W2040688669 hasConcept C176809094 @default.
- W2040688669 hasConcept C181062253 @default.
- W2040688669 hasConcept C185798385 @default.
- W2040688669 hasConcept C186846655 @default.
- W2040688669 hasConcept C190470478 @default.
- W2040688669 hasConcept C199360897 @default.
- W2040688669 hasConcept C205649164 @default.
- W2040688669 hasConcept C2776400721 @default.
- W2040688669 hasConcept C2777904410 @default.
- W2040688669 hasConcept C33923547 @default.
- W2040688669 hasConcept C37914503 @default.
- W2040688669 hasConcept C41008148 @default.
- W2040688669 hasConcept C81917197 @default.
- W2040688669 hasConcept C83546350 @default.
- W2040688669 hasConceptScore W2040688669C105795698 @default.
- W2040688669 hasConceptScore W2040688669C110332635 @default.
- W2040688669 hasConceptScore W2040688669C11413529 @default.
- W2040688669 hasConceptScore W2040688669C119857082 @default.
- W2040688669 hasConceptScore W2040688669C124101348 @default.
- W2040688669 hasConceptScore W2040688669C128942645 @default.
- W2040688669 hasConceptScore W2040688669C13280743 @default.
- W2040688669 hasConceptScore W2040688669C149091818 @default.
- W2040688669 hasConceptScore W2040688669C151552104 @default.
- W2040688669 hasConceptScore W2040688669C152877465 @default.
- W2040688669 hasConceptScore W2040688669C154945302 @default.
- W2040688669 hasConceptScore W2040688669C161821725 @default.
- W2040688669 hasConceptScore W2040688669C165825675 @default.
- W2040688669 hasConceptScore W2040688669C167822520 @default.
- W2040688669 hasConceptScore W2040688669C16910744 @default.
- W2040688669 hasConceptScore W2040688669C176809094 @default.
- W2040688669 hasConceptScore W2040688669C181062253 @default.
- W2040688669 hasConceptScore W2040688669C185798385 @default.
- W2040688669 hasConceptScore W2040688669C186846655 @default.
- W2040688669 hasConceptScore W2040688669C190470478 @default.
- W2040688669 hasConceptScore W2040688669C199360897 @default.
- W2040688669 hasConceptScore W2040688669C205649164 @default.
- W2040688669 hasConceptScore W2040688669C2776400721 @default.
- W2040688669 hasConceptScore W2040688669C2777904410 @default.
- W2040688669 hasConceptScore W2040688669C33923547 @default.
- W2040688669 hasConceptScore W2040688669C37914503 @default.
- W2040688669 hasConceptScore W2040688669C41008148 @default.
- W2040688669 hasConceptScore W2040688669C81917197 @default.
- W2040688669 hasConceptScore W2040688669C83546350 @default.
- W2040688669 hasLocation W20406886691 @default.