Popular repositories Loading

1. FSE-2011-PSPWizard FSE-2011-PSPWizard Public

   PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns

   Java 6 3

2. ICSE-2011-AutoBlackTest ICSE-2011-AutoBlackTest Public

   AutoBlackTest tool for automatic test generation for interactive applications.

   Java 5 2

3. FSE-2013-RiTHM FSE-2013-RiTHM Public

   A Runtime Time-triggered Heterogeneous Monitoring tool

   C 4 1

4. Paper Paper Public

   TeX 4 12

5. ICSE-2014-ImpactMiner ICSE-2014-ImpactMiner Public

   Java 2 1

6. ICSE-2013-LAMBDAFICATOR ICSE-2013-LAMBDAFICATOR Public

   LAMBDAFICATOR is a tool which automates two code refactorings. 1. It converts anonymous inner classes to lambda expressions. 2. It converts for loops that iterate over collections to functional ope…

   Ruby 2 1