Login / Signup
Computing summaries of string loops in C for better testing and refactoring.
Timotej Kapus
Oren Ish-Shalom
Shachar Itzhaky
Noam Rinetzky
Cristian Cadar
Published in:
PLDI (2019)
Keyphrases
</>
data structure
query processing
source code
data mining
test set
pattern matching
string matching
neural network
multi agent systems
object oriented
test cases
software systems
quality assurance
software evolution