Mercedes G. MerayoBooksTesting of Software and Communication SystemsTesting Software and SystemsSoftware Engineering and Formal MethodsAuthor data: Open Library