Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds

von Ponzio, Pablo
Veröffentlicht in FASE (24. : 2021 : Online) Fundamental approaches to software engineering (2021)

Efficient Bounded Exhaustive Input Generation from Program APIs

von Politano, Mariano
Veröffentlicht in FASE (26. : 2023 : Paris) Fundamental approaches to software engineering (2023)