Skip to content

A Generic Formal Framework for Protocol Interoperability Test and Test Cases Minimization.

Ning Zhong, Zun-wen He, Jingming Kuang

VenueA*ICSE
Year2008
ProceedingsAST@ICSE

Browse the full ICSE paper archive.