Sign in

Computing summaries of string loops in C for better testing and refactoring.

Timotej KapusOren Ish-ShalomShachar ItzhakyNoam RinetzkyCristian 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