Old Web
English
Sign In
Acemap
>
Paper
>
An empirical study of the influence of compiler optimizations on symbolic execution
An empirical study of the influence of compiler optimizations on symbolic execution
2014
Shiyu Dong
Keywords:
Compiler
Concolic testing
Functional compiler
Computer architecture
Programming language
Compiler correctness
Compiler construction
Loop optimization
Optimizing compiler
Computer science
Interprocedural optimization
Parallel computing
Correction
Source
Cite
Save
Machine Reading By IdeaReader
34
References
1
Citations
NaN
KQI
[]