Search the dblp DataBase

Publications of Author

1. 
   State extensions for java pathfinder. [Citation Graph (, )][DBLP]
   
   
2. 
   Test generation through programming in UDITA. [Citation Graph (, )][DBLP]
   
   
3. 
   On test repair using symbolic execution. [Citation Graph (, )][DBLP]
   
   
4. 
   Optimizing Generation of Object Graphs in Java PathFinder. [Citation Graph (, )][DBLP]