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
type: Item
instance of: scholarly article
title: 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
zbMATH Open document ID: 1031.68051
published in: Lecture Notes in Computer Science
publication date: 2004-02-05T00:00:00Z
full work available at URL: t2931.htm
review text: 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]
Mathematics Subject Classification ID: 68N99
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 2038321
describes a project that uses: AsmL
describes a project that uses: Uppaal
MaRDI profile type: Publication
OpenAlex ID: W2765906234
DOI: 10.1007/B95400
description: scientific article; zbMATH DE number 2038321