Old Web
English
Sign In
Acemap
>
Paper
>
Improving automatic software repair with probabilistic symbolic execution
Improving automatic software repair with probabilistic symbolic execution
2016
Tobias Rudolph
Keywords:
Computer architecture
Software
Concolic testing
Probabilistic logic
Symbolic execution
Computer science
Theoretical computer science
Programming language
software repair
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]