Mechanically Generating and Executing Test Cases -Preliminary Design and Implementation of a Tool.

M. M. F. Bari Narayan C. Debnath Ilhyun Lee Haesun K. Lee

Published in: CAINE (2009)

Keyphrases

test cases
software testing
model based testing
sequence diagrams
domain specific languages
test data
test sequences
test case generation
black box
test set
regression testing
unit testing
source code
petri net
software engineering
quality assurance
learning algorithm
uml models
machine learning
data sets