Test-case reduction

[Google Scholar]

Notes: fuzz testing
Papers: maciver:ecoop:2020, regehr:pldi:2012, groce:issta:2017

Instead of focusing on reduction, groce:issta:2017 focused on test-case normalization.


Unit tests