FRINK Linked Data Fragments server

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

• W2017741580 endingPage "121" @default.
• W2017741580 startingPage "97" @default.
• W2017741580 abstract "Symbolic execution is a classical program testing technique which evaluates a selected control flow path with symbolic input data. A constraint solver can be used to enforce the satisfiability of the extracted path conditions as well as to derive test data. Whenever path conditions contain floating-point computations, a common strategy consists of using a constraint solver over the rationals or the reals. Unfortunately, even in a fully IEEE-754-compliant environment, this leads not only to approximations but also can compromise correctness: a path can be labelled as infeasible although there exists floating-point input data that satisfy it. In this paper, the peculiarities of symbolic execution of programs with floating-point numbers are addressed. Issues in the symbolic execution of this kind of program are carefully examined and a constraint solver is described that supports constraints over floating-point numbers. Preliminary experimental results demonstrate the value of the approach proposed. Copyright © 2005 John Wiley & Sons, Ltd." @default.
• W2017741580 created "2016-06-24" @default.
• W2017741580 creator A5013313145 @default.
• W2017741580 creator A5026288925 @default.
• W2017741580 creator A5088959180 @default.
• W2017741580 date "2006-01-01" @default.
• W2017741580 modified "2023-09-25" @default.
• W2017741580 title "Symbolic execution of floating-point computations" @default.
• W2017741580 cites W1990426442 @default.
• W2017741580 cites W2006159725 @default.
• W2017741580 cites W2009046937 @default.
• W2017741580 cites W2012056483 @default.
• W2017741580 cites W2016962213 @default.
• W2017741580 cites W2028591972 @default.
• W2017741580 cites W2033072042 @default.
• W2017741580 cites W2041091076 @default.
• W2017741580 cites W2044030666 @default.
• W2017741580 cites W2059204751 @default.
• W2017741580 cites W2064104917 @default.
• W2017741580 cites W2066536303 @default.
• W2017741580 cites W2094382938 @default.
• W2017741580 cites W2101512909 @default.
• W2017741580 cites W2109276114 @default.
• W2017741580 cites W2120552859 @default.
• W2017741580 cites W2134291258 @default.
• W2017741580 cites W2144737265 @default.
• W2017741580 cites W2165554657 @default.
• W2017741580 cites W2169004268 @default.
• W2017741580 cites W4245001969 @default.
• W2017741580 doi "https://doi.org/10.1002/stvr.333" @default.
• W2017741580 hasPublicationYear "2006" @default.
• W2017741580 type Work @default.
• W2017741580 sameAs 2017741580 @default.
• W2017741580 citedByCount "65" @default.
• W2017741580 countsByYear W20177415802012 @default.
• W2017741580 countsByYear W20177415802013 @default.
• W2017741580 countsByYear W20177415802014 @default.
• W2017741580 countsByYear W20177415802015 @default.
• W2017741580 countsByYear W20177415802016 @default.
• W2017741580 countsByYear W20177415802017 @default.
• W2017741580 countsByYear W20177415802018 @default.
• W2017741580 countsByYear W20177415802019 @default.
• W2017741580 countsByYear W20177415802020 @default.
• W2017741580 countsByYear W20177415802022 @default.
• W2017741580 crossrefType "journal-article" @default.
• W2017741580 hasAuthorship W2017741580A5013313145 @default.
• W2017741580 hasAuthorship W2017741580A5026288925 @default.
• W2017741580 hasAuthorship W2017741580A5088959180 @default.
• W2017741580 hasBestOaLocation W20177415802 @default.
• W2017741580 hasConcept C11219265 @default.
• W2017741580 hasConcept C11413529 @default.
• W2017741580 hasConcept C154945302 @default.
• W2017741580 hasConcept C164155591 @default.
• W2017741580 hasConcept C168773769 @default.
• W2017741580 hasConcept C173608175 @default.
• W2017741580 hasConcept C199360897 @default.
• W2017741580 hasConcept C199622910 @default.
• W2017741580 hasConcept C2524010 @default.
• W2017741580 hasConcept C2776036281 @default.
• W2017741580 hasConcept C2777735758 @default.
• W2017741580 hasConcept C2777904410 @default.
• W2017741580 hasConcept C2778770139 @default.
• W2017741580 hasConcept C2779639559 @default.
• W2017741580 hasConcept C28719098 @default.
• W2017741580 hasConcept C33923547 @default.
• W2017741580 hasConcept C41008148 @default.
• W2017741580 hasConcept C45374587 @default.
• W2017741580 hasConcept C49937458 @default.
• W2017741580 hasConcept C55439883 @default.
• W2017741580 hasConcept C80444323 @default.
• W2017741580 hasConcept C84211073 @default.
• W2017741580 hasConceptScore W2017741580C11219265 @default.
• W2017741580 hasConceptScore W2017741580C11413529 @default.
• W2017741580 hasConceptScore W2017741580C154945302 @default.
• W2017741580 hasConceptScore W2017741580C164155591 @default.
• W2017741580 hasConceptScore W2017741580C168773769 @default.
• W2017741580 hasConceptScore W2017741580C173608175 @default.
• W2017741580 hasConceptScore W2017741580C199360897 @default.
• W2017741580 hasConceptScore W2017741580C199622910 @default.
• W2017741580 hasConceptScore W2017741580C2524010 @default.
• W2017741580 hasConceptScore W2017741580C2776036281 @default.
• W2017741580 hasConceptScore W2017741580C2777735758 @default.
• W2017741580 hasConceptScore W2017741580C2777904410 @default.
• W2017741580 hasConceptScore W2017741580C2778770139 @default.
• W2017741580 hasConceptScore W2017741580C2779639559 @default.
• W2017741580 hasConceptScore W2017741580C28719098 @default.
• W2017741580 hasConceptScore W2017741580C33923547 @default.
• W2017741580 hasConceptScore W2017741580C41008148 @default.
• W2017741580 hasConceptScore W2017741580C45374587 @default.
• W2017741580 hasConceptScore W2017741580C49937458 @default.
• W2017741580 hasConceptScore W2017741580C55439883 @default.
• W2017741580 hasConceptScore W2017741580C80444323 @default.
• W2017741580 hasConceptScore W2017741580C84211073 @default.
• W2017741580 hasIssue "2" @default.
• W2017741580 hasLocation W20177415801 @default.
• W2017741580 hasLocation W20177415802 @default.
• W2017741580 hasLocation W20177415803 @default.
• W2017741580 hasOpenAccess W2017741580 @default.

• next