Journal article

Title:
Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking
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},
}