Login / Signup

How verified (or tested) is my code? Falsification-driven verification and testing.

Alex GroceIftekhar AhmedCarlos JensenPaul E. McKenneyJosie Holmes
Published in: Autom. Softw. Eng. (2018)
Keyphrases
  • formal verification
  • symbolic execution
  • test generation
  • model checking
  • source code
  • multi agent
  • data driven
  • test data
  • byte code
  • concurrent programs
  • data sets
  • real world
  • test cases
  • static analysis
  • unit testing