Model-Based Testing for Functional and Security Test Generation

DOI10.1007/978-3-319-10082-1_1zbMath1448.68186OpenAlexW187351169MaRDI QIDQ5253584

Fabrice Bouquet, Fabien Peureux, Fabrice Ambert

Publication date: 27 May 2015

Published in: Foundations of Security Analysis and Design VII (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10082-1_1

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Computer security (68M25)

Related Items (1)

Model-based fault injection for testing gray-box systems

Uses Software

• SecureUML
• AGATHA
• TorX
• STG
• LUSTRE
• Z
• UMLsec
• TGV
• JUMBL

Cites Work

• The temporal semantics of concurrent programs
• The B-Book
• Formal Approaches to Software Testing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Model-Based Testing for Functional and Security Test Generation