Automatized Derivation of Comprehensive Specifications for Black-box Services
S. Schwichtenberg, in: Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 2016, pp. 815–818.