Shadow Symbolic Execution for Testing Software Patches.
Saved in:
| Title: | Shadow Symbolic Execution for Testing Software Patches. |
|---|---|
| Authors: | Kuchta, Tomasz, Palikareva, Hristina, Cadar, Cristian |
| Source: | ACM Transactions on Software Engineering & Methodology; Oct2018, Vol. 27 Issue 3, p1-32, 32p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
