Arbeit zu Modularer Statischer Analyse auf ASE '23 veröffentlicht
n, erklärbaren Ergebnisformat. SPARRI bietet eingebaute Funktionen zur Referenzierung von Software-Artefakten, die sich auf Maven Central befinden, ist aber erweiterbar, um beliebige Ökosysteme und Re [...] Darüber hinaus sehen wir Potenzial für die Anwendung in anderen Forschungsbereichen wie empirische Software-Studien, Benchmark-Erstellung und Artefakt-Evaluation. Persisting and Reusing Results of Static Program [...] Johannes Düsing, Ben Hermann In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023). (Just Accepted) …
