Tiago Miguel Laureano Alves
AuthID: R-000-H95
11
TITLE: Static Estimation of Test Coverage
AUTHORS: Tiago L Alves; Joost Visser;
PUBLISHED: 2009, SOURCE: 9th IEEE International Working Conference on Source Code Analysis and Manipulation in 2009 NINTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS
AUTHORS: Tiago L Alves; Joost Visser;
PUBLISHED: 2009, SOURCE: 9th IEEE International Working Conference on Source Code Analysis and Manipulation in 2009 NINTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS
12
TITLE: Strategic term rewriting and its application to a VDM-SL to SQL conversion
AUTHORS: Alves, TL; Silva, PF ; Visser, J; Oliveira, JN ;
PUBLISHED: 2005, SOURCE: 13th International Symposium of Formal Methods Europe in FM 2005: FORMAL METHODS, PROCEEDINGS, VOLUME: 3582
AUTHORS: Alves, TL; Silva, PF ; Visser, J; Oliveira, JN ;
PUBLISHED: 2005, SOURCE: 13th International Symposium of Formal Methods Europe in FM 2005: FORMAL METHODS, PROCEEDINGS, VOLUME: 3582