Deriving UML-based specifications of inter-component interactions from runtime tests.

Thorsten Haendler Stefan Sobernig Mark Strembeck

Published in: SAC (2016)

Keyphrases

specification language
class diagram
conceptual models
object oriented
formal specification
requirements specification
test cases
database design
conceptual modeling
regression testing
data model
software engineering
software systems
software architecture
metamodel
component based development