Project Publications and Reports

Journal Papers

• J. Barros, D. da Cruz, P.R. Henriques, J.S. Pinto, "Assertion-based Slicing and Slice Graphs", Formal Aspects of Computing, Volume 24, Number 2, 2012, Springer.

• M.J. Frade, J.S. Pinto, "Verification Conditions for Source-level Imperative Programs", in Computer Science Review, Volume 5, Issue 3, August 2011, pp. 252-277, Elsevier.

• L.S. Barbosa, A. Cerone, A.K. Petrenko, S.A. Shaikh, "Certification of open-source software: A role for formal methods?", International Journal of Computer Systems Science and Engineering, CRL Publishing Ltd. Vol. 25, Nº4, pp.273-281, 2010.

Conference Papers

• M.J. Frade, J. S. Pinto, "Verification Conditions for Single-assignment Programs", in Software Verification and Testing 2012, (a track of the ACM 27th Symposium On Applied Computing, SAC 2012), March 26-30, 2012, Riva de Garcia (Trento), Italy.

• M. Regedor, D. Cruz, P.R. Henriques, "The role of best practices in assessing software quality", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011. (pdf)

• Sara S. Fernandes, "Quality, success, communication and contribution in open source software", in Luis Barbosa and Dimitrius Settas, editors, Proceedings of the 5th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2011) (Satellite Event of SEFM'11), Montevideu, Uruguay. EASST (in print), 2011.

• L.S. Barbosa, P.R. Henriques, Alejandro Sanchez, "Towards rigorous analysis of Open Source Software", in Volker Stolz and Sun Meng, editors, Proceedings of 5th International Workshop on Harnessing Theories for Tool Support in Software, TTSS'2011, Oslo, September 2011.

• N. Carvalho, A. Simões, J.J. Almeida, P.R. Henriques, M.J. Varanda, "PFTL: A Systematic Approach for Describing Filesystem Tree Processors", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)

• N. Carvalho, J.J. Almeida, A. Simões, "Weaving OML in a General Purpose Programming Language", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)

• A. Barbosa, A. Paiva and J.C. Campos, "Test Case Generation from Mutated Task Models", in Paternò, Luyten, Maurer, Dewan and Santoro, editors, Proceedings of the ACM Symposium on Engineering Interactive Computing Systems (EICS 2011), pages 175-184. Pisa, Italy - June 13-16, 2011.

• N. Carvalho, A. Simões, J.J. Almeida, "xml2pm: A Tool for Automatic Creation of Object Definitions Based on XML Instances", XATA2011 - 9ª Conferência Nacional em XML, Aplicações e Tecnologias Aplicadas, Vila do Conde, Portugal, Junho de 2011. (pdf)

• N. Carvalho, A. Simões, J.J. Almeida, "OML: A Scripting Approach for Manipulating Ontologies", 6ª Conferência Ibérica de Sistemas e Tecnologias de Informação, Chaves, Portugal, Junho de 2011. (pdf)

• J.L. Freitas, D. Cruz, P.R. Henriques, "The role of Comments on Program Comprehension", in Luis Caires and Raul Barbosa, editors, INForum 2011; Simpósio de Informática (CoRTA2011 track), Coimbra, Portugal, Setembro 2011. Universidade de Coimbra. (pdf)

• A. Simões, N. Carvalho, J.J. Almeida, "Testing as a Certification Approach", Proc. of 4th Int. Wksh. on Foundations and Techniques for Open Source Software Certification (OpenCert 2010), Pisa, Italy, September 2010, Electronic Communications of the EASST, volume 33 (2010), 10 pages. (pdf)

• J.C. Silva, J.C. Campos, J.A. Saraiva, "GUI Inspection from Source Code Analysis", Proc. of 4th Int. Wksh. on Foundations and Techniques for Open Source Software Certification (OpenCert 2010), Pisa, Italy, September 2010, Electronic Communications of the EASST, volume 33 (2010), 18 pages.

• S. Areias, D. Cruz, P.R. Henriques, J.S. Pinto, "GammaPolarSlicer, a Contract-based Tool to Help on Reuse", Proc. of INForum 2010 - Simpósio de Informática (CoRTA2010 track), Braga, Portugal, September 2010, Universidade do Minho, pp. 137-148. (pdf)

• S. Areias, D. Cruz, P.R. Henriques, J.S. Pinto, "Safe Integration of Annotated Components in Open Source Projects", Proc. of 4th Int. Wksh. on Foundations and Techniques for Open Source Software Certification (OpenCert 2010), Pisa, Italy, September 2010, Electronic Communications of the EASST, volume 33 (2010), 17 pages.

• S. Areias, D. Cruz, J.S. Pinto, "Contract-based Slicing helps on safety Reuse (poster)", Proc. of 18th Int. Conf. on Program Comprehension (ICPC'10), Braga, Portugal, June 2010, IEEE Computer Society, CPS, pp. 62-63. (pdf)

• J.C. Silva, C.E. Silva, R.D. Gonçalo, J.A. Saraiva, J.C. Campos, "The GUISurfer tool: towards a language independent approach to reverse engineering GUI code", In Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '10), ACM, pp. 181-186.

• J.C. Silva, C.E. Silva, J.C. Campos, J.A. Saraiva, "GUI Behavior from Source Code Analysis", Proc. of 4a. Conf. Nac. em Interacção Humano-Computador (Interacção 2010), Aveiro, Portugal, Outubro 2010, pp. 81-88.

Thesis

• José Luís Freitas. "Comments Analysis for Program Comprehension". MSc thesis. Escola de Engenharia, Universidade do Minho, Dezembro, 2011. (pdf)

• Daniela Cruz. "Verification, Slicing, and Visualization of Programs with Contracts". PhD thesis. Escola de Engenharia, Universidade do Minho, October 2011. (pdf)

• Sérgio Areias. "Contracts and Slicing for Safety Reuse". MSc thesis. Escola de Engenharia, Universidade do Minho, Dezembro, 2010. (pdf)

• João Miguel Veiga. "Quality Assessment of Java Source Code". MSc thesis. Escola de Engenharia, Universidade do Minho, Dezembro, 2010. (pdf)

• Carlos Eduardo Silva. "Reverse Engineering of Rich Internet Applications". MSc thesis. Escola de Engenharia, Universidade do Minho, Setembro, 2010. (pdf)

• João Carlos Silva. "GUIsurfer: A Generic Framework for Reverse Engineering of Graphical User Interfaces". PhD thesis. Escola de Engenharia, Universidade do Minho, December 2010. (pdf)

Technical Reports

• J.M. Veiga, M.J. Frade, "TreeCycle: a Sonar plugin for design quality assessment of Java programs". Techn. Report CROSS-10.07-1. University of Minho, July 2010. (pdf)

Report Publication

Please update on uploading a new report: YY.MM-n, n being sequential inside each month.

Latex style file cross-report.sty (use example report-ex.tex).

Logotypes: FCT, COMPETE+QREN+UE

Support page: support.tex