Verification and test generation for the SSCOP protocol.
Marius BozgaJean-Claude FernandezLucian GhirvuClaude JardThierry JéronAlain KerbratPierre MorelLaurent MounierPublished in: Sci. Comput. Program. (2000)
Keyphrases
- test generation
- symbolic execution
- test cases
- test sequences
- static analysis
- mutation testing
- design automation
- software testing
- cryptographic protocols
- formal analysis
- colored petri nets
- databases
- code coverage
- regression testing
- model checker
- database systems
- authentication protocol
- security analysis
- quality assurance
- model checking
- database