Boosting concolic testing via interpolation
10.1145/2491411.2491425
Saved in:
Main Authors: | Jaffar, J., Murali, V., Navas, J.A. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2014
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/78046 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Symbolic Execution for Advanced Program Reasoning
by: VIJAYARAGHAVAN MURALI
Published: (2014) -
Control Flow Obfuscation using Neural Network to Fight Concolic Testing
by: Ma, Haoyu, et al.
Published: (2014) -
Interpolation Methods for Symbolic Execution
by: CHU DUC HIEP
Published: (2013) -
Towards concolic testing for hybrid systems
by: KONG, Pingfan, et al.
Published: (2016) -
Test generation to expose changes in evolving programs
by: Qi, D., et al.
Published: (2013)