Available Research Tools (asergrp)

Available Research Tools

Open source software engineering tools
Testing Tools (automated-test-tools)(opensourcetesting):
- White Box Testing:
- Constraint solvers
- Concurrency Testing: CUTE/jCUTE@UIUC MultithreadedTC@U. Maryland TestCon@U. Queensland VeriSoft@Bell Labs Verisoft Automatic Interface (VAI) Framework Race Variant Generator
- Spec-based Testing (projects, projects): Korat@UIUC ModelJUnit@waikato NModel for C# MMUnit ParTeG Spec Explorer@MSR FSE JML: UTJML@UTEP JMLTT@INRIA UML: CowSuite@ISTI UCTSystem@IRISA UMLTesting@CoroladoStateU Others: hol-testgen@Brucker Congu for Checking Algebraic Specs UBET@Bell Labs TorX@Wwente Uppaal TRON@AalborgU. Atasyn@UCLA Dataabstr Charon@U Penn CharonTester@U Penn Charon SAL-atg@SRI Testing tools Bomotest AutoFocus Nimbus TVG TGV UMLAUT Triskell AFTG tool demo at NIST
- Regression Testing/Change Impact Analysis/Refacotring: Chianti@Rutgers JDEvAn@UAlberta JDEvAn Viewef@UAlberta Diff-CatchUp@UAlberta AutoCVSCommit@UAlberta ReBA@UIUC MolhadoRef@UIUC RefactoringCrawler@UIUC
- Grammar-Based Testing: yagg@CWM Quest@Saarland
- Combinatorial Testing: FireEye@NIST (available in ASE server)
- GUI Testing: Guitar@Maryland (GUITAR@U. Maryland)
- DB Testing (projects): SQLMutation SQLTest DOT@Man Open source testing tools for SQL
- Scripting Language Testing: LectroTest for Perl
- AOP Testing/Verification (projects): Bugdel Debugging Tool@Titech Rejuvenate Pointcut AJTE aUnit Flextest Eos@Iowa State JLO abc Prism aspect miner Prism CRAFT Celadon Change Impact Analysis@SJTU RaceJ@McGill rejuvenate-pc@Lancs
- Web Testing/Verification (projects): Amnesia@GIT Process verifier@UCLA EclipseWTP Blade@ASU LAPSE@Stanford Magenta BPEL4WS LTSA Plug-In bpel4ws Tool4BPEL Eclipse BPEL MSCplugin Web Service Analysis Tool SUT: XML Schema Unit Test Astro suite Web service regression testing toolkit Xmltester Open source testing tools for XML WSUnit WebInject SOAPUI JMeter PushToTest Open source web services tool in Java Open source web testing tools in Java Apache Axis Axis2 Apache Web services project
- Firewall Testing/Verification (projects): Firewall analysis tools@MSU (available in ASE server) ITVal@WM Firewall Policy Advisor@Depaul Firewall tools
- Policy Testing/Verification (projects): Policy testing tools@NCSU (available in ASE server) Margrave@Brown RW model checker
- Coverage Measurement: Jusc@NCSU (available in ASE server) InsECT@Gerogia Tech Coverlipse/Kempka muJava@GMU NCover for C# Prof-It for C#
- Runtime Verification: BIT-Wrapper@VT
- HPC Testing (projects):
- Embedded System Testing (projects):
- Security Testing/Debugging (projects): Malfor@Saarland U.
Debugging Tools: Delta Debugging@Saarland U. HDD@UC Davis Malfor@Saarland U. Juzi@UT Austin FlowCheck@MIT Bug Isolation@UWisconsin DIDUCE@Stanford Repair@UCI SOBER@UIUC Ample@Saarland Lizard@Vishwakarma Debugging tools: listed in Zeller's book "Why does my program fail? - A Guide to Systematic Debugging"
Generic Instrumentation Tools: Dila@Rutgers U. Sofya@UNL InsECT@Gerogia Tech
Specification Inference/Code Mining Tools (projects) (mining tool resources): Daikon@MIT LtRrules@OhioU kBehavior@UNIMIB Objectflattener@UNIMIB DIDUCE@Stanford Abadu@Saarland Lever@UIUC Terracotta@U. Virignia TrendProf@Berkeley CP-Miner@UIUC Prospector@UCBerkeley JavaSketch@UCBerkeley Strathcona@Calgary Sniff@UCBerkeley Hear@UCDavis Google Eclipse Search Programming By Sketch@Berkeley API Birthmark@Saarland Sourcerer@UCI Codegenie@UCI Quack@MIT Fossology.org

