Synthesizing test models from test cases

  • Antti Valmari (Speaker)

    Activity: Talk or presentation › Conference presentation

    Period2008
    Event titleHardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. LNCS
    Event typeConference

    Country of activity

    • Israel

    Publication forum classification

    • Publication forum level 1