dblp.uni-trier.dewww.uni-trier.de

Percy Antonio Pari Salas

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
5EEPadmanabhan Krishnan, Kelvin J. Ross, Percy Antonio Pari Salas: Industry Academia Collaboration: An Experience Report at a Small University. CSEE&T 2009: 117-121
2008
4EEPercy Antonio Pari Salas, Padmanabhan Krishnan: Testing Privacy Policies Using Models. SEFM 2008: 117-126
2007
3EEPercy Antonio Pari Salas, Padmanabhan Krishnan, Kelvin J. Ross: Model-Based Security Vulnerability Testing. ASWEC 2007: 284-296
2EEChris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders: Specification for Testing. Formal Methods and Hybrid Real-Time Systems 2007: 280-299
2005
1EEBernhard K. Aichernig, Percy Antonio Pari Salas: Test Case Generation by OCL Mutation and Constraint Solving. QSIC 2005: 64-71

Coauthor Index

1Bernhard K. Aichernig [1]
2Chris George [2]
3Padmanabhan Krishnan [2] [3] [4] [5]
4Kelvin J. Ross [3] [5]
5Jeff W. Sanders [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)