Shikun Chen

	2011
3		Shikun Chen, Zhoujun Li, Xiaoyu Song, Mengjun Li: An Iterative Method for Generating Loop Invariants. FAW-AAIM 2011: 264-274
	2009
2		Shikun Chen, Zhoujun Li: Simplifying Buffer Overflow Detection Using Site-Safe Expressions. ACIS-ICIS 2009: 977-982
1		Shikun Chen, Zhoujun Li, Mengjun Li: Constructing Program Invariants via Solving QBF. TASE 2009: 217-221

Coauthor Index

1	Mengjun Li	[1] [3]
2	Zhoujun Li	[1] [2] [3]
3	Xiaoyu Song	[3]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page