Changes between Version 23 and Version 24 of summer-projects/start


Ignore:
Timestamp:
06/04/2013 04:16:20 PM (5 years ago)
Author:
otkachuk@…
Comment:

moved gsoc 2013 project descriptions to google sites

Legend:

Unmodified
Added
Removed
Modified
  • summer-projects/start

    v23 v24  
    99
    1010== 2013 ==
    11  || '''title''' || '''student''' || '''mentor''' || '''program''' ||
    12  ||[wiki:summer-projects/2013-invariant Invariant Discovery ]||Lingming Zhang||Neha Rungta|| GSoC ||
    13  ||[wiki:summer-projects/2013-omcdc Computing Observable MC/DC ]||Daniela Grijincu ||Suzette Person|| GSoC ||
    14  ||[wiki:summer-projects/2013-bio Analysis of Biological Models ]|| Jose Miguel Rojas ||Corina Pasareanu|| GSoC ||
    15  ||[wiki:summer-projects/2013-abstract Abstract Model Checking ]|| Jakub Daniel || Pavel Parizek || GSoC ||
    16  ||[wiki:summer-projects/2013-model-gen Automated Model Generation ]|| Matteo Ceccarello || Oksana Tkachuk || GSoC ||
    17  ||[wiki:summer-projects/2013-nhandler Automatic Delegation of Method Calls ]|| Chinmay Dabral || Nastaran Shafiei || GSoC ||
    18  ||[wiki:summer-projects/2013-learning Learning While Testing ]|| Spencer Xiao || Dimitra Giannakopoulou || GSoC ||
    19  ||[wiki:summer-projects/2013-jdart Combining JDart and Randoop ]|| Marko Dimjašević || Zvonimir Rakamaric || GSoC ||
    20  ||[wiki:summer-projects/2013-impendulo JPF as Concurrency Teaching Assistant ]|| Pieter Jordaan || Willem Visser || GSoC ||
    21  ||[wiki:summer-projects/2013-habanero Habanero Deadlock Detector ]|| Brandon Chase || Eric Mercer || GSoC ||
    22  ||[wiki:summer-projects/2013-net-iocache Network Communication Through UDP in net-iocache ]|| Nazim Sebih  || Cyrille Artho || GSoC ||
    23  ||[wiki:summer-projects/2013-jpda Java Platform Debugger Architecture for Java Pathfinder ]|| Stepan Vavra  || Pavel Jancik || GSoC ||
    24  ||[wiki:summer-projects/2013-jive Visual JPF ]|| Aditya Kapre  || Bharat Jayaraman || GSoC ||
    25  ||[wiki:summer-projects/2013-qif Secure Information Flow by Symbolic PathFinder ]|| Quoc-Sang Phan || Marcelo d'Amorim || GSoC ||
    26  ||[wiki:summer-projects/2013-ltl Verification of LTL properties of Java code ]|| Michele Lombardi || Franco Raimondi || GSoC ||
    27  ||[wiki:summer-projects/2013-prism Verifying Probabilistic Programs ]||  Jan Gorzny || Dave Parker || GSoC ||
    28  ||[wiki:summer-projects/2013-put Parameterized Unit tests for GUI Testing ]||  Kiran Shakya || Tao Xie || GSoC ||
     11 
     12[https://sites.google.com/site/jpfgsoc2013projects/ JPF GSoC 2013 Summer Projects]
    2913
    3014== 2012 ==