softwareengineeringtooldemos Goto Github PK

example-repo

this is to demonstrate how to create git repository

fse-2009-javalanche

Efficient Mutation Testing for Java

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.

fse-2010-bert

A Tool for Behavioral Regression Testing.

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-2010-pat-rts

PAT-RTS: Analyzing hierarchical complex real-time systems

fse-2010-phantm

Static analysis using data-flow and type inference for PHP applications - Implemented in Scala

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-crosslayermodeler

fse-2011-crystal

When developers collaborate, they often run into conflicts. Crystal runs in the background and informs developers whenever developers' changes conflict. Crystal can detect textual, build, and testing conflicts.

fse-2011-evosuite

Repository for Tool EvoSuite : created for SE 510 class under Dr. Emerson Murphy Hil

fse-2011-jstar-eclipse

Repository for the tool jStar-Eclipse

fse-2011-parfait

A static bug-checking tool for C/C++ applications.

fse-2011-pde

An environment for the design and modeling of domain specific languages

fse-2011-pspwizard

PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns

fse-2011-querypoint

Querypoint, is a Firefox plugin that enhances the popular Firebug JavaScript debugger with a new, practical feature called lastChange.

fse-2011-rbacuml

Repo for the Role Based Access Control UML

fse-2011-safeslice

A model slicing and design safety inspection tool for SysML

fse-2011-score

Scalable COncolic testing for REliable Software

fse-2011-sydit

Repo of the tool Sydit

fse-2011-synoptic

Inferring models of systems from observations of their behavior

fse-2012-abb-transformation

C# framework for transforming and analyzing source code with srcML.

fse-2012-ata

ATA is a tool used to build efficient, resilient automated tests based on manual test specifications:

fse-2012-faulttracer

FaultTracer is a tool set that can help with various software testing tasks

fse-2012-imp

Practical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems

fse-2012-maypar

Repository containing the resources for the MayPar tool

fse-2012-prest-version-of-dione

Prest is a medical tool for statistical analysis on input genetic sample based on different genetic parameters.

fse-2012-reiminfer

ReImInfer tool is used to infer purity for Java methods and variables

fse-2012-repertoire

A tool for analyzing patch porting in forked codebases

fse-2012-sando

SANDO is a standalone Local Code Search (LCS) tool. It aims at replacing the conventional "find in files" code search.