Login / Signup
An Automated Testing Tool for Java Application Using Symbolic Execution Based Test Case Generation.
Supasit Monpratarnchai
Shoichiro Fujiwara
Asako Katayama
Tadahiro Uehara
Published in:
APSEC (2) (2013)
Keyphrases
</>
test case generation
symbolic execution
test data generation
java programs
test cases
software testing
source code
static analysis
simulated annealing algorithm
test generation
object oriented systems
open source
pso algorithm
software components
test suite
artificial intelligence
test set
programming language