Browsing by Subject Formal approaches to testing
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
---|---|---|
2016 | An extended framework for passive asynchronous testing | Hierons, RM; Merayo, MG; Nunez, M |
2012 | Implementation relations and test generation for systems with distributed interfaces | Hierons, RM; Merayo, MG; Núñez, M |