Login / Signup
Requirements traceability in automated test generation: application to smart card software validation.
Fabrice Bouquet
Eddie Jaffuel
Bruno Legeard
Fabien Peureux
Mark Utting
Published in:
A-MOST (2005)
Keyphrases
</>
smart card
test generation
test cases
static analysis
software application
software architecture
java card
authentication scheme
database
software testing
decision trees
relational databases
computer systems
lightweight
security requirements