Sign in

Runtime Exception Detection in Java Programs Using Symbolic Execution.

István KádárPéter HegedüsRudolf Ferenc
Published in: Acta Cybern. (2014)
Keyphrases
  • java programs
  • symbolic execution
  • java language
  • multi threaded
  • test data generation
  • search algorithm
  • software components
  • test generation
  • database
  • neural network
  • real world
  • source code
  • message passing