Connectors as designs: Modeling, refinement and test case generation

S. Meng, F. Arbab, B. K. Aichernig, L. Atefnoaei, F. S. de Boer, and J. Rutten

Abstract:

Reference: S. Meng, F. Arbab, B. K. Aichernig, L. Atefnoaei, F. S. de Boer, and J. Rutten. Connectors as designs: Modeling, refinement and test case generation. Sci. Comput. Program., 77(7-8):799-822, 2012.