Automatized derivation of comprehensive specifications for black-box services.

Simon Schwichtenberg Gregor Engels

Published in: ICSE (Companion Volume) (2016)

Keyphrases

black box
black boxes
white box
service oriented
service providers
web services
white box testing
state transition
hybrid systems
end users
rule extraction
neural network
information services
life cycle
context aware
service composition
service oriented architecture
formal specification
high level