JPF GSoC 2013 Summer Projects

 Project Title
 Student Mentor
Invariant Discovery
 Lingming ZhangNeha Rungta
Computing Observable MC/DC
Daniela GrijincuSuzette Person
Analysis of Biological Models
Jose Miguel RojasCorina Pasareanu
 Abstract Model Checking
 Jakub Daniel  Pavel Parizek
 Automated Model Generation
Matteo Ceccarello Oksana Tkachuk
 Automatic Delegation of Method Calls
Chinmay DabralNastaran Shafiei
 Learning While Testing
Spencer Xiao Dimitra Giannakopoulou
 Combining JDart and Randoop
Marko DimjaševićZvonimir Rakamaric
JPF as Concurrency Teaching Assistant
Pieter Jordaan  Willem Visser
Habanero Deadlock Detector
Brandon Chase  Eric Mercer
 Network Communication Through UDP
 Nazim Sebih  Cyrille Artho
 Java Platform Debugger Architecture
 Stepan Vavra  Pavel Jancik
 Visual JPF
 Aditya Kapre Bharat Jayaraman
 Secure Information Flow
 Quoc-Sang Phan Marcelo d'Amorim
 Verification of LTL Properties
 Michele Lombardi  Franco Raimondi
 Verifying Probabilistic Programs
 Jan Gorzny  Dave Parker
 Parameterized Unit Tests for GUI Testing
 Kiran Shakya  Tao Xie