 | 2009 |
|---|
| 6 |       | Padmanabhan Krishnan,
Kelvin J. Ross,
Percy Antonio Pari Salas:
Industry Academia Collaboration: An Experience Report at a Small University.
CSEE&T 2009: 117-121 |
| 5 | | Padmanabhan Krishnan,
Percy Antonio Pari Salas:
Model-Based Testing and the UML Testing Profile.
Semantics and Algebraic Specification 2009: 315-328 |
| 2008 |
|---|
| 4 | | Percy Antonio Pari Salas,
Padmanabhan Krishnan:
Testing Privacy Policies Using Models.
SEFM 2008: 117-126 |
| 2007 |
|---|
| 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 |
| 2005 |
|---|
| 1 | | Bernhard K. Aichernig,
Percy Antonio Pari Salas:
Test Case Generation by OCL Mutation and Constraint Solving.
QSIC 2005: 64-71 |
