Үүнийг мессежээр илгээх: Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers / Klaus Havelund ... [and others] (eds.).