Percy Antonio Pari Salas (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

6 Padmanabhan Krishnan, Percy Antonio Pari Salas: Model-Based Testing and the UML Testing Profile. Semantics and Algebraic Specification 2009: 315-328

5 Percy Antonio Pari Salas, Padmanabhan Krishnan: Automated Software Testing of Asynchronous Systems. Electr. Notes Theor. Comput. Sci. 253(2): 3-19 (2009)

4 Percy Antonio Pari Salas, Padmanabhan Krishnan: Testing Privacy Policies Using Models. SEFM 2008: 117-126

3 Percy Antonio Pari Salas, Padmanabhan Krishnan, Kelvin J. Ross: Model-Based Security Vulnerability Testing. ASWEC 2007: 284-296

2 Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders: Specification for Testing. Formal Methods and Hybrid Real-Time Systems 2007: 280-299

Selection of 6 from 7 records - Percy Antonio Pari Salas has 5 coauthors

7		Padmanabhan Krishnan, Kelvin J. Ross, Percy Antonio Pari Salas: Industry Academia Collaboration: An Experience Report at a Small University. CSEE&T 2009: 117-121
6		Padmanabhan Krishnan, Percy Antonio Pari Salas: Model-Based Testing and the UML Testing Profile. Semantics and Algebraic Specification 2009: 315-328
5		Percy Antonio Pari Salas, Padmanabhan Krishnan: Automated Software Testing of Asynchronous Systems. Electr. Notes Theor. Comput. Sci. 253(2): 3-19 (2009)
4		Percy Antonio Pari Salas, Padmanabhan Krishnan: Testing Privacy Policies Using Models. SEFM 2008: 117-126
3		Percy Antonio Pari Salas, Padmanabhan Krishnan, Kelvin J. Ross: Model-Based Security Vulnerability Testing. ASWEC 2007: 284-296
2		Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders: Specification for Testing. Formal Methods and Hybrid Real-Time Systems 2007: 280-299