Percy Antonio Pari Salas

According to our database, Percy Antonio Pari Salas authored at least 8 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

Data generation in model-based testing.

Padmanabhan Krishnan, Percy Antonio Pari Salas

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009

Automated Software Testing of Asynchronous Systems.

Percy Antonio Pari Salas, Padmanabhan Krishnan

Proceedings of Fifth Workshop on Model Based Testing, 2009

Industry Academia Collaboration: An Experience Report at a Small University.

Padmanabhan Krishnan, Kelvin J. Ross, Percy Antonio Pari Salas

Proceedings of the Proceedings 22nd Conference on Software Engineering Education and Training, 2009

Model-Based Testing and the UML Testing Profile.

Padmanabhan Krishnan, Percy Antonio Pari Salas

Proceedings of the Semantics and Algebraic Specification, 2009

2008

Testing Privacy Policies Using Models.

Percy Antonio Pari Salas, Padmanabhan Krishnan

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2007

Specification for Testing.

Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

Model-Based Security Vulnerability Testing.

Percy Antonio Pari Salas, Padmanabhan Krishnan, Kelvin J. Ross

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2005

Test Case Generation by OCL Mutation and Constraint Solving.

Bernhard K. Aichernig, Percy Antonio Pari Salas

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005