Login / Signup

Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution.

Xianghua Deng RobbyJohn Hatcliff
Published in: ISoLA (2006)
Keyphrases
  • symbolic execution
  • test data generation
  • test case generation
  • static analysis
  • specification language
  • genetic algorithm
  • multi agent
  • software development
  • model checking
  • data flow
  • test suite