Runtime Exception Detection in Java Programs Using Symbolic Execution.

István Kádár Péter Hegedüs Rudolf 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