Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer. Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis. In David Lo, Sven Apel, Sarfraz Khurshid, editors, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. pages 816-821, ACM, 2016. [doi]
Abstract is missing.