Skip to content

@SoftwareEngineeringToolDemos SoftwareEngineeringToolDemos

Change the repository type filter

All

    Repositories list

    144 repositories

    • FSE-2011-PSPWizard

      Public
      PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns
      Java
      •3•6•2•0•Updated Mar 8, 2024Mar 8, 2024

    • Paper

      Public
      TeX
      •11•4•0•0•Updated Oct 11, 2016Oct 11, 2016

    • ICSE-2010-Checker-Framework

      Public
      Pluggable type-checking for Java
      Java
      •
      Other
      •437•0•0•0•Updated Oct 10, 2016Oct 10, 2016

    • ICSE-2011-Miler

      Public
      Miler is a tool used for exploring email-data
      JavaScript
      •2•1•0•0•Updated Aug 4, 2016Aug 4, 2016

    • ICSE-2011-InconsistencyInspector

      Public
      The project enables you to extract the static and dynamic call graphs for a system.
      Ruby
      •0•0•0•0•Updated Jun 27, 2016Jun 27, 2016

    • FSE-2010-Phantm

      Public
      Static analysis using data-flow and type inference for PHP applications - Implemented in Scala
      Java
      •
      Other
      •11•0•0•0•Updated Jun 25, 2016Jun 25, 2016

    • ICSE-2011-Quamoco

      Public
      Open Quality Model and Tool Support for Quality Modelling and Evaluation
      Java
      •7•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • FSE-2014-BugLocalizer

      Public
      Bugzilla Extension for Bug Localization
      Perl
      •6•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • FSE-2013-REDACT

      Public
      2•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • FSE-2014-CHOReOSynt

      Public
      CHOReOSynt tool has been conceived to deal with an additional problem, namely, automated choreography enforcement.
      0•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • ICSE-2012-Egidio

      Public
      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 th…
      0•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • ICSE-2013-Linux-Kernel-Benchmark

      Public
      A set of tools to evaluate feature locations for Linux Kernel
      0•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • FSE-2011-CrossLayerModeler

      Public
      0•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • FSE-2013-socialcde

      Public
      SocialCDE plugin for Eclipse
      Java
      •21•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • ICSE-2011-MATCON

      Public
      2•0•4•1•Updated Jun 24, 2016Jun 24, 2016

    • ICSE-2011-SEREBRO

      Public
      A lightweight courseware developed for student team collaboration in a software engineering class
      0•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • ICSE-2014-semSMT

      Public
      Migrating Code with Statistical Machine Translation
      1•1•0•0•Updated Jun 24, 2016Jun 24, 2016

    • ICSE-2013-V-ISSUE-LIZER

      Public
      V:ISSUE:LIZER is a tool which explores requirements clarification in online communication over time
      Java
      •3•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • ICSE-2013-Refoqus

      Public
      Query quality prediction and reformulation for source code search: the refoqus tool
      0•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • FSE-2013-RSA-MBT

      Public
      This is a to generate a set of test artifacts from UTP-C, a new test modelling language, diagrams.
      0•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • ICSE-2011-Dyta

      Public
      Dynamic Symbolic execution guided with static verification results
      0•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • FSE-2014-SketchLink

      Public
      SketchLink is a tool to link sketches/diagrams to source code artifacts
      Ruby
      •2•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • FSE-2013-USMMC

      Public
      A Self-Contained Model Checker for UML State Machines
      C#
      •1•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • FSE-2011-PDE

      Public
      An environment for the design and modeling of domain specific languages
      C#
      •2•1•0•3•Updated Jun 24, 2016Jun 24, 2016

    • FSE-2014-TSmart

      Public
      Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems
      Batchfile
      •1•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • ICSE-2012-CONTEXTER

      Public
      ConTexter feedback system
      0•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • FSE-2014-Archie-Smart-IDE

      Public
      Repository for Tool Archie : created for SE 510 class under Dr. Emerson Murphy Hill
      Java
      •
      GNU Lesser General Public License v3.0
      •5•1•0•0•Updated Jun 24, 2016Jun 24, 2016

    • ICSE-2012-MetadataBugFinder

      Public
      This repository contains information related to the tool Metadata Bug Finder
      Java
      •0•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • ICSE-2012-DSOL

      Public
      DSOL - Declarative Service Orchestration Language www.dsol-lang.net
      Java
      •2•0•0•0•Updated Jun 24, 2016Jun 24, 2016

    • FSE-2014-Titan

      Public
      CSC 510 Project Repository for the tool Titan
      Ruby
      •2•0•0•0•Updated Jun 24, 2016Jun 24, 2016
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.