Skip to content

Google Summer of Code 2016 Accepted Projects

Jump to bottom
Alexander Kohan edited this page Feb 2, 2023 · 2 revisions

Accepted Projects

Title Student University Mentor Co-mentors
Automatic Delegation of Method Calls in JPF Zhenya Tulyakov National University of Kyiv Nastaran Shafiei Franck van Breugel, Cyrille Artho
Extending Symbolic Pathfinder Aymeric Fromherz Ecole Normale Supérieure in Paris Corina Pasareanu Kasper Luckow
Fingerprinting for Programs Blaine Parker Stellenbosch University Willem Visser -
Improving JPF Inspector Petr Hudecek Charles University in Prague Pavel Parizek -
Java PathFinder for Android Devices Alexander Kohan Chiba University Cyrille Artho Oksana Tkachuk
Oracle-Based Program Repair Gunel Jahangirova University College London Willem Visser Oksana Tkachuk
PSYCO for Reactive Systems Malte Mues Clausthal University of Technology Falk Howar Teme Kahsai, Zvonimir Rakamaric
Using JPF to efficiently compute workload in Multi-Agent Systems Jane Ostergar Linn Brigham Young University Franco Raimondi Neha Rungta, Eric Mercer
Verifying Safety of NextGen Models Jianfeng Chen North Carolina State University Neha Rungta Eric Mercer, Franco Raimondi
Visualization Support for JDart Chaofeng Zhou University of Utah Zvonimir Rakamaric Kasper Luckow, Falk Howar

Want to contribute to this Wiki?

Please contact us by creating an issue. We are trying to fix the process below, which no longer works.

Fork it and send a pull request.

Clone this wiki locally