Testing Programs with Contextual Unfoldings

Kari Kähkönen; Keijo Heljanko

doi:10.1145/2810000

Testing Programs with Contextual Unfoldings

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Article number	23
Journal	ACM Transactions on Embedded Computing Systems
Volume	17
Issue number	1
Pages (from-to)	1-25
Number of pages	25
ISSN	1539-9087
DOIs	https://doi.org/10.1145/2810000 https://doi.org/10.1145/2810000
Publication status	Published - Jan 2018
Externally published	Yes
MoE publication type	A1 Journal article-refereed

Fields of Science

testing
contextual unfoldings
dynamic symbolic execution

Access to Document

Cite this

@article{11fb239831664c1b948247a45bd65672,

title = "Testing Programs with Contextual Unfoldings",

keywords = "testing, contextual unfoldings, dynamic symbolic execution, testing, contextual unfoldings, dynamic symbolic execution, testing, contextual unfoldings, dynamic symbolic execution",

author = "Kari K{\"a}hk{\"o}nen and Keijo Heljanko",

year = "2018",

month = jan,

doi = "10.1145/2810000",

language = "English",

volume = "17",

pages = "1--25",

journal = "ACM Transactions on Embedded Computing Systems",

issn = "1539-9087",

publisher = "ASSOC COMPUTING MACHINERY",

number = "1",

}

TY - JOUR

T1 - Testing Programs with Contextual Unfoldings

AU - Kähkönen, Kari

AU - Heljanko, Keijo

PY - 2018/1

Y1 - 2018/1

KW - testing

KW - contextual unfoldings

KW - dynamic symbolic execution

KW - testing

KW - contextual unfoldings

KW - dynamic symbolic execution

KW - testing

KW - contextual unfoldings

KW - dynamic symbolic execution

U2 - 10.1145/2810000

DO - 10.1145/2810000

M3 - Article

VL - 17

SP - 1

EP - 25

JO - ACM Transactions on Embedded Computing Systems

JF - ACM Transactions on Embedded Computing Systems

SN - 1539-9087

IS - 1

M1 - 23

ER -