acm_3088515.3088523.bib
url = {https://doi.org/10.1145/3088515.3088523}, doi = {10.1145/3088515.3088523}, abstract = { An integral part of developing a new analysis is to validate the correctness of its implementation and to d [...] useful for generic data- and control-flow analyses. This subset enables effective and efficient integration test suites. }, booktitle = {Proceedings of the 6th ACM SIGPLAN International Workshop on State …
bib, 2 KB