, Listing 1.1: Execution trace produced by an erroneous implementation 1 TRACE log policy : filter.logger (raw in pe) entering push 2 TRACE log policy : filter.logger (norm out pe) calling push 3 TRACE log policy : filter.logger (norm out pe) returning from push 4 TRACE log policy : filter.logger (raw out pe) calling push 5 TRACE log policy : filter.logger (raw out pe) returning from push 6 TRACE log policy : filter.logger (deviation pe) calling push 7 TRACE log policy : filter.logger (deviation pe) returning from push 8 TRACE log policy : filter.logger (raw in pe) exiting push References 1. Eclipse format modeling project

, The agile manifesto, 2001.

, Unified Modeling Language, version 2.5, vol.1, 2017.

, Unified Component Model for Distributed, Real-Time And Embedded Systems

B. Bakker, Log for c++ project

B. Bannour, J. P. Escobedo, C. Gaston, and P. Le-gall, Off-line test case generation for timed symbolic model-based conformance testing, Testing Software and Systems. ICTSS 2012, p.7641, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01482398

I. Crnkovic, S. Sentilles, A. Vulgarakis, and M. R. Chaudron, A classification framework for software component models, IEEE Trans. Software Eng, vol.37, issue.5, pp.593-615, 2011.

C. A. Szyperski, D. Gruntz, and S. Murer, Component software -beyond objectoriented programming, 2002.

. Sigil-ucm,

M. Utting, B. Legeard, F. Bouquet, E. Fourneret, F. Peureux et al., Recent advances in model-based testing, Advances in Computers, vol.101, pp.53-120, 2016.