3. FATES 2003:
Montreal, Quebec, Canada
: Defining Observation Objectives for Reactive and Distributed Systems.
, Byoungju Choi
: Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation.
: VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile.