Journal article

Title:
Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking
Authors:
Pavel Parízek, Ondřej Lhoták
Publication:
International Journal on Software Tools for Technology Transfer 2018 (0)
DOI:
Year:
2018
Link:

BibTeX:
@article{parizek_fast_2018,
    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 = {2018},
    journal = {{International Journal on Software Tools for Technology Transfer}},
    number = {0},
    doi = {10.1007/s10009-018-0484-7},
    issn = {1433-2779},
    url = {https://link.springer.com/article/10.1007/s10009-018-0484-7},
    volume = {2018},
}