Can I read Experience Report How Is Dynamic Symbolic Execution Different From Manual Testing A Study On KLEE on EtoBox?

Experience Report How Is Dynamic Symbolic Execution Different From Manual Testing A Study On KLEE by Drulls is a document available to read on EtoBox.

What is Experience Report How Is Dynamic Symbolic Execution Different From Manual Testing A Study On KLEE about?

This study compares Dynamic Symbolic Execution (DSE) test suites generated by KLEE with manually developed test suites, focusing on metrics such as code coverage and mutation scores. Results indicate that KLEE-based test suites achieve higher code coverage but are less effective in covering hard-to-cover code and killing hard-to-kill mutants. The research highlights the strengths and weaknesses of both testing methodologies, suggesting that KLEE can complement manual testing but does not fully replace it.

Author

Drulls

Language

EN