S-Space

Browse

Author

Showing results 1 to 2 of 2

Issue Date	Title / Author(s) / Citation	File	Altmetrics
2015	Static analysis with Set-Closure in secrecy Lee, W.; Hong, H.; Yi, K.; Cheon, J.H. Lecture Notes in Computer Science, Vol.9291, pp.18-35
2017	Machine-Learning-Guided Selectively Unsound Static Analysis Heo, K.; Oh, H.; Yi, K. Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering, ICSE 2017, pp.519-529