Wolfgang Grieskamp, Carsten Weise
Revised Selected Papers of the Fifth International Workshop on Formal Approaches to Testing of Software
FATES, 2005.

@proceedings{FATES-2005,
	address       = "Edinburgh, Scotland, United Kingdom",
	editor        = "Wolfgang Grieskamp and Carsten Weise",
	isbn          = "3-540-34454-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the Fifth International Workshop on Formal Approaches to Testing of Software}",
	volume        = 3997,
	year          = 2005,
}

Contents (14 items)

11 ×#testing
2 ×#consistency

FATES-2005-BlomIPRS #testing

Simulated Time for Testing Railway Interlockings with TTCN-3 (SB, NI, JvdP, AR, NS), pp. 1–15.

FATES-2005-KervinenMPK #modelling #testing #user interface

Model-Based Testing Through a GUI (AK, MM, TP, MK), pp. 16–31.

FATES-2005-BlassGNV #game studies

Play to Test (AB, YG, LN, MV), pp. 32–46.

FATES-2005-Huima #black box #testing

A Note on an Anomaly in Black-Box Testing (AH), pp. 47–61.

FATES-2005-TasiranEBK #component #metric #novel #test coverage

A Novel Test Coverage Metric for Concurrently-Accessed Software Components (ST, TE, GB, MEK), pp. 62–71.

FATES-2005-Mayer #adaptation #locality #random testing #testing

Adaptive Random Testing by Bisection and Localization (JM), pp. 72–86.

FATES-2005-BruckerW #higher-order #interactive #testing

Interactive Testing with HOL-TestGen (ADB, BW), pp. 87–102.

FATES-2005-NunezR #consistency #testing

Conformance Testing Relations for Timed Systems (MN, IR), pp. 103–117.

FATES-2005-PetrenkoY #automaton #consistency #nondeterminism #testing

Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (AP, NY), pp. 118–133.

FATES-2005-JurdzinskiPQ #realtime #testing

Calculating Probabilities of Real-Time Test Cases (MJ, DP, HQ), pp. 134–151.

FATES-2005-PeledQ #partial order

Time Unbalanced Partial Order (DP, HQ), pp. 152–169.

FATES-2005-XieD #approach #concurrent #testing

Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach (GX, ZD), pp. 170–186.

FATES-2005-ZelenovZ #automation #generative #parsing #testing

Automated Generation of Positive and Negative Tests for Parsers (SVZ, SAZ), pp. 187–202.

FATES-2005-AiguierABGM #algebra #axiom #specification #testing

Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (MA, AA, CB, PLG, BM), pp. 203–217.