Test Case Generation from AsmL Specifications.

Wolfgang Grieskamp Lev Nachmanson Nikolai Tillmann Margus Veanes

Published in: Abstract State Machines (2003)

Keyphrases

test case generation
test cases
software testing
object oriented systems
test data generation
test suite
formal specification
java programs
object oriented
software engineering
real time
information systems
cooperative
relational databases
software development
pattern matching