Justin Lloyd and Elena Sherman. Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain
Jaideep Ramachandran, Corina Pasareanu and Thomas Wahl. Symbolic Execution for Checking the Accuracy of Floating-Point Programs
Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric and Vishwanath Raman. The Dart, the Psyco, and the Doop
Stuart Siroky, Rodion Podorozhny and Guowei Yang. Verification of Architectural Constraints on Sequences of Method Invocations
Daniel Bryce and Renee Bryce. Combinatorial Branchcounting in Java PathFinder
Simone Hanazumi, Ana De Melo and Corina Pasareanu. From Testing Purposes to Formal JPF Properties
Rody Kersten, Suzette Person, Neha Rungta and Oksana Tkachuk. Improving Coverage of Test-Cases Generated by Symbolic Pathfinder for Programs with Loops
Heila van der Merwe, Oksana Tkachuk, Brink van der Merwe and Willem Visser. Generation of Library Models for Verification of Android Applications
Peter Anderson and Eric Mercer. JPF Verification of Habanero Java Programs using Gradual Type Permission Regions
Quoc-Sang Phan, Pasquale Malacaria and Corina Pasareanu. Concurrent Bounded Model Checking
Kelvin Nilsen. Combining Static Analysis with Enhanced Type Checking in Safety-Critical Java