Sign in

Symbolic Execution of Concurrent Objects in CLP.

Elvira AlbertPuri ArenasMiguel Gómez-Zamalloa
Published in: PADL (2012)
Keyphrases
  • symbolic execution
  • static analysis
  • data sets
  • genetic algorithm
  • quality control
  • constraint logic programming