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 (IEEE Softw., 2017)