Testing interruptions in reactive systems

Wilkerson de L. Andrade, PatrĂ­cia D. L. Machado. Testing interruptions in reactive systems. Formal Asp. Comput., 24(3):331-353, 2012. [doi]

Abstract

Abstract is missing.