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