Patrícia D. L. Machado, Donald Sannella. Unit Testing for C88 ASL Architectural Specifications. In Krzysztof Diks, Wojciech Rytter, editors, Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings. Volume 2420 of Lecture Notes in Computer Science, pages 506-518, Springer, 2002. [doi]
Abstract is missing.