Search Results - Kamiya, Takuki

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    KLOVER: Automatic Test Generation for C and C++ Programs, Using Symbolic Execution

    KLOVER: Automatic Test Generation for C and C++ Programs, Using Symbolic Execution by Yoshida, Hiroaki, Guodong Li, Kamiya, Takuki, Ghosh, Indradeep, Rajan, Sreeranga, Tokumoto, Susumu, Munakata, Kazuki, Uehara, Tadahiro

    Published in IEEE software
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: