Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications | IEEE Conference Publication | IEEE Xplore