Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking

Journal article

Title:

Authors:

P. Parízek, O. Lhoták

Publication:

International Journal on Software Tools for Technology Transfer 21 (4)

DOI:

10.1007/s10009-018-0484-7

Year:

2019

Link:

https://link.springer.com/article/10.1007/s10009-018-0484-7

BibTeX:

@article{parizek_fast_2019,
    title = {{Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking}},
    author = {Parízek, Pavel and Lhoták, Ondřej},
    year = {2019},
    journal = {{International Journal on Software Tools for Technology Transfer}},
    number = {4},
    doi = {10.1007/s10009-018-0484-7},
    issn = {1433-2779},
    pages = {365--400},
    url = {https://link.springer.com/article/10.1007/s10009-018-0484-7},
    volume = {21},
}