Released
Software
Visit our CodePlex open source project web for our released C# testing and analysis tools in collaboration with the Pex team from Microsoft Research
- Fitnex:
Fitness-Guided Path Exploration:
Fitnex uses fitness values computed through a fitness function
(traditionally
used in genetic algorithms) to guide path exploration in dynamic
symbolic execution. The fitness function measures how close an explored
path or branch is in achieving test target coverage. See an MSR technical report
for more details.
- XEngine: A
Fast and Scalable XACML Policy Evaluation Engine: XEngine is
a fast and scalable XACML policy evaluation engine. It provides the
following features. XEngine converts the hierarchical
structure of an XACML policy to a flat structure. XEngine
converts multiple combine algorithms to one combining
algorithm. XEngine uses a tree structure to efficiently
process requests. See a SIGMETRICS 08 paper
for more details.
- PARSEWeb: A Programmer Assistant for Reusing Open Source Code
on the Web: PARSEWeb
takes queries of the form "Source object type ->
Destination object type" as input, and suggests relevant
method-invocation sequences that can serve as solutions that yield the
destination object
from the source object given in the query. See an ASE 07 paper
for more details.
- MAPO: Mining API Usages from Open Source
Repositories: Given
a query that describes a method, class, or package for an API, MAPO
leverages the existing source code search engines to gather relevant
source files and
conducts data mining. The mining leads to a short list of frequent API
usages for developers to inspect. See
an MSR 06 paper
for more details.
- Stabilizer: Helping Users Avoid Bugs in GUI Applications:
the Stabilizer bug tracking system aims to quickly stabilize buggy GUI
applications. Namely, users collaboratively and quickly stabilize a
buggy GUI application by reporting any bugs that they encounter to
prevent anyone from encountering those bugs again. See an ICSE 05 paper
for more details.
- Jov: Java Unit
Test Selection Tool Based on Operational Violations: Jov
implements the operational violation approach for unit-test generation
and selection, a black-box approach without requiring a priori
specifications.See an
ASE Journal 06 paper for more details.
- Jusc: Java
Unit Test Selection Tool Based on Residual Structural Coverage:
Jusc is a Java unit test selection tool based on residual
structural coverage. Running Jusc on a test class
containing a list of test methods, you can get a list of selected
tests, each of which cover at least one new structural entity (either
branches or intra-method paths in particular) from the class under
test. See an
ASE Journal 06 paper for more details.
- Romant:
Java Robustness Measurement Tool:
Romant collects dynamic execution data (e.g. block coverage, branch
coverage, thrown uncaught exceptions, and caught exceptions) of an
application under test in any execution environment (e.g., within a
third-party test generation tool). Romant outputs the information of
block coverage, branch coverage, thrown uncaught exceptions, and caught
exceptions.
Other
Software