A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing
Paiva, Ana C. R., Faria, João C. P., Tillmann, Nikolai, Vidal, Raul A. M.
Published in Formal Methods and Software Engineering (2005)
Published in Formal Methods and Software Engineering (2005)
Get full text
Book Chapter
Conference Proceeding
Towards the Integration of Visual and Formal Models for GUI Testing
Paiva, Ana C.R., Faria, João C.P., Vidal, Raul F.A.M.
Published in Electronic notes in theoretical computer science (31.08.2007)
Published in Electronic notes in theoretical computer science (31.08.2007)
Get full text
Journal Article