JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking

Open Webpage

Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Yannic Noller

Published: 01 Jan 2024, Last Modified: 14 May 2025Formal Aspects Comput. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0