Search the dblp DataBase

Publications of Author

1. Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby
   A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. [Citation Graph (0, 0)][DBLP]
   CASSIS, 2004, pp:210-228 [Conf]
   
2. Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby
   Extending JML for Modular Specification and Verification of Multi-threaded Programs. [Citation Graph (0, 0)][DBLP]
   ECOOP, 2005, pp:551-576 [Conf]
   
3. Scott Harmon, Edwin Rodríguez, Christopher Zhong, William Hsu
   A Comparison of Hybrid Incremental Reuse Strategies for Reinforcement Learning in Genetic Programming. [Citation Graph (0, 0)][DBLP]
   GECCO (2), 2004, pp:706-707 [Conf]
   
4. Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff
   Checking Strong Specifications Using an Extensible Software Model Checking Framework. [Citation Graph (0, 0)][DBLP]
   TACAS, 2004, pp:404-420 [Conf]
   
5. Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff
   Checking JML specifications using an extensible software model checking framework. [Citation Graph (0, 0)][DBLP]
   STTT, 2006, v:8, n:3, pp:280-299 [Journal]
   
6. 
   Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays. [Citation Graph (, )][DBLP]
   
   
7. 
   Specification and Checking of Software Contracts for Conditional Information Flow. [Citation Graph (, )][DBLP]