Matches in SemOpenAlex for { <https://semopenalex.org/work/W4249100736> ?p ?o ?g. }
- W4249100736 abstract "Regression verification (RV) seeks to guarantee the absence of regression errors in a changed program version. This paper presents Partition-based Regression Verification (PRV): an approach to RV based on the gradual exploration of differential input partitions. A differential input partition is a subset of the common input space of two program versions that serves as a unit of verification. Instead of proving the absence of regression for the complete input space at once, PRV verifies differential partitions in a gradual manner. If the exploration is interrupted, PRV retains partial verification guarantees at least for the explored differential partitions. This is crucial in practice as verifying the complete input space can be prohibitively expensive. Experiments show that PRV provides a useful alternative to state-of-the-art regression test generation techniques. During the exploration, PRV generates test cases which can expose different behaviour across two program versions. However, while test cases are generally single points in the common input space, PRV can verify entire partitions and moreover give feedback that allows programmers to relate a behavioral difference to those syntactic changes that contribute to this difference." @default.
- W4249100736 created "2022-05-12" @default.
- W4249100736 creator A5005260100 @default.
- W4249100736 creator A5049714036 @default.
- W4249100736 creator A5060115298 @default.
- W4249100736 date "2013-05-01" @default.
- W4249100736 modified "2023-09-30" @default.
- W4249100736 title "Partition-based regression verification" @default.
- W4249100736 cites W1497028280 @default.
- W4249100736 cites W1545038039 @default.
- W4249100736 cites W1771925833 @default.
- W4249100736 cites W1971137495 @default.
- W4249100736 cites W1980818933 @default.
- W4249100736 cites W2001601301 @default.
- W4249100736 cites W2004071059 @default.
- W4249100736 cites W2012210872 @default.
- W4249100736 cites W2017828132 @default.
- W4249100736 cites W2020689607 @default.
- W4249100736 cites W203808516 @default.
- W4249100736 cites W2038654524 @default.
- W4249100736 cites W2045109907 @default.
- W4249100736 cites W2046387193 @default.
- W4249100736 cites W2071112258 @default.
- W4249100736 cites W2074888021 @default.
- W4249100736 cites W2091543666 @default.
- W4249100736 cites W2097299181 @default.
- W4249100736 cites W2101512909 @default.
- W4249100736 cites W2103778230 @default.
- W4249100736 cites W2124089067 @default.
- W4249100736 cites W2125539770 @default.
- W4249100736 cites W2139498310 @default.
- W4249100736 cites W2140077136 @default.
- W4249100736 cites W2140697469 @default.
- W4249100736 cites W2146408397 @default.
- W4249100736 cites W2163266483 @default.
- W4249100736 cites W2165751179 @default.
- W4249100736 cites W2168625647 @default.
- W4249100736 cites W2169063148 @default.
- W4249100736 cites W3139873062 @default.
- W4249100736 cites W4236799059 @default.
- W4249100736 cites W4237492309 @default.
- W4249100736 cites W4249100736 @default.
- W4249100736 doi "https://doi.org/10.1109/icse.2013.6606576" @default.
- W4249100736 hasPublicationYear "2013" @default.
- W4249100736 type Work @default.
- W4249100736 citedByCount "24" @default.
- W4249100736 countsByYear W42491007362013 @default.
- W4249100736 countsByYear W42491007362014 @default.
- W4249100736 countsByYear W42491007362015 @default.
- W4249100736 countsByYear W42491007362016 @default.
- W4249100736 countsByYear W42491007362017 @default.
- W4249100736 countsByYear W42491007362018 @default.
- W4249100736 countsByYear W42491007362019 @default.
- W4249100736 countsByYear W42491007362020 @default.
- W4249100736 countsByYear W42491007362022 @default.
- W4249100736 crossrefType "proceedings-article" @default.
- W4249100736 hasAuthorship W4249100736A5005260100 @default.
- W4249100736 hasAuthorship W4249100736A5049714036 @default.
- W4249100736 hasAuthorship W4249100736A5060115298 @default.
- W4249100736 hasConcept C105795698 @default.
- W4249100736 hasConcept C11413529 @default.
- W4249100736 hasConcept C114614502 @default.
- W4249100736 hasConcept C119857082 @default.
- W4249100736 hasConcept C124101348 @default.
- W4249100736 hasConcept C127413603 @default.
- W4249100736 hasConcept C146978453 @default.
- W4249100736 hasConcept C149091818 @default.
- W4249100736 hasConcept C152877465 @default.
- W4249100736 hasConcept C154945302 @default.
- W4249100736 hasConcept C161821725 @default.
- W4249100736 hasConcept C186846655 @default.
- W4249100736 hasConcept C199360897 @default.
- W4249100736 hasConcept C2777904410 @default.
- W4249100736 hasConcept C33923547 @default.
- W4249100736 hasConcept C41008148 @default.
- W4249100736 hasConcept C42812 @default.
- W4249100736 hasConcept C48921125 @default.
- W4249100736 hasConcept C80444323 @default.
- W4249100736 hasConcept C83546350 @default.
- W4249100736 hasConcept C93226319 @default.
- W4249100736 hasConceptScore W4249100736C105795698 @default.
- W4249100736 hasConceptScore W4249100736C11413529 @default.
- W4249100736 hasConceptScore W4249100736C114614502 @default.
- W4249100736 hasConceptScore W4249100736C119857082 @default.
- W4249100736 hasConceptScore W4249100736C124101348 @default.
- W4249100736 hasConceptScore W4249100736C127413603 @default.
- W4249100736 hasConceptScore W4249100736C146978453 @default.
- W4249100736 hasConceptScore W4249100736C149091818 @default.
- W4249100736 hasConceptScore W4249100736C152877465 @default.
- W4249100736 hasConceptScore W4249100736C154945302 @default.
- W4249100736 hasConceptScore W4249100736C161821725 @default.
- W4249100736 hasConceptScore W4249100736C186846655 @default.
- W4249100736 hasConceptScore W4249100736C199360897 @default.
- W4249100736 hasConceptScore W4249100736C2777904410 @default.
- W4249100736 hasConceptScore W4249100736C33923547 @default.
- W4249100736 hasConceptScore W4249100736C41008148 @default.
- W4249100736 hasConceptScore W4249100736C42812 @default.
- W4249100736 hasConceptScore W4249100736C48921125 @default.
- W4249100736 hasConceptScore W4249100736C80444323 @default.
- W4249100736 hasConceptScore W4249100736C83546350 @default.