Unfolding based automated testing of multithreaded programs

Kari Kahkonen, Olli Saarikivi, Keijo Heljanko

Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

10 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Sivut	475-515
Julkaisu	AUTOMATED SOFTWARE ENGINEERING
Vuosikerta	22
Numero	4
DOI - pysyväislinkit	https://doi.org/10.1007/s10515-014-0150-6
Tila	Julkaistu - 2015
OKM-julkaisutyyppi	A1 Julkaistu artikkeli, soviteltu

Pääsy asiakirjaan

@article{6a0c6aa396aa4280bdb2f89a95d6894a,

title = "Unfolding based automated testing of multithreaded programs",

author = "Kari Kahkonen and Olli Saarikivi and Keijo Heljanko",

note = "VK: Heljanko, K.",

year = "2015",

doi = "10.1007/s10515-014-0150-6",

language = "English",

volume = "22",

pages = "475--515",

journal = "AUTOMATED SOFTWARE ENGINEERING",

issn = "0928-8910",

publisher = "SPRINGER",

number = "4",

}

TY - JOUR

T1 - Unfolding based automated testing of multithreaded programs

AU - Kahkonen, Kari

AU - Saarikivi, Olli

AU - Heljanko, Keijo

N1 - VK: Heljanko, K.

PY - 2015

Y1 - 2015

U2 - 10.1007/s10515-014-0150-6

DO - 10.1007/s10515-014-0150-6

M3 - Article

VL - 22

SP - 475

EP - 515

JO - AUTOMATED SOFTWARE ENGINEERING

JF - AUTOMATED SOFTWARE ENGINEERING

SN - 0928-8910

IS - 4

ER -