Optimierung von JMCTest beim Testen von Inter Method Contracts
S. Mayer, Optimierung von JMCTest Beim Testen von Inter Method Contracts, Universität Paderborn, 2020.