Percy Antonio Pari Salas

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Padmanabhan Krishnan, Percy Antonio Pari Salas
Data generation in model-based testing. SAC (2010)
Padmanabhan Krishnan, Kelvin J. Ross, Percy Antonio Pari Salas
Industry Academia Collaboration: An Experience Report at a Small University. CSEE&T (2009)
Padmanabhan Krishnan, Percy Antonio Pari Salas
Model-Based Testing and the UML Testing Profile. Semantics and Algebraic Specification (2009)
Percy Antonio Pari Salas, Padmanabhan Krishnan
Automated Software Testing of Asynchronous Systems. Electron. Notes Theor. Comput. Sci. 253 (2) (2009)
Percy Antonio Pari Salas, Padmanabhan Krishnan
Testing Privacy Policies Using Models. SEFM (2008)
Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders
Specification for Testing. Formal Methods and Hybrid Real-Time Systems (2007)
Percy Antonio Pari Salas, Padmanabhan Krishnan, Kelvin J. Ross
Model-Based Security Vulnerability Testing. ASWEC (2007)
Bernhard K. Aichernig, Percy Antonio Pari Salas
Test Case Generation by OCL Mutation and Constraint Solving. QSIC (2005)