Shikun Chen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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]

2 Zhoujun Li [1] [2]