A preliminary study of test case generation by CafeOBJ rewrite specifications.

Masaki Nakamura

Published in: GCCE (2016)

Keyphrases

test case generation
test cases
software testing
object oriented systems
test data generation
test suite
java programs
formal specification
high level
object oriented
simulated annealing algorithm
business rules
simulated annealing
static analysis
open source
software engineering
evolutionary algorithm