Automatic Unit-Test Generation Based on Symbolic Execution
Testing is one of the crucial stages of development. Code without proper test coverage leads to undetected defects and vulnerabilities that result in errors or exploitation of critical system components. Nevertheless, providing proper test coverage is a resource-intensive process. This paper introduces a method for aut...