AUTOMATED SOFTWARE ENGINEERING

Research outputs

  1. 2015
  2. Published

    Unfolding based automated testing of multithreaded programs

    Kahkonen, K., Saarikivi, O. & Heljanko, K., 2015, In : AUTOMATED SOFTWARE ENGINEERING. 22, 4, p. 475-515

    Research output: Contribution to journalArticleScientificpeer-review

ID: 187482