Cited By
View all- Hossen KGroz RRichier J(2011)Security Vulnerabilities Detection Using Model Inference for Applications and Security ProtocolsProceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops10.1109/ICSTW.2011.83(534-536)Online publication date: 21-Mar-2011
- Armando ACarbone RCompagna LLi KPellegrino G(2010)Model-Checking Driven Security Testing of Web-Based ApplicationsProceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops10.1109/ICSTW.2010.54(361-370)Online publication date: 6-Apr-2010