Welcome

The ESP project develops software libraries for

• empirical studies of software engineering techniques developed at the laboratory
• simulation techniques for investigating the solution of very large problems
• prototype tools to support further research, development, and technology transfer

If you are interested in the lab's work on automated, model-based, statistical testing, you should visit the pages for the JUMBL and TML.

If you are interested in the lab's work on sequence-based software specification, you should visit the page for proto_seq.