Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study

von Amadini, Roberto
Veröffentlicht in LOPSTR (30. : 2020 : Online) Logic-based program synthesis and transformation (2021)

Lightweight Nontermination Inference with CHCs

von Kafle, Bishoksan
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

String Constraint Solving: Past, Present and Future

von Amadini, Roberto
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 4 (2020)

Disjunctive Interval Analysis

von Gange, Graeme
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)