- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- 【Updated on June 30, 2025】Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
How we get there: a context-guided search strategy in concolic testing
-
- Hyunmin Seo
- Hong Kong University of Science and Technology, China
-
- Sunghun Kim
- Hong Kong University of Science and Technology, China
Journal
-
- Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering
-
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering 413-424, 2014-11-11
ACM