|
Currently released (or about to be released)
-
MINTS (MINimizer
for Test Suites), a generic framework for supporting test-suite
minimization that allows for (1) easily encoding a wide range of
test-suite minimization problems, (2) handling problems that involve
any number of minimization criteria, and (3) computing optimal
solutions to minimization problems by leveraging a number of integer
linear programming solvers.
Click here
to download the tool.
-
InsECTJ, our
second-generation instrumenter, is a generic framework for
collecting information on the runtime behavior of a Java
program. The tool is implemented as a set of Eclipse plug-ins. Read more about
it here.
-
InsECT, our original
Instrumentation, Execution, and Coverage/profiling Tool for Java is
also available on SourceForge. Check it out at http://sourceforge.net/projects/insectj!
Available on a per-request basis
-
WASP, our new tool
against SQL-injection attacks, is based on positive tainting and
syntax-aware evaluation, is highly automated, has minimal deployment
requirements, and can protect existing Java-based Web application
from all types of SQL injections. Read more about it here.
-
SCARPE is a tool for
Selective CApture and Replay of Program Executions. Given a program,
the tool lets users (1) select a subsystem, (2) capture at runtime
all the interactions between such subsystem and the rest of the
program, and (3) replay the recorded interactions on the subsystem
in isolation. Read more about it here.
-
AMNESIA, our tool
against SQL-injection attacks, combines static analysis and runtime
monitoring to protect web applications. Read more about it here.
-
JDiff is a tool for
comparing different versions of object-oriented programs that
identifies both differences and correspondences between two
versions. The technique and the tool are described here.
-
DejaVOO, is our
efficient regression-test-selection tool for Java software that
combines static and dynamic analysis to reduce the regression
testing effort. The latest paper about DejaVOO is available here.
|
|