Automatized derivation of comprehensive specifications for black-box services.

Simon Schwichtenberg, Gregor Engels

Browse the full ICSE paper archive.