Login / Signup

FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation.

Heinz RienerGörschwin Fey
Published in: SPIN (2012)
Keyphrases
  • formal verification
  • test generation
  • program slicing
  • test cases
  • model checking
  • software testing
  • static analysis
  • data sets
  • database systems
  • high level
  • multi agent
  • software architecture
  • bounded model checking