Bibliographic Details
| 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 |