Matches in SemOpenAlex for { <https://semopenalex.org/work/W6337991> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W6337991 endingPage "196" @default.
- W6337991 startingPage "182" @default.
- W6337991 abstract "Verification and validation are two of the most critical issues in the software engineering process. Numerous techniques ranging from formal proofs to testing methods have been used during the last years to verify the conformity of a program with its specification. Recently, constraint programming techniques have been used to generate test data. In this paper we investigate the capabilities of constraint programming techniques to verify the conformity of a program with its specification. We introduce here a new approach based on a transformation of both the program and its specification in a constraint system. To establish the conformity we demonstrate that the union of the constraint system derived from the program and the negation of the constraint system derived from its specification is inconsistent (for the considered domains of values). This verification process consists of three steps. First, we generate a Boolean constraint system which captures the information provided by the control flow graph. Then, we use a SAT solver to solve the Boolean constraint system. Finally, for each Boolean solution we build a new constraint system over finite domains and solve it. The latter system captures the operational part of the program and the specification. Boolean constraints play an essential role since they drastically reduce the search space before the search and enumeration processes start. Moreover, in the case where the program is not conforming with its specification, Boolean constraints provide a powerful tool for finding wrong behaviours in different execution paths of the program. First experimental results on standard benchmarks are very promising." @default.
- W6337991 created "2016-06-24" @default.
- W6337991 creator A5057446428 @default.
- W6337991 creator A5086425684 @default.
- W6337991 date "2006-01-01" @default.
- W6337991 modified "2023-10-15" @default.
- W6337991 title "Exploration of the Capabilities of Constraint Programming for Software Verification" @default.
- W6337991 cites W1489527380 @default.
- W6337991 cites W1554247778 @default.
- W6337991 cites W1562679818 @default.
- W6337991 cites W1571904738 @default.
- W6337991 cites W1599483650 @default.
- W6337991 cites W1981326070 @default.
- W6337991 cites W1982205631 @default.
- W6337991 cites W2059204751 @default.
- W6337991 cites W2119456262 @default.
- W6337991 cites W2127561475 @default.
- W6337991 cites W2129538349 @default.
- W6337991 cites W2135432705 @default.
- W6337991 cites W2142785340 @default.
- W6337991 cites W2144737265 @default.
- W6337991 cites W2154913198 @default.
- W6337991 cites W2163482209 @default.
- W6337991 cites W2997240630 @default.
- W6337991 doi "https://doi.org/10.1007/11691372_12" @default.
- W6337991 hasPublicationYear "2006" @default.
- W6337991 type Work @default.
- W6337991 sameAs 6337991 @default.
- W6337991 citedByCount "27" @default.
- W6337991 countsByYear W63379912012 @default.
- W6337991 countsByYear W63379912014 @default.
- W6337991 countsByYear W63379912017 @default.
- W6337991 countsByYear W63379912018 @default.
- W6337991 countsByYear W63379912019 @default.
- W6337991 countsByYear W63379912020 @default.
- W6337991 countsByYear W63379912023 @default.
- W6337991 crossrefType "book-chapter" @default.
- W6337991 hasAuthorship W6337991A5057446428 @default.
- W6337991 hasAuthorship W6337991A5086425684 @default.
- W6337991 hasBestOaLocation W63379911 @default.
- W6337991 hasConcept C126255220 @default.
- W6337991 hasConcept C137631369 @default.
- W6337991 hasConcept C154945302 @default.
- W6337991 hasConcept C173404611 @default.
- W6337991 hasConcept C176783269 @default.
- W6337991 hasConcept C199360897 @default.
- W6337991 hasConcept C199622910 @default.
- W6337991 hasConcept C2524010 @default.
- W6337991 hasConcept C2776036281 @default.
- W6337991 hasConcept C33923547 @default.
- W6337991 hasConcept C41008148 @default.
- W6337991 hasConcept C44616089 @default.
- W6337991 hasConcept C49937458 @default.
- W6337991 hasConcept C80444323 @default.
- W6337991 hasConceptScore W6337991C126255220 @default.
- W6337991 hasConceptScore W6337991C137631369 @default.
- W6337991 hasConceptScore W6337991C154945302 @default.
- W6337991 hasConceptScore W6337991C173404611 @default.
- W6337991 hasConceptScore W6337991C176783269 @default.
- W6337991 hasConceptScore W6337991C199360897 @default.
- W6337991 hasConceptScore W6337991C199622910 @default.
- W6337991 hasConceptScore W6337991C2524010 @default.
- W6337991 hasConceptScore W6337991C2776036281 @default.
- W6337991 hasConceptScore W6337991C33923547 @default.
- W6337991 hasConceptScore W6337991C41008148 @default.
- W6337991 hasConceptScore W6337991C44616089 @default.
- W6337991 hasConceptScore W6337991C49937458 @default.
- W6337991 hasConceptScore W6337991C80444323 @default.
- W6337991 hasLocation W63379911 @default.
- W6337991 hasLocation W63379912 @default.
- W6337991 hasOpenAccess W6337991 @default.
- W6337991 hasPrimaryLocation W63379911 @default.
- W6337991 hasRelatedWork W1486916474 @default.
- W6337991 hasRelatedWork W1563755460 @default.
- W6337991 hasRelatedWork W1971069708 @default.
- W6337991 hasRelatedWork W1980681296 @default.
- W6337991 hasRelatedWork W2032348095 @default.
- W6337991 hasRelatedWork W2097415053 @default.
- W6337991 hasRelatedWork W2334636689 @default.
- W6337991 hasRelatedWork W4303044088 @default.
- W6337991 hasRelatedWork W1531664660 @default.
- W6337991 hasRelatedWork W2500041535 @default.
- W6337991 isParatext "false" @default.
- W6337991 isRetracted "false" @default.
- W6337991 magId "6337991" @default.
- W6337991 workType "book-chapter" @default.