Search the dblp DataBase

Publications of Author

1. Bernhard K. Aichernig, Percy Antonio Pari Salas
   Test Case Generation by OCL Mutation and Constraint Solving. [Citation Graph (0, 0)][DBLP]
   QSIC, 2005, pp:64-71 [Conf]
   
2. Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders
   Specification for Testing. [Citation Graph (0, 0)][DBLP]
   Formal Methods and Hybrid Real-Time Systems, 2007, pp:280-299 [Conf]
   
3. 
   Model-Based Security Vulnerability Testing. [Citation Graph (, )][DBLP]
   
   
4. 
   Model-Based Testing and the UML Testing Profile. [Citation Graph (, )][DBLP]
   
   
5. 
   Industry Academia Collaboration: An Experience Report at a Small University. [Citation Graph (, )][DBLP]
   
   
6. 
   Data generation in model-based testing. [Citation Graph (, )][DBLP]
   
   
7. 
   Testing Privacy Policies Using Models. [Citation Graph (, )][DBLP]
   
   
8. 
   Automated Software Testing of Asynchronous Systems. [Citation Graph (, )][DBLP]