RGSE: a regular property guided symbolic executor for Java.

Hengbiao Yu Zhenbang Chen Yufeng Zhang Ji Wang Wei Dong

Published in: ESEC/SIGSOFT FSE (2017)

Keyphrases

data mining
high level
open source
java programs
information systems
evolutionary algorithm
object oriented
programming language
source code
web applications
database applications
cross platform
symbolic description
real world
machine learning
genetic algorithm