HOME | Projects | Publications | Download


The SQRL conducts research in innovative software development techniques. The laboratory's research focuses on integrating sound, mathematically rigorous principles into the software development process.

If you are interested in how rigorous specification and quantitative testing methods can help your organization, visit the projects page.

If you are interested in research conducted at the SQRL, visit the publications page.

If you are interested in software developed by the SQRL, visit the following SourceForge sites:

An Eclipse RCP for creating consistent, complete, and traceably correct system specifications, using sequence enumeration.
A prototype sequence-based specification tool written in Ruby.
A command line app and Java library to support model-based statistical testing.
An Eclipse RCP that provides a GUI front-end for JUMBL to support model-based statistical testing.

Address Min H. Kao Building
1520 Middle Drive
Knoxville, TN 37996, USA
+1 865 974-3461
+1 865 974-5483
Email sqrl-help@eecs.utk.edu
Links Department of Electrical Engineering and Computer Science
The University of Tennessee