Login / Signup
Functional Test-Case Generation by a Control Transaction Graph for TLM Verification.
Mohammad Reza Kakoee
Mohammad Hossein Neishaburi
Siamak Mohammadi
Published in:
DSD (2007)
Keyphrases
</>
test case generation
functional verification
database
test cases
software testing
databases
database systems
artificial intelligence
social networks
web services
building blocks
model checking
test suite
test data generation