software

Civilization advances by extending the numbers of

important operations which we can perform without thinking about them.

(A. N. Whitehead)

My research work resulted in some prototypes that demonstrate the proposed approaches:

• • JBSE, the Java Bytecode Symbolic executor

  • The SUSHI automatic test case generator

  • The TARDIS automatic test case generator

  • GASP, a tool that performs worst-case execution time (WCET) estimation for Java programs