Matches in SemOpenAlex for { <https://semopenalex.org/work/W2879731808> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2879731808 abstract "The paper Test Input Generation With Java PathFinder was published in the International Symposium on Software Testing and Analysis (ISSTA) 2004 Proceedings, and has now been selected to receive the ISSTA 2018 Retrospective Impact Paper Award. The paper described black-box and white-box techniques for the automated testing of software systems. These techniques were based on model checking and symbolic execution and incorporated in the Java PathFinder analysis tool. The main contribution of the paper was to describe how to perform efficient test input generation for code manipulating complex data that takes into account complex method preconditions and evaluate the techniques for generating high coverage tests." @default.
- W2879731808 created "2018-07-19" @default.
- W2879731808 creator A5004951814 @default.
- W2879731808 creator A5053134485 @default.
- W2879731808 creator A5088454541 @default.
- W2879731808 date "2018-07-12" @default.
- W2879731808 modified "2023-10-10" @default.
- W2879731808 title "Test input generation with Java PathFinder: then and now (invited talk abstract)" @default.
- W2879731808 cites W1484352250 @default.
- W2879731808 cites W1720848645 @default.
- W2879731808 cites W2065675749 @default.
- W2879731808 cites W2101512909 @default.
- W2879731808 cites W2109276114 @default.
- W2879731808 cites W2115309705 @default.
- W2879731808 cites W2132331020 @default.
- W2879731808 cites W2135274583 @default.
- W2879731808 cites W2142785340 @default.
- W2879731808 cites W2171683519 @default.
- W2879731808 cites W4213079124 @default.
- W2879731808 cites W4253606798 @default.
- W2879731808 doi "https://doi.org/10.1145/3213846.3234687" @default.
- W2879731808 hasPublicationYear "2018" @default.
- W2879731808 type Work @default.
- W2879731808 sameAs 2879731808 @default.
- W2879731808 citedByCount "0" @default.
- W2879731808 crossrefType "proceedings-article" @default.
- W2879731808 hasAuthorship W2879731808A5004951814 @default.
- W2879731808 hasAuthorship W2879731808A5053134485 @default.
- W2879731808 hasAuthorship W2879731808A5088454541 @default.
- W2879731808 hasConcept C115903868 @default.
- W2879731808 hasConcept C136764020 @default.
- W2879731808 hasConcept C199360897 @default.
- W2879731808 hasConcept C2777904410 @default.
- W2879731808 hasConcept C2778940482 @default.
- W2879731808 hasConcept C2779639559 @default.
- W2879731808 hasConcept C2984328558 @default.
- W2879731808 hasConcept C41008148 @default.
- W2879731808 hasConcept C548217200 @default.
- W2879731808 hasConceptScore W2879731808C115903868 @default.
- W2879731808 hasConceptScore W2879731808C136764020 @default.
- W2879731808 hasConceptScore W2879731808C199360897 @default.
- W2879731808 hasConceptScore W2879731808C2777904410 @default.
- W2879731808 hasConceptScore W2879731808C2778940482 @default.
- W2879731808 hasConceptScore W2879731808C2779639559 @default.
- W2879731808 hasConceptScore W2879731808C2984328558 @default.
- W2879731808 hasConceptScore W2879731808C41008148 @default.
- W2879731808 hasConceptScore W2879731808C548217200 @default.
- W2879731808 hasLocation W28797318081 @default.
- W2879731808 hasOpenAccess W2879731808 @default.
- W2879731808 hasPrimaryLocation W28797318081 @default.
- W2879731808 hasRelatedWork W1498248384 @default.
- W2879731808 hasRelatedWork W179718899 @default.
- W2879731808 hasRelatedWork W2045081944 @default.
- W2879731808 hasRelatedWork W2465291283 @default.
- W2879731808 hasRelatedWork W2568432792 @default.
- W2879731808 hasRelatedWork W2950755297 @default.
- W2879731808 hasRelatedWork W3187329742 @default.
- W2879731808 hasRelatedWork W4239107164 @default.
- W2879731808 hasRelatedWork W4385965400 @default.
- W2879731808 hasRelatedWork W1955019684 @default.
- W2879731808 isParatext "false" @default.
- W2879731808 isRetracted "false" @default.
- W2879731808 magId "2879731808" @default.
- W2879731808 workType "article" @default.