 | Up a level |
Letarte, D., Gauthier, F., Merlo, E., Sutyanyong, N., & Zuzarte, C. (2012, May). Targeted genetic test SQL generation for the DB2 database [Paper]. 5th International Workshop on Testing Database Systems (DBTest 2012), Scottsdale, Arizona, USA. External link
Letarte, D. (2011). Détection, protection, évolution et test de défaillances à l'aide d'un modèle inter-procédural simple [Ph.D. thesis, École Polytechnique de Montréal]. Available
Letarte, D., Gauthier, F., & Merlo, E. (2011, March). Security model evolution of PHP web applications [Paper]. 4th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2011), Berlin, Germany. External link
Letarte, D. (2010, September). Conversion of fast inter-procedural static analysis to model checking [Paper]. IEEE 26th International Conference on Software Maintenance (ICSM 2010), Timisoara, Romania. External link
Letarte, D. (2010, September). Model checking graph representation of precise boolean inter-procedural flow analysis [Paper]. 25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10, Antwerp, Belgium. External link
Letarte, D. (2006). Identification de méthodes pour l'évaluation des grammaires de langues naturelles [Master's thesis, École Polytechnique de Montréal]. Available
Merlo, E., Letarte, D., & Antoniol, G. (2007, March). Automated protection of php applications against SQL-injection attacks [Paper]. 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), Amsterdam, Netherlands. External link
Merlo, E., Letarte, D., & Antoniol, G. (2006). Insider threat resistant SQL-injection prevention in PHP. (Technical Report n° EPM-RT-2006-04). Available
