"Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard."

Shaukat Ali, Tao Yue (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics