Login / Signup

Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution.

Jason BeltJohn Hatcliff RobbyPatrice ChalinDavid S. HardinXianghua Deng
Published in: NASA Formal Methods (2011)
Keyphrases
  • symbolic execution
  • genetic algorithm
  • optimization algorithm
  • database
  • decision trees
  • distributed systems
  • orders of magnitude
  • test generation