Skip navigation.


DU2SL YouTube Channel

The DU2SL YouTube channel is now available:

Please check it out for videos of recent demos and autonomous unmanned vehicles.

Kav Shrestha Successfully Defends MS Thesis

On February 22, 2010, Kav Shrestha, a Ph.D. student working with me, successfully defended his MS Thesis entitled "An Empirical Evaluation of the Effectiveness of JML Assertions as Test Oracles". Committee members were Dr. Mohammad Mahoor (, Dr. Susanne Sherba ( and myself.


Test oracles remain one of the least understood aspects of the modern testing process.
An oracle is a mechanism used by software testers and software engineers for

DUP Paper accepted at the 43rd Annual Simulation Symposium (ANSS'10)

A paper, entitled "Simplifying Parallel and Distributed Simulation with the DUP System" was recently accepted for publication at the 43rd Annual Simulation Symposium (ANSS'10).

Full bibliographic information, along with the abstract and PDF is available:

Please see for further information about The DUP System.

Syndicate content