Matches in SemOpenAlex for { <https://semopenalex.org/work/W4321062012> ?p ?o ?g. }
- W4321062012 abstract "Floating-point programs are challenging for symbolic execution due to the constraint solving problem. To investigate the effectiveness and limitations of the existing methods, we conduct the first empirical study in this paper on five existing symbolic execution methods for floating-point programs. We have implemented the existing methods on the state-of-the-art symbolic execution KLEE and use the real-world representative floatingpoint programs as the benchmarks, which are used to evaluate the existing methods with respect to code coverage and bug finding. The results indicate that the existing methods complement each other in bug finding. Based on the findings of the experimental results, we propose synergizing the existing methods to improve symbolic execution‘s effectiveness. The experimental results demonstrate that our synergic method can detect more bugs." @default.
- W4321062012 created "2023-02-17" @default.
- W4321062012 creator A5014675943 @default.
- W4321062012 creator A5024920190 @default.
- W4321062012 creator A5045816528 @default.
- W4321062012 date "2022-12-01" @default.
- W4321062012 modified "2023-09-26" @default.
- W4321062012 title "Symbolic Execution of Floating-point Programs: How far are we?" @default.
- W4321062012 cites W1480909796 @default.
- W4321062012 cites W1853199847 @default.
- W4321062012 cites W1966151649 @default.
- W4321062012 cites W1985930873 @default.
- W4321062012 cites W1990880047 @default.
- W4321062012 cites W2009489720 @default.
- W4321062012 cites W2042033151 @default.
- W4321062012 cites W2074937108 @default.
- W4321062012 cites W2106191211 @default.
- W4321062012 cites W2110311336 @default.
- W4321062012 cites W2114345296 @default.
- W4321062012 cites W2114869486 @default.
- W4321062012 cites W2129487583 @default.
- W4321062012 cites W2135194391 @default.
- W4321062012 cites W2166280160 @default.
- W4321062012 cites W221832247 @default.
- W4321062012 cites W2373227884 @default.
- W4321062012 cites W23932775 @default.
- W4321062012 cites W2518440340 @default.
- W4321062012 cites W2623182815 @default.
- W4321062012 cites W2758443906 @default.
- W4321062012 cites W2794823999 @default.
- W4321062012 cites W2930279141 @default.
- W4321062012 cites W2967780860 @default.
- W4321062012 cites W3122369592 @default.
- W4321062012 cites W3165394903 @default.
- W4321062012 cites W3176859472 @default.
- W4321062012 cites W3177908991 @default.
- W4321062012 cites W3178152064 @default.
- W4321062012 cites W4237492309 @default.
- W4321062012 cites W4246117430 @default.
- W4321062012 cites W4246691913 @default.
- W4321062012 cites W4292691288 @default.
- W4321062012 doi "https://doi.org/10.1109/apsec57359.2022.00030" @default.
- W4321062012 hasPublicationYear "2022" @default.
- W4321062012 type Work @default.
- W4321062012 citedByCount "0" @default.
- W4321062012 crossrefType "proceedings-article" @default.
- W4321062012 hasAuthorship W4321062012A5014675943 @default.
- W4321062012 hasAuthorship W4321062012A5024920190 @default.
- W4321062012 hasAuthorship W4321062012A5045816528 @default.
- W4321062012 hasConcept C1009929 @default.
- W4321062012 hasConcept C104317684 @default.
- W4321062012 hasConcept C11171543 @default.
- W4321062012 hasConcept C11219265 @default.
- W4321062012 hasConcept C112313634 @default.
- W4321062012 hasConcept C127413603 @default.
- W4321062012 hasConcept C127716648 @default.
- W4321062012 hasConcept C15744967 @default.
- W4321062012 hasConcept C173608175 @default.
- W4321062012 hasConcept C177264268 @default.
- W4321062012 hasConcept C185592680 @default.
- W4321062012 hasConcept C188082640 @default.
- W4321062012 hasConcept C199360897 @default.
- W4321062012 hasConcept C2524010 @default.
- W4321062012 hasConcept C2776036281 @default.
- W4321062012 hasConcept C2776095079 @default.
- W4321062012 hasConcept C2776760102 @default.
- W4321062012 hasConcept C2777904410 @default.
- W4321062012 hasConcept C2779639559 @default.
- W4321062012 hasConcept C28719098 @default.
- W4321062012 hasConcept C2989134064 @default.
- W4321062012 hasConcept C33923547 @default.
- W4321062012 hasConcept C41008148 @default.
- W4321062012 hasConcept C48103436 @default.
- W4321062012 hasConcept C55493867 @default.
- W4321062012 hasConcept C78519656 @default.
- W4321062012 hasConcept C80444323 @default.
- W4321062012 hasConcept C84211073 @default.
- W4321062012 hasConcept C98183937 @default.
- W4321062012 hasConceptScore W4321062012C1009929 @default.
- W4321062012 hasConceptScore W4321062012C104317684 @default.
- W4321062012 hasConceptScore W4321062012C11171543 @default.
- W4321062012 hasConceptScore W4321062012C11219265 @default.
- W4321062012 hasConceptScore W4321062012C112313634 @default.
- W4321062012 hasConceptScore W4321062012C127413603 @default.
- W4321062012 hasConceptScore W4321062012C127716648 @default.
- W4321062012 hasConceptScore W4321062012C15744967 @default.
- W4321062012 hasConceptScore W4321062012C173608175 @default.
- W4321062012 hasConceptScore W4321062012C177264268 @default.
- W4321062012 hasConceptScore W4321062012C185592680 @default.
- W4321062012 hasConceptScore W4321062012C188082640 @default.
- W4321062012 hasConceptScore W4321062012C199360897 @default.
- W4321062012 hasConceptScore W4321062012C2524010 @default.
- W4321062012 hasConceptScore W4321062012C2776036281 @default.
- W4321062012 hasConceptScore W4321062012C2776095079 @default.
- W4321062012 hasConceptScore W4321062012C2776760102 @default.
- W4321062012 hasConceptScore W4321062012C2777904410 @default.
- W4321062012 hasConceptScore W4321062012C2779639559 @default.
- W4321062012 hasConceptScore W4321062012C28719098 @default.
- W4321062012 hasConceptScore W4321062012C2989134064 @default.
- W4321062012 hasConceptScore W4321062012C33923547 @default.