Formalizing interoperability for test case generation purpose

Alexandra Desmoulin, César Viho. Formalizing interoperability for test case generation purpose. STTT, 11(3):261-267, 2009. [doi]

Abstract

Abstract is missing.