| A Importância dos Testes Automatizados | 2008 |
| Structural Testing for Semaphore-Based Multithread Programs | 2008 |
| Towards Deriving Test Sequences by Model Checking | 2008 |
| Structural Testing Criteria for Message-Passing Parallel Programs | 2008 |
| Web Services Composition Testing: A Strategy Based on Structural Testing of Parallel Program | 2008 |
| The importance of Automated Tests, Agile, Fast, and Reliable Quality Control | 2008 |
| Control and Data Flow Structural Testing Criteria for Aspect-Oriented Programs | 2007 |
| Towards the Establishment of IMA-CID: An Integrated Modeling Approach for Developing Educational Modules | 2007 |
| Reinforcing Design Rationale in Software Projects Developed in Academic Environment | 2007 |
| A binomial software reliability model based on coverage of structural testing criteria | 2007 |
