Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016962213> ?p ?o ?g. }
- W2016962213 endingPage "96" @default.
- W2016962213 startingPage "81" @default.
- W2016962213 abstract "Abstract The verification and validation of software through dynamic testing is an area of software engineering where progress towards automation has been slow. In particular the automatic design and generation of test data remains, by and large, a manual activity. This is despite the high promises that the symbolic execution technique engendered when it was first proposed as a method for automatic test data generation. This paper presents an automatic test data generator based on constraint logic programming and symbolic execution. After reviewing the symbolic execution technique, approaches for the resolution of the technical difficulties that have so far prevented symbolic execution from reaching its full potential in the area of automatic test data generation are presented. ATGen, an automatic test data generator, based on symbolic execution and that uses constraint logic programming, is then discussed. Copyright © 2001 John Wiley & Sons, Ltd." @default.
- W2016962213 created "2016-06-24" @default.
- W2016962213 creator A5036681916 @default.
- W2016962213 date "2001-05-31" @default.
- W2016962213 modified "2023-09-25" @default.
- W2016962213 title "ATGen: automatic test data generation using constraint logic programming and symbolic execution" @default.
- W2016962213 cites W1974394819 @default.
- W2016962213 cites W2033072042 @default.
- W2016962213 cites W2035855976 @default.
- W2016962213 cites W2040832338 @default.
- W2016962213 cites W2058235668 @default.
- W2016962213 cites W2073127880 @default.
- W2016962213 cites W2084202433 @default.
- W2016962213 cites W2091299652 @default.
- W2016962213 cites W2101512909 @default.
- W2016962213 cites W2115626531 @default.
- W2016962213 cites W2120552859 @default.
- W2016962213 cites W2123396057 @default.
- W2016962213 cites W2123701883 @default.
- W2016962213 cites W2124657291 @default.
- W2016962213 cites W2144524990 @default.
- W2016962213 cites W2172971081 @default.
- W2016962213 cites W4250619922 @default.
- W2016962213 cites W4252451952 @default.
- W2016962213 cites W4255410821 @default.
- W2016962213 cites W4301216918 @default.
- W2016962213 doi "https://doi.org/10.1002/stvr.225" @default.
- W2016962213 hasPublicationYear "2001" @default.
- W2016962213 type Work @default.
- W2016962213 sameAs 2016962213 @default.
- W2016962213 citedByCount "89" @default.
- W2016962213 countsByYear W20169622132012 @default.
- W2016962213 countsByYear W20169622132013 @default.
- W2016962213 countsByYear W20169622132014 @default.
- W2016962213 countsByYear W20169622132015 @default.
- W2016962213 countsByYear W20169622132016 @default.
- W2016962213 countsByYear W20169622132017 @default.
- W2016962213 countsByYear W20169622132019 @default.
- W2016962213 countsByYear W20169622132021 @default.
- W2016962213 countsByYear W20169622132022 @default.
- W2016962213 countsByYear W20169622132023 @default.
- W2016962213 crossrefType "journal-article" @default.
- W2016962213 hasAuthorship W2016962213A5036681916 @default.
- W2016962213 hasConcept C105795698 @default.
- W2016962213 hasConcept C11219265 @default.
- W2016962213 hasConcept C115901376 @default.
- W2016962213 hasConcept C119857082 @default.
- W2016962213 hasConcept C121332964 @default.
- W2016962213 hasConcept C127413603 @default.
- W2016962213 hasConcept C128838566 @default.
- W2016962213 hasConcept C128942645 @default.
- W2016962213 hasConcept C137631369 @default.
- W2016962213 hasConcept C152877465 @default.
- W2016962213 hasConcept C154945302 @default.
- W2016962213 hasConcept C163258240 @default.
- W2016962213 hasConcept C16910744 @default.
- W2016962213 hasConcept C173404611 @default.
- W2016962213 hasConcept C176783269 @default.
- W2016962213 hasConcept C199360897 @default.
- W2016962213 hasConcept C2776036281 @default.
- W2016962213 hasConcept C2777394884 @default.
- W2016962213 hasConcept C2777904410 @default.
- W2016962213 hasConcept C2779639559 @default.
- W2016962213 hasConcept C2780992000 @default.
- W2016962213 hasConcept C33923547 @default.
- W2016962213 hasConcept C41008148 @default.
- W2016962213 hasConcept C44616089 @default.
- W2016962213 hasConcept C49937458 @default.
- W2016962213 hasConcept C62520636 @default.
- W2016962213 hasConcept C78519656 @default.
- W2016962213 hasConceptScore W2016962213C105795698 @default.
- W2016962213 hasConceptScore W2016962213C11219265 @default.
- W2016962213 hasConceptScore W2016962213C115901376 @default.
- W2016962213 hasConceptScore W2016962213C119857082 @default.
- W2016962213 hasConceptScore W2016962213C121332964 @default.
- W2016962213 hasConceptScore W2016962213C127413603 @default.
- W2016962213 hasConceptScore W2016962213C128838566 @default.
- W2016962213 hasConceptScore W2016962213C128942645 @default.
- W2016962213 hasConceptScore W2016962213C137631369 @default.
- W2016962213 hasConceptScore W2016962213C152877465 @default.
- W2016962213 hasConceptScore W2016962213C154945302 @default.
- W2016962213 hasConceptScore W2016962213C163258240 @default.
- W2016962213 hasConceptScore W2016962213C16910744 @default.
- W2016962213 hasConceptScore W2016962213C173404611 @default.
- W2016962213 hasConceptScore W2016962213C176783269 @default.
- W2016962213 hasConceptScore W2016962213C199360897 @default.
- W2016962213 hasConceptScore W2016962213C2776036281 @default.
- W2016962213 hasConceptScore W2016962213C2777394884 @default.
- W2016962213 hasConceptScore W2016962213C2777904410 @default.
- W2016962213 hasConceptScore W2016962213C2779639559 @default.
- W2016962213 hasConceptScore W2016962213C2780992000 @default.
- W2016962213 hasConceptScore W2016962213C33923547 @default.
- W2016962213 hasConceptScore W2016962213C41008148 @default.
- W2016962213 hasConceptScore W2016962213C44616089 @default.
- W2016962213 hasConceptScore W2016962213C49937458 @default.
- W2016962213 hasConceptScore W2016962213C62520636 @default.
- W2016962213 hasConceptScore W2016962213C78519656 @default.
- W2016962213 hasIssue "2" @default.