Proceedings paper

Title:
Endicheck: Dynamic Analysis for Detecting Endianness Bugs
Authors:
R. Kápl, P. Parízek
Publication:
Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020)
DOI:
10.1007/978-3-030-45237-7_15
Year:
2020
Link:
https://doi.org/10.1007/978-3-030-45237-7_15

BibTeX:
@inproceedings{kapl_endicheck_2020,
    title = {{Endicheck: Dynamic Analysis for Detecting Endianness Bugs}},
    author = {Kápl, Roman and Parízek, Pavel},
    year = {2020},
    booktitle = {{Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020)}},
    publisher = {Springer},
    doi = {10.1007/978-3-030-45237-7_15},
    pages = {254--270},
    url = {https://doi.org/10.1007/978-3-030-45237-7_15},
}