Instantiation of Parameterized Data Structures for Model-Based Testing.

Fabrice Bouquet Jean-François Couchot Frédéric Dadeau Alain Giorgetti

Published in: B (2007)

Keyphrases

model based testing
data structure
test cases
software development
software design
testing process
software testing
security policies
sequence diagrams
feature selection
database
databases
real world
artificial intelligence
neural network
smart card
test suite