Matches in SemOpenAlex for { <https://semopenalex.org/work/W3010449915> ?p ?o ?g. }
- W3010449915 endingPage "102439" @default.
- W3010449915 startingPage "102439" @default.
- W3010449915 abstract "This paper presents a framework for verifying evolving component-based software using assume-guarantee logic. The goal is to improve CDNF-based assumption generation method by having local weakest assumptions that can be used more effectively when verifying component-based software in the context of software evolution. For this purpose, we improve the technique for responding to membership queries when generating candidate assumptions. This technique is then integrated into a proposed backtracking algorithm to generate local weakest assumptions. These assumptions are effectively used in rechecking the evolving software by reducing time required for assumption regeneration within the proposed framework. The proposed framework can be applied to verify software that is continually evolving. An implemented tool and experimental results are presented to demonstrate the effectiveness and usefulness of the framework." @default.
- W3010449915 created "2020-03-13" @default.
- W3010449915 creator A5027582055 @default.
- W3010449915 creator A5028586199 @default.
- W3010449915 creator A5054340675 @default.
- W3010449915 creator A5068781921 @default.
- W3010449915 date "2020-07-01" @default.
- W3010449915 modified "2023-10-18" @default.
- W3010449915 title "A framework for assume-guarantee regression verification of evolving software" @default.
- W3010449915 cites W135782543 @default.
- W3010449915 cites W1465777884 @default.
- W3010449915 cites W1488659932 @default.
- W3010449915 cites W1507321568 @default.
- W3010449915 cites W1554797424 @default.
- W3010449915 cites W1559035930 @default.
- W3010449915 cites W1581635138 @default.
- W3010449915 cites W1586728410 @default.
- W3010449915 cites W1590315663 @default.
- W3010449915 cites W1593428110 @default.
- W3010449915 cites W1663101133 @default.
- W3010449915 cites W1799055964 @default.
- W3010449915 cites W1950585612 @default.
- W3010449915 cites W1963560067 @default.
- W3010449915 cites W1969880832 @default.
- W3010449915 cites W1982898730 @default.
- W3010449915 cites W1989445634 @default.
- W3010449915 cites W1991200907 @default.
- W3010449915 cites W1994584977 @default.
- W3010449915 cites W2003728737 @default.
- W3010449915 cites W2009965218 @default.
- W3010449915 cites W2013887890 @default.
- W3010449915 cites W2030511855 @default.
- W3010449915 cites W2031766132 @default.
- W3010449915 cites W2033045489 @default.
- W3010449915 cites W2054022677 @default.
- W3010449915 cites W2066210260 @default.
- W3010449915 cites W2080028974 @default.
- W3010449915 cites W2083964867 @default.
- W3010449915 cites W2084880396 @default.
- W3010449915 cites W2098039922 @default.
- W3010449915 cites W2103976262 @default.
- W3010449915 cites W2111706174 @default.
- W3010449915 cites W2114114829 @default.
- W3010449915 cites W2117465452 @default.
- W3010449915 cites W2118775247 @default.
- W3010449915 cites W2130025446 @default.
- W3010449915 cites W2135947211 @default.
- W3010449915 cites W2137467159 @default.
- W3010449915 cites W2155839488 @default.
- W3010449915 cites W2164453190 @default.
- W3010449915 cites W2243030179 @default.
- W3010449915 cites W2411900593 @default.
- W3010449915 cites W2491060331 @default.
- W3010449915 cites W2497515766 @default.
- W3010449915 cites W2587638832 @default.
- W3010449915 cites W2736259393 @default.
- W3010449915 cites W2807380651 @default.
- W3010449915 cites W2889352680 @default.
- W3010449915 cites W2913459036 @default.
- W3010449915 cites W3022825686 @default.
- W3010449915 cites W3146075203 @default.
- W3010449915 cites W98666333 @default.
- W3010449915 doi "https://doi.org/10.1016/j.scico.2020.102439" @default.
- W3010449915 hasPublicationYear "2020" @default.
- W3010449915 type Work @default.
- W3010449915 sameAs 3010449915 @default.
- W3010449915 citedByCount "0" @default.
- W3010449915 crossrefType "journal-article" @default.
- W3010449915 hasAuthorship W3010449915A5027582055 @default.
- W3010449915 hasAuthorship W3010449915A5028586199 @default.
- W3010449915 hasAuthorship W3010449915A5054340675 @default.
- W3010449915 hasAuthorship W3010449915A5068781921 @default.
- W3010449915 hasConcept C121332964 @default.
- W3010449915 hasConcept C151730666 @default.
- W3010449915 hasConcept C156884757 @default.
- W3010449915 hasConcept C168167062 @default.
- W3010449915 hasConcept C174683762 @default.
- W3010449915 hasConcept C199360897 @default.
- W3010449915 hasConcept C2777904410 @default.
- W3010449915 hasConcept C2779343474 @default.
- W3010449915 hasConcept C41008148 @default.
- W3010449915 hasConcept C529173508 @default.
- W3010449915 hasConcept C76518257 @default.
- W3010449915 hasConcept C86803240 @default.
- W3010449915 hasConcept C97355855 @default.
- W3010449915 hasConceptScore W3010449915C121332964 @default.
- W3010449915 hasConceptScore W3010449915C151730666 @default.
- W3010449915 hasConceptScore W3010449915C156884757 @default.
- W3010449915 hasConceptScore W3010449915C168167062 @default.
- W3010449915 hasConceptScore W3010449915C174683762 @default.
- W3010449915 hasConceptScore W3010449915C199360897 @default.
- W3010449915 hasConceptScore W3010449915C2777904410 @default.
- W3010449915 hasConceptScore W3010449915C2779343474 @default.
- W3010449915 hasConceptScore W3010449915C41008148 @default.
- W3010449915 hasConceptScore W3010449915C529173508 @default.
- W3010449915 hasConceptScore W3010449915C76518257 @default.
- W3010449915 hasConceptScore W3010449915C86803240 @default.
- W3010449915 hasConceptScore W3010449915C97355855 @default.