On the Use of Dynamic Binary Instrumentation to Perform Faults Injection in Transaction Level Models | Publicación