SoftwareEngineeringToolDemos

This is the result of a class project in Fall 2015 where we tried to obtain, download, use, and repackage software engineering tools. See Paper repo.

North Carolina State University

Pinned Repositories

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.
Language:Java10
FSE-2011-EvoSuite
Repository for Tool EvoSuite : created for SE 510 class under Dr. Emerson Murphy Hil
Language:Java12
FSE-2011-Parfait
A static bug-checking tool for C/C++ applications.
1 7 20
FSE-2011-PSPWizard
PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns
Language:Java6 6 103
FSE-2013-RiTHM
A Runtime Time-triggered Heterogeneous Monitoring tool
Language:C41
ICSE-2011-AutoBlackTest
AutoBlackTest tool for automatic test generation for interactive applications.
Language:Java42
ICSE-2013-LAMBDAFICATOR
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 operations that use lambda expressions.
Language:Ruby21
ICSE-2013-MCT
MCT is an integrated development environment-based tool that enables programmers to easily explain their code by voice, video and mouse movement in the form of comments.
Language:Batchfile2 5 155
ICSE-2014-ImpactMiner
Language:Java21
Paper
Language:TeX4 74 612

SoftwareEngineeringToolDemos's Repositories

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