M Dhok, MK Ramanathan… - 2016 IEEE/ACM 38th …, 2016 - ieeexplore.ieee.org
Conventional concolic testing has been used to provide high coverage of paths in statically
typed languages. While it has also been applied in the context of JavaScript (JS) programs …