Showing results 1 to 3 of 3
Partition-based coverage metrics and type-guided search in concolic testing for JavaScript applications Bae, Sora; Park, Joonyoung; Ryu, Sukyoung, 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE 2017, pp.72 - 78, Institute of Electrical and Electronics Engineers Inc., 2017-05-27 |
Partition-based coverage metrics and type-guided search strategies in concolic testing for javascript applications = 자바스크립트 프로그램의 concolic 테스팅을 위한 partition-based 커버리지 매트릭스와 타입 우선 탐색 전략link Bae, Sora; 배소라; et al, 한국과학기술원, 2016 |
Towards Understanding and Reasoning about Android Interoperations Bae, Sora; Lee, Sungho; Ryu, Sukyoung, 41st IEEE/ACM International Conference on Software Engineering, ICSE 2019, pp.223 - 233, IEEE Computer Society, 2019-05-29 |
Discover