@software{mihai_herda_2019_3334532, author = {Mihai Herda and Shmuel Tyszberowicz and Joachim Müssig and Bernhard Beckert}, title = {{Implementation of the Approach for Automatic Test Generation for Information-Flow Properties}}, month = jul, year = 2019, publisher = {Zenodo}, version = 1, doi = {10.5281/zenodo.3334532}, url = {https://doi.org/10.5281/zenodo.3334532} }