Person: Yuan Jochen Kang
DBLP: Kang:Yuan_Jochen
Contributed to:
Wrote 1 papers:
- ASE-2016-KangRJ #api #automation #c #fault #named #specification
- APEx: automated inference of error specifications for C APIs (YJK, BR, SJ), pp. 472–482.