KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution

Hiroaki Yoshida, Guodong Li, Takuki Kamiya, Indradeep Ghosh, Sreeranga P. Rajan, Susumu Tokumoto, Kazuki Munakata, Tadahiro Uehara. KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution. IEEE Software, 34(5):30-37, 2017. [doi]

Abstract

Abstract is missing.