Lightweight State Capturing for Automated Testing of Multithreaded Programs

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


  • Kari Kähkönen
  • Keijo Heljanko

Research units


Original languageEnglish
Title of host publicationTests and Proofs (TAP), York, UK, July 24-25, 2014
EditorsMartina Seidl, Nikolai Tillmann
Publication statusPublished - 2014
MoE publication typeA4 Article in a conference publication

    Research areas

  • automated testing, Petri nets, state matching

ID: 576048