Login / Signup
Model-based mutation testing from security protocols in HLPSL.
Frédéric Dadeau
Pierre-Cyrille Héam
Rafik Kheddam
Ghazi Maatoug
Michaël Rusinowitch
Published in:
Softw. Test. Verification Reliab. (2015)
Keyphrases
</>
security protocols
mutation testing
automated design
test sequences
database applications
artificial immune algorithm
test suite
test generation
security mechanisms
key management
security requirements
integration testing
knowledge management
object oriented
end to end
test set
open source