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 (Q1422107)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: 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 |
scientific article; zbMATH DE number 2038321
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 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 |
scientific article; zbMATH DE number 2038321 |
Statements
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 (English)
0 references
5 February 2004
0 references
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]
0 references
