Nelissen, GeoffreyPereira, DavidPinho, Luís Miguel2015-11-132015-11-132015http://hdl.handle.net/10400.22/6890Poster presented in 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 25 to 28, Mar, 2015, Poster Session. Porto, Portugal.Computing architectures become more and more complex and sometimes unpredictable. Verification techniques showed their limit, essentially when timing properties, available only at run-time, are involved. Testing improves the confidence but does not prove the correctness of the system in all possible situations.engother