Using assertions in declarative and operational models for automated debugging

Peter Fritzson, Mikhail Auguston, Nahid Shahmehri. Using assertions in declarative and operational models for automated debugging. Journal of Systems and Software, 25(3):223-239, 1994. [doi]

Abstract

Abstract is missing.