Conference
Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications
| Title: | Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications |
|---|---|
| Authors: | Bae, Sora, Park, Joonyoung, Ryu, Sukyoung |
| Source: | 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2017 IEEE/ACM 5th International FME Workshop on. :72-78 May, 2017 |
| Relation: | 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) |
| Database: | IEEE Xplore Digital Library |
Be the first to leave a comment!