JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP.

Fabrice Bouquet Frédéric Dadeau Bruno Legeard Mark Utting

Published in: TACAS (2005)

Keyphrases

high level
code generation
software tools
unit testing
database
design decisions
constraint logic programming
tool support
decision support
symbolic representation
case study
database systems
end users
user friendly
conceptual models
search based software testing