SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM.

Malte Mues Falk Howar Simon Dierl

Published in: SEFM (2022)

Keyphrases

virtual machine
symbolic representation
shortest path
test cases
high level
test set
software testing
neural network
artificial intelligence
decision trees
training set
object oriented
source code
test data
object oriented programming
shortest path problem