Matches in SemOpenAlex for { <https://semopenalex.org/work/W4205271567> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4205271567 abstract "We present a technique that simplifies tests at the semantic level. We first formalize the semantic test simplification problem, and prove it is NP-hard. Then, we propose a heuristic algorithm, SimpleTest, that automatically transforms a test into a simpler test, while still preserving a given property. The key insight of SimpleTest is to reconstruct an executable and simpler test that exhibits the given property from the original one. Our preliminary study on 7 real-world programs showed the usefulness of SimpleTest." @default.
- W4205271567 created "2022-01-25" @default.
- W4205271567 creator A5032264417 @default.
- W4205271567 date "2013-05-01" @default.
- W4205271567 modified "2023-10-06" @default.
- W4205271567 title "Practical semantic test simplification" @default.
- W4205271567 cites W1984248430 @default.
- W4205271567 cites W2049227673 @default.
- W4205271567 cites W2107709519 @default.
- W4205271567 cites W2151226386 @default.
- W4205271567 cites W2155233265 @default.
- W4205271567 cites W2155877593 @default.
- W4205271567 cites W2293624369 @default.
- W4205271567 doi "https://doi.org/10.1109/icse.2013.6606671" @default.
- W4205271567 hasPublicationYear "2013" @default.
- W4205271567 type Work @default.
- W4205271567 citedByCount "5" @default.
- W4205271567 countsByYear W42052715672013 @default.
- W4205271567 countsByYear W42052715672014 @default.
- W4205271567 countsByYear W42052715672018 @default.
- W4205271567 countsByYear W42052715672020 @default.
- W4205271567 countsByYear W42052715672022 @default.
- W4205271567 crossrefType "proceedings-article" @default.
- W4205271567 hasAuthorship W4205271567A5032264417 @default.
- W4205271567 hasConcept C111472728 @default.
- W4205271567 hasConcept C11413529 @default.
- W4205271567 hasConcept C119857082 @default.
- W4205271567 hasConcept C128942645 @default.
- W4205271567 hasConcept C138885662 @default.
- W4205271567 hasConcept C151730666 @default.
- W4205271567 hasConcept C152877465 @default.
- W4205271567 hasConcept C154945302 @default.
- W4205271567 hasConcept C160145156 @default.
- W4205271567 hasConcept C173801870 @default.
- W4205271567 hasConcept C189950617 @default.
- W4205271567 hasConcept C199360897 @default.
- W4205271567 hasConcept C26517878 @default.
- W4205271567 hasConcept C2777267654 @default.
- W4205271567 hasConcept C38652104 @default.
- W4205271567 hasConcept C41008148 @default.
- W4205271567 hasConcept C80444323 @default.
- W4205271567 hasConcept C86803240 @default.
- W4205271567 hasConceptScore W4205271567C111472728 @default.
- W4205271567 hasConceptScore W4205271567C11413529 @default.
- W4205271567 hasConceptScore W4205271567C119857082 @default.
- W4205271567 hasConceptScore W4205271567C128942645 @default.
- W4205271567 hasConceptScore W4205271567C138885662 @default.
- W4205271567 hasConceptScore W4205271567C151730666 @default.
- W4205271567 hasConceptScore W4205271567C152877465 @default.
- W4205271567 hasConceptScore W4205271567C154945302 @default.
- W4205271567 hasConceptScore W4205271567C160145156 @default.
- W4205271567 hasConceptScore W4205271567C173801870 @default.
- W4205271567 hasConceptScore W4205271567C189950617 @default.
- W4205271567 hasConceptScore W4205271567C199360897 @default.
- W4205271567 hasConceptScore W4205271567C26517878 @default.
- W4205271567 hasConceptScore W4205271567C2777267654 @default.
- W4205271567 hasConceptScore W4205271567C38652104 @default.
- W4205271567 hasConceptScore W4205271567C41008148 @default.
- W4205271567 hasConceptScore W4205271567C80444323 @default.
- W4205271567 hasConceptScore W4205271567C86803240 @default.
- W4205271567 hasLocation W42052715671 @default.
- W4205271567 hasOpenAccess W4205271567 @default.
- W4205271567 hasPrimaryLocation W42052715671 @default.
- W4205271567 hasRelatedWork W1528423264 @default.
- W4205271567 hasRelatedWork W1576042299 @default.
- W4205271567 hasRelatedWork W1628824497 @default.
- W4205271567 hasRelatedWork W1990602094 @default.
- W4205271567 hasRelatedWork W2071432835 @default.
- W4205271567 hasRelatedWork W2350278424 @default.
- W4205271567 hasRelatedWork W4239401009 @default.
- W4205271567 hasRelatedWork W4299534542 @default.
- W4205271567 hasRelatedWork W82161441 @default.
- W4205271567 hasRelatedWork W87461448 @default.
- W4205271567 isParatext "false" @default.
- W4205271567 isRetracted "false" @default.
- W4205271567 workType "article" @default.