Functional Test Generation Remote Tool.

Eduardas Bareisa Vacius Jusas Kestutis Motiejunas Rimantas Seinauskas

Published in: DSD (2005)

Keyphrases

test generation
test sequences
symbolic execution
test cases
design automation
static analysis
cooperative
mutation testing
real time
artificial intelligence
multi agent systems
data management
petri net