Test-Data Generation for Xtext - Tool Paper.

Johannes Härtel Lukas Härtel Ralf Lämmel

Published in: SLE (2014)

Keyphrases

test data generation
symbolic execution
search based testing
simulated annealing algorithm
test cases
test case generation
software testing
data sets
neural network
generation algorithm