Publications
A Programming Model for Semi-implicit Parallelization of Static Analyses
| Author | Helm, Dominik; Kübler, Florian; Kölzer, Jan Thomas; Haller, Philipp; Eichberg, Michael; Salvaneschi, Guido; Mezini, Mira |
|---|---|
| Date | 2020 |
| Type | Conference Proceedings |
| Conference | ISSTA '20: 29th SIGSOFT International Symposium on Software Testing and Analysis |
| Isbn | 978-1-4503-8008-9 |
| Publisher | ACM |
| Url | https://tubiblio.ulb.tu-darmstadt.de/id/eprint/122332 |
