A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder

Journal article

Title:

Authors:

K. Storey, E. Mercer, P. Parízek

Publication:

ACM SIGSOFT Software Engineering Notes 44 (4)

DOI:

10.1145/3364452.3364457

Year:

2019

Link:

https://doi.org/10.1145/3364452.3364457

BibTeX:

@article{storey_sound_2019,
    title = {{A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder}},
    author = {Storey, Kyle and Mercer, Eric and Parízek, Pavel},
    year = {2019},
    journal = {{ACM SIGSOFT Software Engineering Notes}},
    number = {4},
    doi = {10.1145/3364452.3364457},
    issn = {0163-5948},
    url = {https://doi.org/10.1145/3364452.3364457},
    volume = {44},
}