SoftwareEngineeringToolDemos's repositories
FSE-2011-PSPWizard
PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns
FSE-2011-PDE
An environment for the design and modeling of domain specific languages
ICSE-2011-Miler
Miler is a tool used for exploring email-data
ICSE-2014-semSMT
Migrating Code with Statistical Machine Translation
FSE-2013-USMMC
A Self-Contained Model Checker for UML State Machines
FSE-2010-Phantm
Static analysis using data-flow and type inference for PHP applications - Implemented in Scala
FSE-2013-RSA-MBT
This is a to generate a set of test artifacts from UTP-C, a new test modelling language, diagrams.
FSE-2013-socialcde
SocialCDE plugin for Eclipse
FSE-2014-Archie-Smart-IDE
Repository for Tool Archie : created for SE 510 class under Dr. Emerson Murphy Hill
FSE-2014-BugLocalizer
Bugzilla Extension for Bug Localization
FSE-2014-CHOReOSynt
CHOReOSynt tool has been conceived to deal with an additional problem, namely, automated choreography enforcement.
FSE-2014-SketchLink
SketchLink is a tool to link sketches/diagrams to source code artifacts
FSE-2014-Titan
CSC 510 Project Repository for the tool Titan
FSE-2014-TSmart
Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems
ICSE-2010-Checker-Framework
Pluggable type-checking for Java
ICSE-2011-Dyta
Dynamic Symbolic execution guided with static verification results
ICSE-2011-InconsistencyInspector
The project enables you to extract the static and dynamic call graphs for a system.
ICSE-2011-Quamoco
Open Quality Model and Tool Support for Quality Modelling and Evaluation
ICSE-2011-SEREBRO
A lightweight courseware developed for student team collaboration in a software engineering class
ICSE-2012-CONTEXTER
ConTexter feedback system
ICSE-2012-DSOL
DSOL - Declarative Service Orchestration Language www.dsol-lang.net
ICSE-2012-Egidio
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.
ICSE-2012-MetadataBugFinder
This repository contains information related to the tool Metadata Bug Finder
ICSE-2013-Linux-Kernel-Benchmark
A set of tools to evaluate feature locations for Linux Kernel
ICSE-2013-Refoqus
Query quality prediction and reformulation for source code search: the refoqus tool
ICSE-2013-V-ISSUE-LIZER
V:ISSUE:LIZER is a tool which explores requirements clarification in online communication over time