Synthesizing test models from test cases

Mika Esaias Katara (Speaker)

    Activity: Talk or presentationConference 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

    Publication forum classification

    • Publication forum level 1

    Country of activity

    • Israel