Model-Based Testing of Electronic Passports.

Wojciech Mostowski Erik Poll Julien Schmaltz Jan Tretmans Ronny Wichers Schreur

Published in: FMICS (2009)

Keyphrases

model based testing
test cases
software development
software design
testing process
security policies
sequence diagrams
software engineering
software testing
information technology
data sets
relational databases
query language
open source