Efficient handling of string-number conversion PA Abdulla, MF Atig, YF Chen, BP Diep, J Dolby, P Janků, HH Lin, L Holík, ... Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 36 | 2020 |
Fine-grained coverage-based fuzzing WC Wu, B Nongpoh, M Nour, M Marcozzi, S Bardin, C Hauser ACM Transactions on Software Engineering and Methodology, 2023 | 4 | 2023 |
Perfume: Programmatic extraction and refinement for usability of mathematical expression N Weideman, VK Felkner, WC Wu, J May, C Hauser, L Garcia Proceedings of the 2021 Research on offensive and defensive techniques in …, 2021 | 3 | 2021 |
PyCT: A Python Concolic Tester YF Chen, WL Tsai, WC Wu, DD Yen, F Yu Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago …, 2021 | 2 | 2021 |
Harm-DoS: Hash Algorithm Replacement for Mitigating Denial-of-Service Vulnerabilities in Binary Executables N Weideman, H Wang, T Kann, S Zahabizadeh, WC Wu, R Tandon, ... Proceedings of the 25th International Symposium on Research in Attacks …, 2022 | 1 | 2022 |
Fine-Grained Coverage-Based Fuzzing-RCR Report WC Wu, B Nongpoh, M Nour, M Marcozzi, S Bardin, C Hauser ACM Transactions on Software Engineering and Methodology, 2024 | | 2024 |
J-ReCoVer: Java Reducer Commutativity Verifier YF Chen, CY Chiang, L Holík, WT Kao, HH Lin, T Vojnar, YF Wen, WC Wu Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa …, 2019 | | 2019 |