Login / Signup
Complementary test selection criteria for model-based testing of security components.
Julien Botella
Jean-Francois Capuron
Frédéric Dadeau
Elizabeta Fourneret
Bruno Legeard
Florence Schadle
Published in:
Int. J. Softw. Tools Technol. Transf. (2019)
Keyphrases
</>
selection criteria
model based testing
security policies
test cases
software development
access control
software testing
network security
testing process
information security
software design
test data
intrusion detection
sequence diagrams
distributed systems
test generation