1. Avila, C., Flores, G., Cheon, Y.: A library-based approach to translating OCL constraints to JML assertions for runtime checking. In: International Conference on Software Engineering Research and Practice, Las Vegas, Nevada, 14–17 July, pp. 403–408 (2008)
2. Avila, C., Sarcar, A., Cheon, Y., Yeep, C.: Runtime constraint checking approaches for OCL, a critical comparison, In: International Conference on Software Engineering and Knowledge Engineering, 1–3 July, San Francisco, CA, pp. 393–398 (2010)
3. Borgida, A., Mylopoulos, J., Reiter, R.: ‘. . . and nothing else changes’: the frame problem in procedure specifications. In: Proceedings of 1993 15th International Conference on Software Engineering, pp. 303–314. IEEE (1993)
4. Bracha, G.: The Dart Programming Language. Addison-Wesley, Boston (2016)
5. Briand, L., Dzidek, W., Labiche, Y.: Instrumenting contracts with aspect-oriented programming to increase observability and support debugging. In: International Conference on Software Maintenance, Budapest, Hungary, 25–30 September, pp. 687–690. IEEE (2005)