Shaukat Ali, Tao Yue. Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard. In Timothy Lethbridge, Jordi Cabot, Alexander Egyed, editors, 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015. pages 396-405, IEEE, 2015. [doi]
Abstract is missing.