Debugging and testing behavioral UML models.

Dolev Dotan Andrei Kirshin

Published in: OOPSLA Companion (2007)

Keyphrases

uml models
test cases
software testing
object oriented
sequence diagrams
learning algorithm
written in natural language
fault localization
test suite
test generation
test sequences
database
quality assurance
regression testing
training data
test set
human behavior
error rate
software development
open source