Lan Lin, Jia He, Yong Zhang, Fengguang Song. Quality Assurance through Rigorous Software Specification and Testing: A Case Study. In Proceedings of the 2015 International Conference on Soft Computing and Software Engineering, SCSE'15, Berkeley, CA, USA, March 5-6, 2015. Volume 62 of Procedia Computer Science, pages 257-265, Elsevier, 2015. [doi]
Abstract is missing.