Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). - Iago Abal; Alcino Cunha; Joe Hurd; Jorge Sousa Pinto (SAT, 2012)

Towards a mostly-automated prover for bit-vector arithmetic. - Iago Abal; Jorge Sousa Pinto (C3S2E, 2013)

42 variability bugs in the linux kernel: a qualitative analysis. - Iago Abal; Claus Brabrand; Andrzej Wasowski (ASE, 2014)

Effective Bug Finding in C Programs with Shape and Effect Abstractions. - Iago Abal; Claus Brabrand; Andrzej Wasowski (VMCAI, 2017)

Variability Bugs in Highly Configurable Systems: A Qualitative Analysis. - Iago Abal; Jean Melo; Stefan Stanciulescu; Claus Brabrand; Márcio Ribeiro 001; Andrzej Wasowski (ACM Trans. Softw. Eng. Methodol., 2018)