Test Case Generation by OCL Mutation and Constraint Solving. - Bernhard K. Aichernig; Percy Antonio Pari Salas (QSIC, 2005)

Model-Based Security Vulnerability Testing. - Percy Antonio Pari Salas; Padmanabhan Krishnan; Kelvin J. Ross (ASWEC, 2007)

Specification for Testing. - Chris George; Padmanabhan Krishnan; Percy Antonio Pari Salas; Jeff W. Sanders (Formal Methods and Hybrid Real-Time Systems, 2007)

Testing Privacy Policies Using Models. - Percy Antonio Pari Salas; Padmanabhan Krishnan (SEFM, 2008)

Model-Based Testing and the UML Testing Profile. - Padmanabhan Krishnan; Percy Antonio Pari Salas (Semantics and Algebraic Specification, 2009)

Industry Academia Collaboration: An Experience Report at a Small University. - Padmanabhan Krishnan; Kelvin J. Ross; Percy Antonio Pari Salas (CSEE&T, 2009)

Automated Software Testing of Asynchronous Systems. - Percy Antonio Pari Salas; Padmanabhan Krishnan (MBT@ETAPS, 2009)

Data generation in model-based testing. - Padmanabhan Krishnan; Percy Antonio Pari Salas (SAC, 2010)