Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2 Publications
2018 | Journal Article | LibreCat-ID: 20543
Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., & Bodden, E. (2018). Debugging Static Analysis. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/TSE.2018.2868349
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20547
Nguyen Quang Do, L., & Bodden, E. (2018). Gamifying Static Analysis. Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 714–718. https://doi.org/10.1145/3236024.3264830
LibreCat
| DOI
| Download (ext.)