On the verification of architectural reconfigurations.

Alejandro Sanchez Alexandre Madeira Luís Soares Barbosa

Published in: Comput. Lang. Syst. Struct. (2015)

Keyphrases

model checking
formal verification
software architecture
face verification
signature verification
verification method
computer vision
website
case study
similarity measure
digital images
software engineering
distributed systems
test cases
test generation