Verification of Architectural Constraints on Sequences of Method Invocations. - Stuart Siroky; Rodion M. Podorozhny; Guowei Yang 001 (ACM SIGSOFT Softw. Eng. Notes, 2015)