![]() | ![]() |
2009 | ||
---|---|---|
5 | EE | Padmanabhan Krishnan, Kelvin J. Ross, Percy Antonio Pari Salas: Industry Academia Collaboration: An Experience Report at a Small University. CSEE&T 2009: 117-121 |
2008 | ||
4 | EE | Percy Antonio Pari Salas, Padmanabhan Krishnan: Testing Privacy Policies Using Models. SEFM 2008: 117-126 |
2007 | ||
3 | EE | Percy Antonio Pari Salas, Padmanabhan Krishnan, Kelvin J. Ross: Model-Based Security Vulnerability Testing. ASWEC 2007: 284-296 |
2 | EE | 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 | EE | Bernhard K. Aichernig, Percy Antonio Pari Salas: Test Case Generation by OCL Mutation and Constraint Solving. QSIC 2005: 64-71 |
1 | Bernhard K. Aichernig | [1] |
2 | Chris George | [2] |
3 | Padmanabhan Krishnan | [2] [3] [4] [5] |
4 | Kelvin J. Ross | [3] [5] |
5 | Jeff W. Sanders | [2] |