Formal approaches to software testing. Third international workshop on formal approaches to testing of software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised papers
The articles of this volume will be reviewed individually. Indexed articles: \textit{Tyler, Benjamin; Soundarajan, Neelam}, Black-box testing of grey-box behavior., 1-14 [Zbl 1185.68268] \textit{Sen, Alper; Garg, Vijay K.}, On checking whether a predicate definitely holds., 15-29 [Zbl 1185.68233] \textit{Hähnle, Reiner; Wallenburg, Angela}, Using a software testing technique to improve theorem proving., 30-41 [Zbl 1185.68623] \textit{van der Bijl, Machiel; Rensink, Arend; Tretmans, Jan}, Compositional testing with \textsc{ioco}., 86-100 [Zbl 1185.68234] \textit{Aaltonen, Timo}, Defining observation objectives for reactive and distributed systems., 101-113 [Zbl 1185.68235] \textit{Hessel, Anders; Larsen, Kim G.; Nielsen, Brian; Pettersson, Paul; Skou, Arne}, Time-optimal real-time test case generation using Uppaal., 114-130 [Zbl 1185.68248] \textit{Khoumsi, Ahmed; Jéron, Thierry; Marchand, Hervé}, Test cases generation for nondeterministic real-time systems., 131-146 [Zbl 1185.68415] \textit{Fernandez, Jean-Claude; Mounier, Laurent; Pachon, Cyril}, Property oriented test case generation., 147-163 [Zbl 1185.68243] \textit{Guo, Qiang; Hierons, Robert M.; Harman, Mark; Derderian, Karnig}, Computing unique input/output sequences using genetic algorithms., 164-177 [Zbl 1185.68247] \textit{Henniger, Olaf; Lu, Miao; Ural, Hasan}, Automatic generation of test purposes for testing distributed systems., 178-191 [Zbl 1185.68076] \textit{van Beek, Harm M. A.; Mauw, Sjouke}, Automatic conformance testing of internet applications., 205-222 [Zbl 1185.68069]
scientific article; zbMATH DE number 2038321