Jooyong Lee

	2010
3		Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Choe: Filtering false alarms of buffer overflow analysis using SMT solvers. Information & Software Technology 52(2): 210-219 (2010)
	2007
2		Jooyong Lee: Dynamic Reverse Code Generation for Backward Execution. Electr. Notes Theor. Comput. Sci. 174(4): 37-54 (2007)
	2006
1		Xianghua Deng, Jooyong Lee, Robby: Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. ASE 2006: 157-166

Coauthor Index

1	Kwang-Moo Choe	[3]
2	Xianghua Deng	[1]
3	Hwansoo Han	[3]
4	Youil Kim	[3]
5	Robby	[1]

Colors in the list of coauthors