Skip to content
Change the repository type filter

All

    Repositories list

    • PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns
      Java
      3620Updated Mar 8, 2024Mar 8, 2024
    • Paper

      Public
      TeX
      12400Updated Oct 11, 2016Oct 11, 2016
    • Pluggable type-checking for Java
      Java
      Other
      356000Updated Oct 10, 2016Oct 10, 2016
    • Miler is a tool used for exploring email-data
      JavaScript
      2100Updated Aug 4, 2016Aug 4, 2016
    • The project enables you to extract the static and dynamic call graphs for a system.
      Ruby
      0000Updated Jun 27, 2016Jun 27, 2016
    • Static analysis using data-flow and type inference for PHP applications - Implemented in Scala
      Java
      Other
      11000Updated Jun 25, 2016Jun 25, 2016
    • Open Quality Model and Tool Support for Quality Modelling and Evaluation
      Java
      7000Updated Jun 24, 2016Jun 24, 2016
    • Bugzilla Extension for Bug Localization
      Perl
      6000Updated Jun 24, 2016Jun 24, 2016
    • 2000Updated Jun 24, 2016Jun 24, 2016
    • CHOReOSynt tool has been conceived to deal with an additional problem, namely, automated choreography enforcement.
      0000Updated Jun 24, 2016Jun 24, 2016
    • Egidio is a tool with the ability to mine processes and organizational models from fine-grained data collected in a non-invasive manner, without interrupting the developers’ work.
      0000Updated Jun 24, 2016Jun 24, 2016
    • A set of tools to evaluate feature locations for Linux Kernel
      0000Updated Jun 24, 2016Jun 24, 2016
    • 0000Updated Jun 24, 2016Jun 24, 2016
    • SocialCDE plugin for Eclipse
      Java
      21000Updated Jun 24, 2016Jun 24, 2016
    • 2041Updated Jun 24, 2016Jun 24, 2016
    • A lightweight courseware developed for student team collaboration in a software engineering class
      0000Updated Jun 24, 2016Jun 24, 2016
    • Migrating Code with Statistical Machine Translation
      1100Updated Jun 24, 2016Jun 24, 2016
    • V:ISSUE:LIZER is a tool which explores requirements clarification in online communication over time
      Java
      3000Updated Jun 24, 2016Jun 24, 2016
    • Query quality prediction and reformulation for source code search: the refoqus tool
      0000Updated Jun 24, 2016Jun 24, 2016
    • This is a to generate a set of test artifacts from UTP-C, a new test modelling language, diagrams.
      0000Updated Jun 24, 2016Jun 24, 2016
    • Dynamic Symbolic execution guided with static verification results
      0000Updated Jun 24, 2016Jun 24, 2016
    • SketchLink is a tool to link sketches/diagrams to source code artifacts
      Ruby
      2000Updated Jun 24, 2016Jun 24, 2016
    • A Self-Contained Model Checker for UML State Machines
      C#
      1000Updated Jun 24, 2016Jun 24, 2016
    • An environment for the design and modeling of domain specific languages
      C#
      2103Updated Jun 24, 2016Jun 24, 2016
    • Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems
      Batchfile
      1000Updated Jun 24, 2016Jun 24, 2016
    • ConTexter feedback system
      0000Updated Jun 24, 2016Jun 24, 2016
    • Repository for Tool Archie : created for SE 510 class under Dr. Emerson Murphy Hill
      Java
      GNU Lesser General Public License v3.0
      5000Updated Jun 24, 2016Jun 24, 2016
    • This repository contains information related to the tool Metadata Bug Finder
      Java
      0000Updated Jun 24, 2016Jun 24, 2016
    • DSOL - Declarative Service Orchestration Language www.dsol-lang.net
      Java
      2000Updated Jun 24, 2016Jun 24, 2016
    • CSC 510 Project Repository for the tool Titan
      Ruby
      2000Updated Jun 24, 2016Jun 24, 2016