Matches in SemOpenAlex for { <https://semopenalex.org/work/W3137507329> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3137507329 endingPage "102641" @default.
- W3137507329 startingPage "102641" @default.
- W3137507329 abstract "Automatic test input generation (ATG) is a major topic in software engineering, analysis and security. In this paper, we bridge the gap between state-of-the-art white-box ATG techniques, especially Dynamic Symbolic Execution, and the diversity of test objectives that they may be used to cover in practice, including many of those defined by common source-code coverage criteria. We define a new coverage specification mechanism, called labels, for specifying test objectives, and prove it to be both expressive and amenable to efficient automation. We present an efficient approach for detecting – revealing – infeasible (i.e. uncoverable) test objectives expressed as labels. We demonstrate that measuring the achieved coverage can be efficiently performed for labels. Finally, we propose an innovative extension of DSE resulting in an efficient support for label coverage, while the existing naive approach induces an exponential blow-up of the search space. Experiments show that our ATG technique yields very significant savings and confirm the interest of infeasible label detection, enabling to lift DSE to label coverage with only a slight overhead. Overall, we show that label coverage provides the basis of a rich framework allowing one to express and handle test objectives from various contexts in an efficient and generic manner. To illustrate this framework, we describe LTest, an all-in-one testing toolset based on labels and used in the industry, which offers automatic program annotation, ATG, coverage measurement and detection of infeasible test objectives." @default.
- W3137507329 created "2021-03-29" @default.
- W3137507329 creator A5018746962 @default.
- W3137507329 creator A5032640551 @default.
- W3137507329 creator A5042483045 @default.
- W3137507329 creator A5048139925 @default.
- W3137507329 date "2021-07-01" @default.
- W3137507329 modified "2023-09-25" @default.
- W3137507329 title "Specify and measure, cover and reveal: A unified framework for automated test generation" @default.
- W3137507329 cites W1963924029 @default.
- W3137507329 cites W1996596150 @default.
- W3137507329 cites W2008127419 @default.
- W3137507329 cites W2011367000 @default.
- W3137507329 cites W2042033151 @default.
- W3137507329 cites W2049695835 @default.
- W3137507329 cites W2057895669 @default.
- W3137507329 cites W2075592454 @default.
- W3137507329 cites W2095997776 @default.
- W3137507329 cites W2101512909 @default.
- W3137507329 cites W2107147876 @default.
- W3137507329 cites W2112537911 @default.
- W3137507329 cites W2119717320 @default.
- W3137507329 cites W2137351629 @default.
- W3137507329 cites W2140152108 @default.
- W3137507329 cites W2154897437 @default.
- W3137507329 cites W2157755550 @default.
- W3137507329 cites W2162200351 @default.
- W3137507329 cites W2980167976 @default.
- W3137507329 cites W4255156621 @default.
- W3137507329 doi "https://doi.org/10.1016/j.scico.2021.102641" @default.
- W3137507329 hasPublicationYear "2021" @default.
- W3137507329 type Work @default.
- W3137507329 sameAs 3137507329 @default.
- W3137507329 citedByCount "3" @default.
- W3137507329 countsByYear W31375073292023 @default.
- W3137507329 crossrefType "journal-article" @default.
- W3137507329 hasAuthorship W3137507329A5018746962 @default.
- W3137507329 hasAuthorship W3137507329A5032640551 @default.
- W3137507329 hasAuthorship W3137507329A5042483045 @default.
- W3137507329 hasAuthorship W3137507329A5048139925 @default.
- W3137507329 hasConcept C119857082 @default.
- W3137507329 hasConcept C124101348 @default.
- W3137507329 hasConcept C127413603 @default.
- W3137507329 hasConcept C128942645 @default.
- W3137507329 hasConcept C152877465 @default.
- W3137507329 hasConcept C199360897 @default.
- W3137507329 hasConcept C2777904410 @default.
- W3137507329 hasConcept C2779639559 @default.
- W3137507329 hasConcept C2779960059 @default.
- W3137507329 hasConcept C2780009758 @default.
- W3137507329 hasConcept C2780428219 @default.
- W3137507329 hasConcept C41008148 @default.
- W3137507329 hasConcept C53942775 @default.
- W3137507329 hasConcept C78519656 @default.
- W3137507329 hasConceptScore W3137507329C119857082 @default.
- W3137507329 hasConceptScore W3137507329C124101348 @default.
- W3137507329 hasConceptScore W3137507329C127413603 @default.
- W3137507329 hasConceptScore W3137507329C128942645 @default.
- W3137507329 hasConceptScore W3137507329C152877465 @default.
- W3137507329 hasConceptScore W3137507329C199360897 @default.
- W3137507329 hasConceptScore W3137507329C2777904410 @default.
- W3137507329 hasConceptScore W3137507329C2779639559 @default.
- W3137507329 hasConceptScore W3137507329C2779960059 @default.
- W3137507329 hasConceptScore W3137507329C2780009758 @default.
- W3137507329 hasConceptScore W3137507329C2780428219 @default.
- W3137507329 hasConceptScore W3137507329C41008148 @default.
- W3137507329 hasConceptScore W3137507329C53942775 @default.
- W3137507329 hasConceptScore W3137507329C78519656 @default.
- W3137507329 hasFunder F4320320883 @default.
- W3137507329 hasFunder F4320338372 @default.
- W3137507329 hasLocation W31375073291 @default.
- W3137507329 hasOpenAccess W3137507329 @default.
- W3137507329 hasPrimaryLocation W31375073291 @default.
- W3137507329 hasRelatedWork W1541187842 @default.
- W3137507329 hasRelatedWork W157156687 @default.
- W3137507329 hasRelatedWork W19720440 @default.
- W3137507329 hasRelatedWork W2131157060 @default.
- W3137507329 hasRelatedWork W2296669295 @default.
- W3137507329 hasRelatedWork W2767681984 @default.
- W3137507329 hasRelatedWork W2801797726 @default.
- W3137507329 hasRelatedWork W3015365135 @default.
- W3137507329 hasRelatedWork W3094496039 @default.
- W3137507329 hasRelatedWork W4248068969 @default.
- W3137507329 hasVolume "207" @default.
- W3137507329 isParatext "false" @default.
- W3137507329 isRetracted "false" @default.
- W3137507329 magId "3137507329" @default.
- W3137507329 workType "article" @default.