Sign in

PARTI: a multi-interval theory solver for symbolic execution.

Oscar Soria DustmannKlaus WehrleCristian Cadar
Published in: ASE (2018)
Keyphrases
  • symbolic execution
  • test generation
  • static analysis
  • test data generation
  • database
  • optimization algorithm
  • case study
  • source code
  • distributed systems
  • specification language