Software
Sireum/Kiasan for Java v0.0.20090524
A JML contract-based automatic verification
and test case generation tool-set for Java
OpenJIR v20100127
A JML Intermediate Representation (JIR) software infrastructure
Recent Papers
Xianghua Deng, Ronald Walker, Robby. Case Counting Analysis for Path-Sensitive Bounded Verification Techniques on Standard Data Structure Operations. Technical Report SAnToS-TR2010-01-19, Kansas State University (submitted for publication).
Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos. Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML. Technical Report SAnToS-TR2009-10-01, Kansas State University (submitted for publication).
Xianghua Deng, Jooyong Lee, Robby. Efficient Symbolic Execution Algorithms for Programs Manipulating Dynamic Heap Objects. Technical Report SAnToS-TR2009-09-25, Kansas State University (submitted for publication).
Scott Harmon, Scott A. DeLoach, Robby. Abstract Requirement Analysis in Multiagent System Design. Accepted at the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Techology (IAT 2009).
Robby, Patrice Chalin. Preliminary Design of a Unified JML Representation and Software Infrastructure. FTfJP 2009.
Jason Belt, Robby, Xianghua Deng. Sireum/Topi LDP: A Lightweight Semi-Decision Procedure for Optimizing Symbolic Execution-based Analysis. ESEC/FSE 2009: 355-364 (extended version).
Juan Carlos Garcia-Ojeda, Scott A. DeLoach, Robby. agentTool III: From Process Definition to Code Generation. AAMAS (2) 2009: 1393-1394.
Scott Harmon, Scott A. DeLoach, Robby. From Abstract Qualities to Concrete Specification using Guidance Policies. AAMAS (2) 2009: 1343-1344.
Juan C. Garcia-Ojeda, Scott A. DeLoach, Robby. agentTool Process Editor: Supporting The Design of Tailored Agent-based Processes. ACM SAC - AOMP 2009: 707-714.
