Browse "CS-Conference Papers(학술회의논문)" by Author Bae, Sora

Showing results 1 to 2 of 2

1
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

2
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

rss_1.0 rss_2.0 atom_1.0