Structural and Mutation Testing for SDL Specifications: A Case Study
Smart Debugging Software Architectural Design in SDL
José Carlos Maldonado
Tatiana Sugeta
Y. QI