Recent Papers
Xianghua Deng, Jooyong Lee, Robby. Efficient and Formal Generalized Symbolic Execution. To appear at ASE International Journal.
Jason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng. Bakar Kiasan: Flexible Contract Checking for Critical Systems using Symbolic Execution. To appear at NASA FM 2011.
Xianghua Deng, Ronald Walker, Robby. Program Behavioral Benchmarks for Evaluating Path-Sensitive Bounded Verification Techniques. Technical Report SAnToS-TR2010-08-20, Kansas State University.
Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greve. Specification and Checking of Software Contracts for Conditional Information Flow. Design and Verification of Microprocessor Systems for High-Assurance Applications 2010: 341-380.
Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos. Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML. STTT 12(6): 429-446, 2010.







