Robby - Department of Computing and Information Sciences, Kansas State University

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Robby - Department of Computing and Information Sciences, Kansas State University

Program Behavioral Benchmarks for Evaluating Path-Sensitive Bounded Verification Techniques
Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML
Sireum/Topi LDP: A Lightweight Semi-Decision Procedure for Optimizing Symbolic Execution-based Analyses
Preliminary Design of a Unified JML Representation and Software Infrastructure
Technical Report SAnToS-TR2009-09-25, CIS Dept., Kansas State University Efficient and Formal Generalized Symbolic Execution