Modeling and Testing Multi-Threaded Asynchronous Systems with Creol


Modeling concurrent systems and testing multi-threaded implementations against the model is an exciting eld of study. This paper presents work done on constructing and executing test cases for an industrialsize multi-threaded application against a model written in the Creol modeling language. Models written in Creol, an object-oriented, concurrent modeling… (More)
DOI: 10.1016/j.entcs.2009.07.002

2 Figures and Tables


  • Presentations referencing similar topics