Accepted papers

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

Last modified 2 years ago Last modified on 02/20/2016 09:11:28 AM