• Partition-Based Coverage Metri...

Treffer: 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