Open Systems Laboratory

Department of Computer Science, University of Illinois at Urbana-Champaign

Research	People	Publications	Utilities

Research Theme

Application Areas

Complex Systems

Dependable Systems

Multi-Agent Systems

P2P and Web Computing

Sensor Networks and Real-Time Systems

Concurrent and Distributed Systems

Coordination Algorithms

Formal Methods

Programming Languages and Systems

Software Engineering

Software and Data

Actor Systems

Sensor Networks

Software Analysis and Testing Tools

CUTE

- A Concolic Unit Testing Engine for C and Java. This tool combines concrete and symbolic execution. It significantly advances the DART (Directed Automated Random Testing) approach by supporting pointers and data-structutes, concurrency, and an incremental custom constraint solver. Our initial experiments showed that it runs about 1000 times faster than DART and can handle considerably complex programs on which DART otherwise falls back to random testing.

JMPaX

Java MultiPathExplorer.

VESTA

Statistical model-checker for black-box probabilistic systems.

DIANA

DIstributed ANAlysis: A tool for efficient decentralized monitoring of safety in distributed systems.

Lever

Learning to Verify Safety Properties.