FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2164647716> ?p ?o ?g. }

• W2164647716 abstract "The paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. Our approach is based on consistency techniques integrating integer and float variables. We handle statement, branch and path coverage criteria. Our purpose is thus to automatically generate test data that will cause the program to execute a statement, to traverse a branch or to traverse a specified path. For path coverage, the specified path is transformed into a path constraint which is solved by an interval-based constraint solving algorithm handling integer, boolean and real variables. A valid test input is then extracted from the interval solutions. For statement (and branch) coverage, a path reaching the specified statement or branch is dynamically constructed. Our algorithm for path coverage is then applied. The search for a suitable path and the solving of path constraints make extensive use of consistency techniques. We propose a simple consistency notion called eBox consistency, for generalizing box consistency to integer and float variables. The eBox consistency is sufficient for our purpose. A prototype has been developed and experimental results show the feasibility of our approach. This work is an extension of work by A. Gotlieb (2000) for float and boolean variables." @default.
• W2164647716 created "2016-06-24" @default.
• W2164647716 creator A5028020435 @default.
• W2164647716 creator A5050186890 @default.
• W2164647716 date "2005-08-25" @default.
• W2164647716 modified "2023-09-26" @default.
• W2164647716 title "Automatic test data generation for programs with integer and float variables" @default.
• W2164647716 cites W1509551972 @default.
• W2164647716 cites W1509637138 @default.
• W2164647716 cites W1971727464 @default.
• W2164647716 cites W1981326070 @default.
• W2164647716 cites W2009007001 @default.
• W2164647716 cites W2025304834 @default.
• W2164647716 cites W2026701697 @default.
• W2164647716 cites W2043193943 @default.
• W2164647716 cites W2059204751 @default.
• W2164647716 cites W2059942119 @default.
• W2164647716 cites W2071112258 @default.
• W2164647716 cites W2100221082 @default.
• W2164647716 cites W2101512909 @default.
• W2164647716 cites W2101811680 @default.
• W2164647716 cites W2118915305 @default.
• W2164647716 cites W2133237582 @default.
• W2164647716 cites W2143765398 @default.
• W2164647716 cites W2144344516 @default.
• W2164647716 cites W2144737265 @default.
• W2164647716 cites W2167206762 @default.
• W2164647716 cites W384554260 @default.
• W2164647716 doi "https://doi.org/10.1109/ase.2001.989786" @default.
• W2164647716 hasPublicationYear "2005" @default.
• W2164647716 type Work @default.
• W2164647716 sameAs 2164647716 @default.
• W2164647716 citedByCount "18" @default.
• W2164647716 countsByYear W21646477162012 @default.
• W2164647716 countsByYear W21646477162015 @default.
• W2164647716 crossrefType "proceedings-article" @default.
• W2164647716 hasAuthorship W2164647716A5028020435 @default.
• W2164647716 hasAuthorship W2164647716A5050186890 @default.
• W2164647716 hasConcept C11413529 @default.
• W2164647716 hasConcept C126255220 @default.
• W2164647716 hasConcept C127413603 @default.
• W2164647716 hasConcept C13280743 @default.
• W2164647716 hasConcept C137105694 @default.
• W2164647716 hasConcept C154945302 @default.
• W2164647716 hasConcept C176809094 @default.
• W2164647716 hasConcept C199104240 @default.
• W2164647716 hasConcept C199360897 @default.
• W2164647716 hasConcept C199622910 @default.
• W2164647716 hasConcept C205649164 @default.
• W2164647716 hasConcept C2776436953 @default.
• W2164647716 hasConcept C2777735758 @default.
• W2164647716 hasConcept C2780337265 @default.
• W2164647716 hasConcept C33923547 @default.
• W2164647716 hasConcept C41008148 @default.
• W2164647716 hasConcept C49937458 @default.
• W2164647716 hasConcept C56086750 @default.
• W2164647716 hasConcept C7342684 @default.
• W2164647716 hasConcept C80444323 @default.
• W2164647716 hasConcept C97137487 @default.
• W2164647716 hasConceptScore W2164647716C11413529 @default.
• W2164647716 hasConceptScore W2164647716C126255220 @default.
• W2164647716 hasConceptScore W2164647716C127413603 @default.
• W2164647716 hasConceptScore W2164647716C13280743 @default.
• W2164647716 hasConceptScore W2164647716C137105694 @default.
• W2164647716 hasConceptScore W2164647716C154945302 @default.
• W2164647716 hasConceptScore W2164647716C176809094 @default.
• W2164647716 hasConceptScore W2164647716C199104240 @default.
• W2164647716 hasConceptScore W2164647716C199360897 @default.
• W2164647716 hasConceptScore W2164647716C199622910 @default.
• W2164647716 hasConceptScore W2164647716C205649164 @default.
• W2164647716 hasConceptScore W2164647716C2776436953 @default.
• W2164647716 hasConceptScore W2164647716C2777735758 @default.
• W2164647716 hasConceptScore W2164647716C2780337265 @default.
• W2164647716 hasConceptScore W2164647716C33923547 @default.
• W2164647716 hasConceptScore W2164647716C41008148 @default.
• W2164647716 hasConceptScore W2164647716C49937458 @default.
• W2164647716 hasConceptScore W2164647716C56086750 @default.
• W2164647716 hasConceptScore W2164647716C7342684 @default.
• W2164647716 hasConceptScore W2164647716C80444323 @default.
• W2164647716 hasConceptScore W2164647716C97137487 @default.
• W2164647716 hasLocation W21646477161 @default.
• W2164647716 hasOpenAccess W2164647716 @default.
• W2164647716 hasPrimaryLocation W21646477161 @default.
• W2164647716 hasRelatedWork W1489527380 @default.
• W2164647716 hasRelatedWork W1524434267 @default.
• W2164647716 hasRelatedWork W1562679818 @default.
• W2164647716 hasRelatedWork W1971727464 @default.
• W2164647716 hasRelatedWork W1982205631 @default.
• W2164647716 hasRelatedWork W1990961880 @default.
• W2164647716 hasRelatedWork W2017741580 @default.
• W2164647716 hasRelatedWork W2025304834 @default.
• W2164647716 hasRelatedWork W2026701697 @default.
• W2164647716 hasRelatedWork W2043876870 @default.
• W2164647716 hasRelatedWork W2096449544 @default.
• W2164647716 hasRelatedWork W2109276114 @default.
• W2164647716 hasRelatedWork W2118915305 @default.
• W2164647716 hasRelatedWork W2128705399 @default.
• W2164647716 hasRelatedWork W2129538349 @default.
• W2164647716 hasRelatedWork W2144091021 @default.
• W2164647716 hasRelatedWork W2164392635 @default.

• next