Yunchao Wang, Zehui Wu, Qiang Wei, Qingxian Wang, Vol. 14, No. 9, September 30, 2020
10.3837/tiis.2020.09.018

• Bug detection
• concolic execution
• hybrid fuzzing
• Software Security

Fan Pan, Li-fa Wu, Zheng Hong, Hua-bo Li, Hai-Guang Lai, Chen-hui Zheng, Vol. 7, No. 3, March 30, 2013
10.3837/tiis.2013.03.010

• protocol reverse engineering
• protocol format extraction
• semantic inference
• concolic execution
• Intermediate Language