Formal approaches to software testing. 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004. Revised selected papers. (Q2388723)

The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 1031.68051). Indexed articles: \textit{Frantzen, Lars; Tretmans, Jan; Willemse, Tim A. C.}, Test generation based on symbolic specifications, 1-15 [Zbl 1081.68570] \textit{Brucker, Achim D.; Wolff, Burkhart}, Symbolic test case generation for primitive recursive functions, 16-32 [Zbl 1081.68672] \textit{de Frutos Escrig, David; Rodróguez, Carlos Gregorio}, Preserving contexts for soft conformance relation, 33-48 [Zbl 1081.68658] \textit{López, Natalia; Núñez, Manuel; Rodríguez, Ismael}, Testing of symbolic-probabilistic systems, 49-63 [Zbl 1081.68575] \textit{Briones, Laura Brandán; Brinksma, Ed}, A test generation framework for quiescent real-time systems, 64-78 [Zbl 1081.68569] \textit{Larsen, Kim G.; Mikucionis, Marius; Nielsen, Brian}, Online testing of real-time systems using Uppaal, 79-94 [Zbl 1081.68574] \textit{Bordbar, Behzad; Okano, Kozo}, Testing deadlock-freeness in real-time systems: A formal approach, 95-109 [Zbl 1081.68567] \textit{Hong, Hyoung Seok; Ural, Hasan}, Using model checking for reducing the cost of test generation, 110-124 [Zbl 1081.68571] \textit{Blom, Johan; Hessel, Anders; Jonsson, Bengt; Pettersson, Paul}, Specifying and generating test cases using observer automata, 125-139 [Zbl 1081.68566] \textit{Arts, Thomas; Claessen, Koen; Svensson, Hans}, Semi-formal development of a fault-tolerant leader election protocol in Erlang, 140-154 [Zbl 1081.68565] \textit{Xie, Gaoyan; Dang, Zhe}, An automata-theoretic approach for model-checking systems with unspecified components, 155-169 [Zbl 1081.68638] \textit{Vouffo-Feudjio, Alain; Schieferdecker, Ina}, Test patterns with TTCN-3, 170-179 [Zbl 1081.68578] \textit{Wu-Hen-Chang, Antal; Le Viet, Dung; Batori, Gabor; Gecse, Roland; Csopaki, Gyula}, High-level restructuring of TTCN-3 test data, 180-194 [Zbl 1081.68579] \textit{Kapoor, Kalpesh; Bowen, Jonathan P.}, Ordering mutants to minimise test effort in mutation testing, 195-209 [Zbl 1081.68573] \textit{Yoon, Hoijin; Kim, Eunhee; Seo, Joo Young; Choi, Byoungju}, Testing COM components using software fault injection and mutation analysis, and its empirical study, 210-224 [Zbl 1081.68580]