SoftwareEngineeringToolDemos's repositories
FSE-2013-RiTHM
A Runtime Time-triggered Heterogeneous Monitoring tool
FSE-2010-Diver
Diver is a dynamic analysis tool for Java that integrates scalable sequence diagram views with an interactive trace-focused UI in Eclipse. It provides sophisticated debugging support for understanding and exploring features of interest. Through a series of plugins for Eclipse, Diver allows you to: -easily record and capture traces of your running program; -interactively visualize, filter and share sequence diagrams of the captured traces; -selectively focus core Eclipse views on the traced code; and -seamlessly navigate between sequence diagrams and the trace-focused source code views.
FSE-2012-ReImInfer
ReImInfer tool is used to infer purity for Java methods and variables
FSE-2014-Aalta
Repository for Tool Aalta : created for SE 510 class under Dr. Emerson Murphy Hill
ICSE-2014-LTSA_PCA
LTSA-PCA is an extension of the LTSA model checker that supports the specification, visualisation and failure analysis of composable, probabilistic behaviour of component-based systems, modelled as Probabilistic Component Automata (PCA)
FSE-2010-Basset
This repository contains information related to the tool Basset, a tool for systematic testing of JVMbased actor programs. The tool was originally presented in this Paper - Basset: a tool for systematic testing of actor programs at Foundations of Software Engineering, 2010.
ICSE-2012-EXSYST
EXSYST - A tool for search based GUI testing
FSE-2010-Ref-Finder
Ref-Finder: A refactoring reconstruction tool. RefFinder identifies complex refactorings between two program versions using a template-based refactoring reconstruction approach.
FSE-2011-rbacUML
Repo for the Role Based Access Control UML
FSE-2011-Sydit
Repo of the tool Sydit
FSE-2011-Synoptic
Inferring models of systems from observations of their behavior
FSE-2012-TouchDevelop
Repository for Tool TouchDevelop : created for SE 510 class under Dr. Emerson Murphy Hill
FSE-2013-aPET
This repository contains resources for getting started with aPET : A Test Case Generation Tool for Concurrent Objects
FSE-2013-RADA
RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions
FSE-2014-OMEN-plus
Omen+ is a dynamic analysis tool to detect deadlocks in Multi-threaded java libraries.
FSE-2014-RaPiD
RaPiD (Reliability Prediction and Distribution) toolkit is used for the reliability analysis of non-deterministic systems.
FSE-2014-XMLMate
XMLMate, a search-based test generator specially aimed at XML-based systems.
ICSE-2010-Fujaba-MechatronicUML
Repository for Tool MechatronicUML Tool Suite : created for SE 510 class under Dr. Emerson Murphy Hil
ICSE-2011-CodeTopics
Tool that presents to developers the similarity between source code and high-level artifacts
ICSE-2011-Portfolio
Github repository of project Portfolio
ICSE-2012-Feature-Mapping
Repository for the tool Feature Mapping
ICSE-2012-GraPacc
GraPacc tool is a context based code completion tool for Java
ICSE-2012-javamop
Runtime verification system for Java, using AspectJ for instrumentation.
ICSE-2012-JetBrains-MPS
JetBrains Meta programming System
ICSE-2013-CEL
CEL is a gesture-based iPad application to manipulate object- oriented software models.
ICSE-2013-Memoise
Repository for Tool Memoise : created for SE 510 class under Dr. Emerson Murphy Hil
ICSE-2013-Seahawk
Seahawk: Stack Overflow in the IDE
ICSE-2014-BOAT
Repository for Tool BOAT : created for SE 510 class under Dr. Emerson Murphy Hil
ICSE-2014-VeriWS
A tool for verification of combined functional and non-functional requirements of web service composition
ICSE-2014-Viva
Repository for Tool Viva : created for SE 510 class under Dr. Emerson Murphy Hil