Publications

• Levent Aksoy, Paulo Flores, and José Monteiro. Approximation of multiple constant multiplications using minimum look-up tables on fpga. In 2015 IEEE International Symposium on Circuits and Systems (ISCAS), pages 2884–2887, May 2015.
• José Costa and José Monteiro. Finding the longest path in a software program. submited to Software Testing, Verification and Reliability.
• Leonor Cunha. Coverage-based validation of embedded systems. Master’s thesis, Instituto Superior Técnico, Universidade de Lisboa, 2015.
• Joao Florêncio. Test Accelerator for Service Oriented Architectures. Master’s thesis, Instituto Superior Técnico, Universidade de Lisboa, 2015.

Scholarship Reports

• Leonor Cunha. 1st year report.
• Leonor Cunha. 2nd year report.
• Leonor Cunha. 3rd year report.
• José Cabrita. 1st year report.
• José Cabrita. 2nd year report.
• João Florêncio. 1st year report.