Ana Cristina Ramada Paiva


AuthID: R-002-04C

Confirmed Publications: 92



91
TITLE: Automated specification-based testing of interactive components with asmL PDF
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLISHED: 2004, SOURCE: 5th International Conference on the Quality of Information and Communications Technology, QUATIC 2004 in CEUR Workshop Proceedings, VOLUME: 1135
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
92
TITLE: Specification-based testing of user interfaces
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXED IN: Scopus WOS DBLP CrossRef Handle
Page 10 of 10. Total results: 92.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service