Fault Propagation in Tabular Expression-Based Specifications

Xin Feng, David Lorge Parnas, T. H. Tse. Fault Propagation in Tabular Expression-Based Specifications. In Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland. pages 180-183, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.