Lightweight State Capturing for Automated Testing of Multithreaded Programs

Kari Kähkönen, Keijo Heljanko

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    4 Citations (Scopus)
    Original languageEnglish
    Title of host publicationTests and Proofs (TAP), York, UK, July 24-25, 2014
    EditorsMartina Seidl, Nikolai Tillmann
    ISBN (Electronic)978-3-319-09099-3
    Publication statusPublished - 2014
    MoE publication typeA4 Article in a conference publication


    • automated testing
    • Petri nets
    • state matching

    Cite this