Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer. Inferring visual contracts from Java programs. Automated Software Engineering, 25(4):745-784, 2018. [doi]
@article{AlshanqitiHK18,
title = {Inferring visual contracts from Java programs},
author = {Abdullah M. Alshanqiti and Reiko Heckel and Timo Kehrer},
year = {2018},
doi = {10.1007/s10515-018-0242-9},
url = {https://doi.org/10.1007/s10515-018-0242-9},
researchr = {https://researchr.org/publication/AlshanqitiHK18},
cites = {0},
citedby = {0},
journal = {Automated Software Engineering},
volume = {25},
number = {4},
pages = {745-784},
}