Can I read SYMAC: Symbolic Execution Augmented with Concurrent Coverage Criteria on EtoBox?

SYMAC: Symbolic Execution Augmented with Concurrent Coverage Criteria by Yong Zhou; Li Zhang; Haoyu Li is a scholarly article available to read on EtoBox.

What is SYMAC: Symbolic Execution Augmented with Concurrent Coverage Criteria about?

• Insert CCS text here • Insert CCS text here • Insert CCS text here Insert keyword text,Insert keyword text,Insert keyword text,Insert keyword text • Insert CCS text here • Insert CCS text here • Insert CCS text here

Author

Yong Zhou; Li Zhang; Haoyu Li

Publisher

ACM

Published

2019

Language

EN