FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation (Competition Contribution)

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