1. Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T)
2. The DaCapo benchmarks
3. Ignacio Casso, José Francisco Morales, Pedro López-García, and Manuel V. Hermenegildo. 2020. Testing Your (Static Analysis) Truths. In International Workshop/Symposium on Logic-based Program Synthesis and Transformation. https://api.semanticscholar.org/CorpusID:221317992
4. Aske Simon Christensen, Anders Møller, and Michael I. Schwartzbach. 2003. Precise Analysis of String Expressions. In Proceedings of the 10th International Conference on Static Analysis (SAS’03). Springer-Verlag, Berlin, Heidelberg. 1–18. isbn:3-540-40325-6 http://dl.acm.org/citation.cfm?id=1760267.1760269
5. Bugs as deviant behavior