Matches in SemOpenAlex for { <https://semopenalex.org/work/W2144423682> ?p ?o ?g. }
- W2144423682 abstract "This paper introduces iProperty, a novel approach that facilitates incremental checking of programs based on a property differencing technique. Specifically, iProperty aims to reduce the cost of checking properties as they are initially developed and as they co-evolve with the program. The key novelty of iProperty is to compute the differences between the new and old versions of expected properties to reduce the number and size of the properties that need to be checked during the initial development of the properties. Furthermore, property differencing is used in synergy with program behavior differencing techniques to optimize common regression scenarios, such as detecting regression errors or checking feature additions for conformance to new expected properties. Experimental results in the context of symbolic execution of Java programs annotated with properties written as assertions show the effectiveness of iProperty in utilizing change information to enable more efficient checking." @default.
- W2144423682 created "2016-06-24" @default.
- W2144423682 creator A5004951814 @default.
- W2144423682 creator A5016373630 @default.
- W2144423682 creator A5039642499 @default.
- W2144423682 creator A5047763549 @default.
- W2144423682 date "2014-05-31" @default.
- W2144423682 modified "2023-10-10" @default.
- W2144423682 title "Property differencing for incremental checking" @default.
- W2144423682 cites W1529563380 @default.
- W2144423682 cites W1959256509 @default.
- W2144423682 cites W1976665040 @default.
- W2144423682 cites W1978546859 @default.
- W2144423682 cites W1990751107 @default.
- W2144423682 cites W1990880047 @default.
- W2144423682 cites W2020538887 @default.
- W2144423682 cites W2021726649 @default.
- W2144423682 cites W2035529004 @default.
- W2144423682 cites W2035603501 @default.
- W2144423682 cites W2047694629 @default.
- W2144423682 cites W2056038097 @default.
- W2144423682 cites W2057992103 @default.
- W2144423682 cites W2061316037 @default.
- W2144423682 cites W2061686717 @default.
- W2144423682 cites W2065675749 @default.
- W2144423682 cites W2066353350 @default.
- W2144423682 cites W2067544274 @default.
- W2144423682 cites W2074888021 @default.
- W2144423682 cites W2101512909 @default.
- W2144423682 cites W2107794009 @default.
- W2144423682 cites W2112158213 @default.
- W2144423682 cites W2114178685 @default.
- W2144423682 cites W2115309705 @default.
- W2144423682 cites W2130308071 @default.
- W2144423682 cites W2138224468 @default.
- W2144423682 cites W2145326461 @default.
- W2144423682 cites W2150654203 @default.
- W2144423682 cites W2153150125 @default.
- W2144423682 cites W2162120832 @default.
- W2144423682 cites W2163579355 @default.
- W2144423682 cites W2169063148 @default.
- W2144423682 cites W3114597540 @default.
- W2144423682 cites W4236799059 @default.
- W2144423682 cites W4237492309 @default.
- W2144423682 cites W4238064055 @default.
- W2144423682 cites W4240343303 @default.
- W2144423682 cites W4242057943 @default.
- W2144423682 cites W4245550931 @default.
- W2144423682 cites W4246385123 @default.
- W2144423682 cites W4249100736 @default.
- W2144423682 cites W95169743 @default.
- W2144423682 doi "https://doi.org/10.1145/2568225.2568319" @default.
- W2144423682 hasPublicationYear "2014" @default.
- W2144423682 type Work @default.
- W2144423682 sameAs 2144423682 @default.
- W2144423682 citedByCount "25" @default.
- W2144423682 countsByYear W21444236822014 @default.
- W2144423682 countsByYear W21444236822015 @default.
- W2144423682 countsByYear W21444236822016 @default.
- W2144423682 countsByYear W21444236822017 @default.
- W2144423682 countsByYear W21444236822018 @default.
- W2144423682 countsByYear W21444236822019 @default.
- W2144423682 countsByYear W21444236822020 @default.
- W2144423682 countsByYear W21444236822023 @default.
- W2144423682 crossrefType "proceedings-article" @default.
- W2144423682 hasAuthorship W2144423682A5004951814 @default.
- W2144423682 hasAuthorship W2144423682A5016373630 @default.
- W2144423682 hasAuthorship W2144423682A5039642499 @default.
- W2144423682 hasAuthorship W2144423682A5047763549 @default.
- W2144423682 hasBestOaLocation W21444236822 @default.
- W2144423682 hasConcept C110251889 @default.
- W2144423682 hasConcept C111472728 @default.
- W2144423682 hasConcept C111919701 @default.
- W2144423682 hasConcept C138885662 @default.
- W2144423682 hasConcept C151730666 @default.
- W2144423682 hasConcept C164691408 @default.
- W2144423682 hasConcept C189950617 @default.
- W2144423682 hasConcept C199360897 @default.
- W2144423682 hasConcept C26517878 @default.
- W2144423682 hasConcept C27206212 @default.
- W2144423682 hasConcept C2776401178 @default.
- W2144423682 hasConcept C2777904410 @default.
- W2144423682 hasConcept C2778738651 @default.
- W2144423682 hasConcept C2779343474 @default.
- W2144423682 hasConcept C2779639559 @default.
- W2144423682 hasConcept C41008148 @default.
- W2144423682 hasConcept C41895202 @default.
- W2144423682 hasConcept C548217200 @default.
- W2144423682 hasConcept C80444323 @default.
- W2144423682 hasConcept C86803240 @default.
- W2144423682 hasConceptScore W2144423682C110251889 @default.
- W2144423682 hasConceptScore W2144423682C111472728 @default.
- W2144423682 hasConceptScore W2144423682C111919701 @default.
- W2144423682 hasConceptScore W2144423682C138885662 @default.
- W2144423682 hasConceptScore W2144423682C151730666 @default.
- W2144423682 hasConceptScore W2144423682C164691408 @default.
- W2144423682 hasConceptScore W2144423682C189950617 @default.
- W2144423682 hasConceptScore W2144423682C199360897 @default.
- W2144423682 hasConceptScore W2144423682C26517878 @default.
- W2144423682 hasConceptScore W2144423682C27206212 @default.