Software and Data from
Darko Marinov's Group
Students working with Darko Marinov have released open-source code and
research data for several projects. These contributions include the
following:
- ASTGen,
Test generation (using imperative test abstractions)
- Basset,
Systematic testing of actor programs
- CoDeSe,
Dataset for fast deserialization via code generation
- Coverage,
Containter code instrumented for predicate coverage
- IMUnit,
Improved multithreaded unit testing
- JPF contributions,
Contributions to the Java PathFinder model checker
- Korat,
Test generation (using declarative test abstractions)
- ReAssert,
Test repair
- ReEx,
Re-execution based exploration of multithreaded Java programs
- Setac,
Test framework for (Scala) actor programs
- TestEra,
Test generation (using declarative test abstractions)
- Toddler,
Performance testing based on similar memory patterns
- UDITA,
Test generation (using declarative and imperative test abstractions)
If you have any questions, it is the best to email directly the
students who led the projects (see the project pages for the email
addresses) and to CC Darko (see his home page for his email address).