Folgen
Iago Abal
Iago Abal
Computer Engineer & Researcher
Bestätigte E-Mail-Adresse bei iagoabal.eu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
42 variability bugs in the linux kernel: a qualitative analysis
I Abal, C Brabrand, A Wasowski
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
1522014
Variability bugs in highly configurable systems: A qualitative analysis
I Abal, J Melo, Ş Stănciulescu, C Brabrand, M Ribeiro, A Wąsowski
ACM Transactions on Software Engineering and Methodology (TOSEM) 26 (3), 1-34, 2018
812018
Effective Bug Finding in C Programs with Shape and Effect Abstractions
I Abal, C Brabrand, A Wąsowski
International Conference on Verification, Model Checking, and Abstract …, 2017
72017
Using term rewriting to solve bit-vector arithmetic problems
I Abal, A Cunha, J Hurd, J Sousa Pinto
Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012
42012
Towards a mostly-automated prover for bit-vector arithmetic
I Abal, JS Pinto
Proceedings of the International C* Conference on Computer Science and …, 2013
12013
Analysis, Modeling and Testing of Darcs Patch Theory Kernel
I Abal
2011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6