Publications

Articles

International Journal Articles: 1

2018

- Nuno Machado and Paolo Romano and Luis Rodrigues, CoopREP: Cooperative Record and Replay of Concurrency Bugs, article in Software Testing, Verification and Reliability, vol. 28 (1), Jan. 2018, Wiley [DOI Article link] [bibTex]

International Conferences: 1

2019

- Miguel Neves and Nuno Machado and Inês Lynce and Vasco Manquinho, Concurrency Debugging with MaxSMT, presented at Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 19, Jan. 2019 [bibTex]