JMLKelinci

Using a guided fuzzer and preconditions to achieve branch coverage with valid inputs

A Nilizadeh, GT Leavens, CS Păsăreanu - International Conference on …, 2021 - Springer
Software is widely used in critical systems. Thus, it is important that developers can quickly
find semantic bugs with testing; however, semantic bugs can only be revealed by tests that …
Save Cite Cited by 11 Related articles All 4 versionsFree GPT-4
[Free GPT-4]
[PDF] ucf.edu

Test Overfitting in Automated Program Repair: Measurements and Approaches Using Formal Methods

A Nilizadeh - 2021 - stars.library.ucf.edu
Bugs exist in software systems; unfortunately, manually finding bugs and repairing them is
complex, time-consuming, and expensive. Automated Program Repair (APR) techniques …
Save Cite Related articles View as HTML