JSXM: A Tool for Automated Test Generation.

Dimitris Dranidis Konstantinos Bratanis Florentin Ipate

Published in: SEFM (2012)

Keyphrases

test generation
test cases
design automation
test sequences
computer aided
symbolic execution
databases
database
real world
information systems