[HTML] sciencedirect.com

[HTML][HTML] Testing concolic execution through consistency checks

E Coppa, A Izzillo - Journal of Systems and Software, 2024 - Elsevier
Symbolic execution is a well-known software testing technique that evaluates how a
program runs when considering a symbolic input, ie, an input that can initially assume any …
相关文章

Testing Concolic Execution Through Consistency Checks

E Coppa, A Izzillo - Available at SSRN 4461952 - papers.ssrn.com
Symbolic execution is a well-known software testing technique that evaluates how a
program run when considering a symbolic input, ie, an input that can initially assume any …