Login / Signup
Iago Abal
Publication Activity (10 Years)
Years Active: 2012-2018
Publications (10 Years): 2
Top Topics
Qualitative Analysis
Bit Vector
Theorem Proving
Term Rewriting
Top Venues
VMCAI
SAT
ACM Trans. Softw. Eng. Methodol.
C3S2E
</>
Publications
</>
Iago Abal
,
Jean Melo
,
Stefan Stanciulescu
,
Claus Brabrand
,
Márcio Ribeiro
,
Andrzej Wasowski
Variability Bugs in Highly Configurable Systems: A Qualitative Analysis.
ACM Trans. Softw. Eng. Methodol.
26 (3) (2018)
Iago Abal
,
Claus Brabrand
,
Andrzej Wasowski
Effective Bug Finding in C Programs with Shape and Effect Abstractions.
VMCAI
(2017)
Iago Abal
,
Claus Brabrand
,
Andrzej Wasowski
42 variability bugs in the linux kernel: a qualitative analysis.
ASE
(2014)
Iago Abal
,
Jorge Sousa Pinto
Towards a mostly-automated prover for bit-vector arithmetic.
C3S2E
(2013)
Iago Abal
,
Alcino Cunha
,
Joe Hurd
,
Jorge Sousa Pinto
Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation).
SAT
(2012)