Debugging with Dynamic Temporal Assertions

Ziad A. Al-Sharif, Clinton L. Jeffery, Mahmoud H. Said. Debugging with Dynamic Temporal Assertions. In 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014. pages 257-262, IEEE, 2014. [doi]

Authors

Ziad A. Al-Sharif

This author has not been identified. Look up 'Ziad A. Al-Sharif' in Google

Clinton L. Jeffery

This author has not been identified. Look up 'Clinton L. Jeffery' in Google

Mahmoud H. Said

This author has not been identified. Look up 'Mahmoud H. Said' in Google