Analysis Vulnerabilities in Smart Card Web Server
暂无分享,去创建一个
[1] Salimeh Behnia. Test de modèles formels en B : cadre théorique et critères de couverture , 2000 .
[2] Lionel Van Aertryck. Une methode et un outil pour l'aide a la generation de jeux de tests de logiciels , 1998 .
[3] Jeremy Dick,et al. Automating the Generation and Sequencing of Test Cases from Model-Based Specifications , 1993, FME.
[4] Zachary N. J. Peterson,et al. Analysis of Mutation and Generation-Based Fuzzing , 2007 .
[5] Jared D. DeMott,et al. Fuzzing for Software Security Testing and Quality Assurance , 2008 .