Mining version histories: SemDiff@McGill TeMo@Delft eROSE@Saarland

Concept Analysis Tools: Colibri-Java@Saarland Colibri/Concepts@Saarland KABA@PASSAU
Visualization Tools: iSpace@vDarmstadt MVT@HUT EPOSoft@Saarland CCVisu@SFU
Static Analysis Tools:
- Generic Java Static Analysis: Wala@IBM Research Crystal@CMU Doop Eclipse JDT Crystalsaf@CMU Soot@McGill TACLE@OSU BCEL Bddbddb@Stanford bddbddb@Stanford PQL@Stanford Idus@KSU (slicing) JSA@Brics Purity Analysis Tool@MIT JOP Java-XML@Japan Julia@Spoto Jad Jclasslib
- Generic C/C++ Static Analysis: Grammatech CodeSurfer (available in ASE server) Eclipse CDT CIL@Berkeley TXL@UWaterloo TXL course
- Generic Binary Analysis: Valgrind FlowCheck@MIT Fjalar@MIT Kvasir@MIT REDUX Pin@UCorolado Tracer@SUNY SB
- C# Tools (projects): MSR CCI (available in ASE server) MSR FSE (Spec#) MBEL NModel for C# MSR Phoenix open source testing tools for C# TestGen.Net (download) NUnitGen Addin dynamo NCover Reflector .Net tools FxCop
- PHP Static Analysis: PHP-front
- Java Static Bug Finding: Plural@CMU FindBugs@Maryland LAPSE@Stanford Mobius@U. College Dublin JML@Iowa Stae U. ESC/Java 2 SQLGuard@OSU Security tools Security tools Static analysis tools Security tools
- Java Reverse Engineering: PINOT@UC Davis (Design Pattern Recovery)
- C/C++ Static Bug Finding (tool collection) : HAVOC@MSR Driver Development Kit/SLAM@MSR Splint@Virginia Airac5 Psi@UCLA
- C/C++ Concurrency Analysis: CHESS for Win32@MSR
- Java Concurrency Analysis: Vyrd@Koc
- Other applications: KABA@PASSAU Relo@MIT StringBorg
- Java Model Checker: NASA Java PathFinder NetStub@UCSB Forge@MIT Bandera@KSU Bogor@KSU
- C/C++ Model Checker: Satabs@U. Lugano JForge/JMLForge@MIT Blast@UCBerkeley MOPS@UCDavis MAGIC@CMU BOOP VeriSoft@Bell Labs Verisoft Automatic Interface (VAI) Framework Focuscheck@Iowa State U. Cadena@KSU
- General Model Checker: Alloy@MIT ArCats@NTNU CWB-NC LTSA-MSC@Imperial College PAT@NUS GMC@Sunysb
- Embedded System Analysis: Static Stack tool@Utah UPPAAL Avrora@UCLA PlayGame@U Penn MIST@UPenn
- Software Engineering Static Analysis Tools: Tools@McGill Tools@UBC Tools@MIT
Experimental Subjects:

Others projects: SymExec@UTAustin Mulsaw@MIT TGEN@U. Arizona Algebraic Spec@U. Colorado SpecMining@UCBerkely Hastings@Stanford U. WebAppSleuth@UNL Jist@UPenn Skoll@U. Maryland Gamma@Georgia Tech Evolve@Georgia Tech Galileo@UNL PRESTO@OSU OOTesting@George Mason U. AGENDA@Polytech U. DIATOMS@U. Pitts SymExec@CAS SymmetryTesting@INRIA Explain@CMU SOBER@UIUC Opera@UIUC
Available executables: Spec#@MSR FSE Spec Explorer@MSR FSE Pex@MSR FSE Zing@MSR Z3@MSR AETG@Telcordia ConTest@IBM Research Agedis@IBM Research et al. IBM Alphaworks-Eclipse IBM Alphaworks-Java UBET@Bell Labs
Commercial tools: Agitar Agitator Parasoft Jtest Silvermark Test Mentor Reactive Reactis
Industrial/government projects: Pex@MSR FSE MSR TVM IBM Research Verification IBM Research SoftEng Leakbot@IBM Research Avaya Labs Research NIST Random Number Generation and Testing