Debugging with Dynamic Temporal Assertions.

Ziad A. Al-Sharif, Clinton L. Jeffery, Mahmoud H. Said

Browse the full ISSRE paper archive.