Proceedings paper

Title:
Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-to and Determinacy Information
Authors:
Publication:
2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016
DOI:
Year:
2016
Link:

BibTeX:
@inproceedings{parizek_hybrid_2016,
    title = {{Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-to and Determinacy Information}},
    author = {Parízek, Pavel},
    year = {2016},
    booktitle = {{2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016}},
    publisher = {IEEE},
    doi = {10.1109/FMCAD.2016.7886672},
    pages = {141--148},
    url = {https://doi.org/10.1109/FMCAD.2016.7886672},
}