Connectors as designs: Modeling, refinement and test case generation

Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten. Connectors as designs: Modeling, refinement and test case generation. Science of Computer Programming, 77(7-8):799-822, 2012. [doi]

Authors

Sun Meng

This author has not been identified. Look up 'Sun Meng' in Google

Farhad Arbab

This author has not been identified. Look up 'Farhad Arbab' in Google

Bernhard K. Aichernig

This author has not been identified. Look up 'Bernhard K. Aichernig' in Google

Lacramioara Astefanoaei

This author has not been identified. Look up 'Lacramioara Astefanoaei' in Google

Frank S. de Boer

This author has not been identified. It may be one of the following persons: Look up 'Frank S. de Boer' in Google

Jan J. M. M. Rutten

This author has not been identified. Look up 'Jan J. M. M. Rutten' in Google