Matches in SemOpenAlex for { <https://semopenalex.org/work/W2091299652> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2091299652 abstract "For certain structural testing criteria a significant proportion of tests instances are infeasible in the sense the semantics of the program implies that test data cannot be constructed that meet the test requirement. This paper describes the design and prototype implementation of a structural testing system that uses a theorem prover to determine feasibility of testing requirements and to optimize the number of test cases required to achieve test coverage. Using this approach, we were able to accurately and efficiently determine path feasibility for moderately-sized program units of production code written in a subset of Ada. On these problems, the computer solutions were obtained much faster and with greater accuracy than manual analysis. The paper describes how we formalize test criteria as control flow graph path expressions; how the criteria are mapped to logic formulas; and how we control the complexity of the inference task. It describes the limitations of the system and proposals for its improvement as well as other applications of the analysis." @default.
- W2091299652 created "2016-06-24" @default.
- W2091299652 creator A5031651335 @default.
- W2091299652 creator A5066842570 @default.
- W2091299652 creator A5078796540 @default.
- W2091299652 date "1994-01-01" @default.
- W2091299652 modified "2023-10-17" @default.
- W2091299652 title "Applications of feasible path analysis to program testing" @default.
- W2091299652 cites W11445769 @default.
- W2091299652 cites W1512075079 @default.
- W2091299652 cites W1512744181 @default.
- W2091299652 cites W1521209386 @default.
- W2091299652 cites W1757218398 @default.
- W2091299652 cites W1988192943 @default.
- W2091299652 cites W1995109607 @default.
- W2091299652 cites W2003010733 @default.
- W2091299652 cites W2003897537 @default.
- W2091299652 cites W2008127419 @default.
- W2091299652 cites W2010939537 @default.
- W2091299652 cites W2012056483 @default.
- W2091299652 cites W2012131382 @default.
- W2091299652 cites W2018221833 @default.
- W2091299652 cites W2030670832 @default.
- W2091299652 cites W2033072042 @default.
- W2091299652 cites W2033927111 @default.
- W2091299652 cites W2058235668 @default.
- W2091299652 cites W2073127880 @default.
- W2091299652 cites W2078113878 @default.
- W2091299652 cites W2082071143 @default.
- W2091299652 cites W2090286414 @default.
- W2091299652 cites W2094382938 @default.
- W2091299652 cites W2095365729 @default.
- W2091299652 cites W2101629181 @default.
- W2091299652 cites W2109276114 @default.
- W2091299652 cites W2121669067 @default.
- W2091299652 cites W2124019729 @default.
- W2091299652 cites W2124379900 @default.
- W2091299652 cites W2129466151 @default.
- W2091299652 cites W2132331020 @default.
- W2091299652 cites W2138556149 @default.
- W2091299652 cites W2913781829 @default.
- W2091299652 cites W3146075203 @default.
- W2091299652 cites W52284784 @default.
- W2091299652 doi "https://doi.org/10.1145/186258.186523" @default.
- W2091299652 hasPublicationYear "1994" @default.
- W2091299652 type Work @default.
- W2091299652 sameAs 2091299652 @default.
- W2091299652 citedByCount "56" @default.
- W2091299652 countsByYear W20912996522012 @default.
- W2091299652 countsByYear W20912996522013 @default.
- W2091299652 countsByYear W20912996522014 @default.
- W2091299652 countsByYear W20912996522015 @default.
- W2091299652 countsByYear W20912996522016 @default.
- W2091299652 countsByYear W20912996522017 @default.
- W2091299652 countsByYear W20912996522018 @default.
- W2091299652 countsByYear W20912996522019 @default.
- W2091299652 countsByYear W20912996522023 @default.
- W2091299652 crossrefType "proceedings-article" @default.
- W2091299652 hasAuthorship W2091299652A5031651335 @default.
- W2091299652 hasAuthorship W2091299652A5066842570 @default.
- W2091299652 hasAuthorship W2091299652A5078796540 @default.
- W2091299652 hasConcept C127413603 @default.
- W2091299652 hasConcept C199360897 @default.
- W2091299652 hasConcept C200601418 @default.
- W2091299652 hasConcept C2777735758 @default.
- W2091299652 hasConcept C2777904410 @default.
- W2091299652 hasConcept C2984328558 @default.
- W2091299652 hasConcept C41008148 @default.
- W2091299652 hasConceptScore W2091299652C127413603 @default.
- W2091299652 hasConceptScore W2091299652C199360897 @default.
- W2091299652 hasConceptScore W2091299652C200601418 @default.
- W2091299652 hasConceptScore W2091299652C2777735758 @default.
- W2091299652 hasConceptScore W2091299652C2777904410 @default.
- W2091299652 hasConceptScore W2091299652C2984328558 @default.
- W2091299652 hasConceptScore W2091299652C41008148 @default.
- W2091299652 hasLocation W20912996521 @default.
- W2091299652 hasOpenAccess W2091299652 @default.
- W2091299652 hasPrimaryLocation W20912996521 @default.
- W2091299652 hasRelatedWork W1986684738 @default.
- W2091299652 hasRelatedWork W2008296912 @default.
- W2091299652 hasRelatedWork W2013504000 @default.
- W2091299652 hasRelatedWork W2023505575 @default.
- W2091299652 hasRelatedWork W2052314194 @default.
- W2091299652 hasRelatedWork W2076031512 @default.
- W2091299652 hasRelatedWork W2316925676 @default.
- W2091299652 hasRelatedWork W2371125232 @default.
- W2091299652 hasRelatedWork W2373437113 @default.
- W2091299652 hasRelatedWork W2384974102 @default.
- W2091299652 isParatext "false" @default.
- W2091299652 isRetracted "false" @default.
- W2091299652 magId "2091299652" @default.
- W2091299652 workType "article" @default.