| 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 | 146 | 2014 |
| 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 | 74 | 2018 |
| 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 | 7 | 2017 |
| 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 | 4 | 2012 |
| Towards a mostly-automated prover for bit-vector arithmetic I Abal, JS Pinto Proceedings of the International C* Conference on Computer Science and …, 2013 | 1 | 2013 |
| Analysis, Modeling and Testing of Darcs Patch Theory Kernel I Abal | | 2011 |
Andrzej WąsowskiProfessor, IT University of Copenhagen, Denmark在 itu.dk 的电子邮件经过验证
