Matches in SemOpenAlex for { <https://semopenalex.org/work/W2158921232> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2158921232 abstract "When using tools to automatically generate tests-suites from a specification, the selection of coverage criterion that guides the generation process is of imperative importance. In a previous study that evaluated test generation with model checking, we observed that although a coverage criterion may seem reasonable when instrumenting a model or code to measure the adequacy of a test suite, it may be unsuitable when formalized and used to guide the model checker to generate a test suite; the generated tests technically provide adequate coverage according to the formalization, but do so in a way that exercises only small portions of the system under study and finds few faults. Based on those results, we concluded that fully automated test-suite generation techniques must be pursued with great caution and that coverage criteria specifically addressing test-suite generation from formal specifications are needed. In this report, we attempt to better understand these concerns by evaluating several coverage criteria that bring together aspects from condition and control based criteria. We evaluate the fault finding capability of the criteria on a close to production flight guidance system and discuss the opportunities and challenges that arise from the increased use of fully automated model-based testing." @default.
- W2158921232 created "2016-06-24" @default.
- W2158921232 creator A5006799249 @default.
- W2158921232 creator A5015446624 @default.
- W2158921232 creator A5082894191 @default.
- W2158921232 date "2006-10-04" @default.
- W2158921232 modified "2023-09-26" @default.
- W2158921232 title "Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities" @default.
- W2158921232 cites W1809006150 @default.
- W2158921232 cites W1896160926 @default.
- W2158921232 cites W2009965218 @default.
- W2158921232 cites W2055647675 @default.
- W2158921232 cites W2122086011 @default.
- W2158921232 cites W2138612284 @default.
- W2158921232 cites W2159922197 @default.
- W2158921232 cites W2162200351 @default.
- W2158921232 cites W2172253171 @default.
- W2158921232 cites W4232038577 @default.
- W2158921232 doi "https://doi.org/10.1109/compsac.2005.66" @default.
- W2158921232 hasPublicationYear "2006" @default.
- W2158921232 type Work @default.
- W2158921232 sameAs 2158921232 @default.
- W2158921232 citedByCount "12" @default.
- W2158921232 countsByYear W21589212322013 @default.
- W2158921232 countsByYear W21589212322014 @default.
- W2158921232 countsByYear W21589212322015 @default.
- W2158921232 countsByYear W21589212322016 @default.
- W2158921232 crossrefType "proceedings-article" @default.
- W2158921232 hasAuthorship W2158921232A5006799249 @default.
- W2158921232 hasAuthorship W2158921232A5015446624 @default.
- W2158921232 hasAuthorship W2158921232A5082894191 @default.
- W2158921232 hasConcept C110251889 @default.
- W2158921232 hasConcept C115903868 @default.
- W2158921232 hasConcept C119857082 @default.
- W2158921232 hasConcept C127413603 @default.
- W2158921232 hasConcept C128942645 @default.
- W2158921232 hasConcept C151552104 @default.
- W2158921232 hasConcept C151730666 @default.
- W2158921232 hasConcept C152877465 @default.
- W2158921232 hasConcept C165825675 @default.
- W2158921232 hasConcept C166957645 @default.
- W2158921232 hasConcept C199360897 @default.
- W2158921232 hasConcept C200601418 @default.
- W2158921232 hasConcept C2777267654 @default.
- W2158921232 hasConcept C2777904410 @default.
- W2158921232 hasConcept C41008148 @default.
- W2158921232 hasConcept C53942775 @default.
- W2158921232 hasConcept C79581498 @default.
- W2158921232 hasConcept C86803240 @default.
- W2158921232 hasConcept C95457728 @default.
- W2158921232 hasConcept C98045186 @default.
- W2158921232 hasConceptScore W2158921232C110251889 @default.
- W2158921232 hasConceptScore W2158921232C115903868 @default.
- W2158921232 hasConceptScore W2158921232C119857082 @default.
- W2158921232 hasConceptScore W2158921232C127413603 @default.
- W2158921232 hasConceptScore W2158921232C128942645 @default.
- W2158921232 hasConceptScore W2158921232C151552104 @default.
- W2158921232 hasConceptScore W2158921232C151730666 @default.
- W2158921232 hasConceptScore W2158921232C152877465 @default.
- W2158921232 hasConceptScore W2158921232C165825675 @default.
- W2158921232 hasConceptScore W2158921232C166957645 @default.
- W2158921232 hasConceptScore W2158921232C199360897 @default.
- W2158921232 hasConceptScore W2158921232C200601418 @default.
- W2158921232 hasConceptScore W2158921232C2777267654 @default.
- W2158921232 hasConceptScore W2158921232C2777904410 @default.
- W2158921232 hasConceptScore W2158921232C41008148 @default.
- W2158921232 hasConceptScore W2158921232C53942775 @default.
- W2158921232 hasConceptScore W2158921232C79581498 @default.
- W2158921232 hasConceptScore W2158921232C86803240 @default.
- W2158921232 hasConceptScore W2158921232C95457728 @default.
- W2158921232 hasConceptScore W2158921232C98045186 @default.
- W2158921232 hasLocation W21589212321 @default.
- W2158921232 hasOpenAccess W2158921232 @default.
- W2158921232 hasPrimaryLocation W21589212321 @default.
- W2158921232 hasRelatedWork W1716350518 @default.
- W2158921232 hasRelatedWork W2094157810 @default.
- W2158921232 hasRelatedWork W2168625647 @default.
- W2158921232 hasRelatedWork W2401619241 @default.
- W2158921232 hasRelatedWork W2564883337 @default.
- W2158921232 hasRelatedWork W3157443257 @default.
- W2158921232 hasRelatedWork W4297128213 @default.
- W2158921232 hasRelatedWork W4313447549 @default.
- W2158921232 hasRelatedWork W64099252 @default.
- W2158921232 hasRelatedWork W46418635 @default.
- W2158921232 isParatext "false" @default.
- W2158921232 isRetracted "false" @default.
- W2158921232 magId "2158921232" @default.
- W2158921232 workType "article" @default.