@inproceedings{ICTSS-2018-BordingHJW,
	author        = "Paul Börding and Jan Haltermann and Marie-Christine Jakobs and Heike Wehrheim",
	booktitle     = "{Proceedings of the 30th International Conference on Testing Software and Systems}",
	doi           = "10.1007/978-3-319-99927-2_4",
	isbn          = "['978-3-319-99926-5', '978-3-319-99927-2']",
	pages         = "39--55",
	publisher     = "{Springer}",
	title         = "{JMCTest: Automatically Testing Inter-Method Contracts in Java}",
	year          = 2018,
}