Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Vikram, Vasudev"'
Property-based testing (PBT), while an established technique in the software testing research community, is still relatively underused in real-world software. Pain points in writing property-based tests include implementing diverse random input gener
Externí odkaz:
http://arxiv.org/abs/2307.04346
This paper presents a coverage-guided grammar-based fuzzing technique for automatically generating a corpus of concise test inputs for programs such as compilers. We walk-through a case study of a compiler designed for education and the corresponding
Externí odkaz:
http://arxiv.org/abs/2103.04388