Jens Grabowski, Brian Nielsen
Revised Selected Papers of the Fourth International Workshop on Formal Approaches to Testing of Software and International Workshop on Runtime Verification
FATES, 2004.

@proceedings{FATES-2004,
	address       = "Linz, Austria",
	editor        = "Jens Grabowski and Brian Nielsen",
	isbn          = "3-540-25109-X",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the Fourth International Workshop on Formal Approaches to Testing of Software and International Workshop on Runtime Verification}",
	volume        = 3395,
	year          = 2004,
}

Contents (15 items)

11 ×#testing
5 ×#generative
4 ×#using
3 ×#realtime
2 ×#approach
2 ×#component
2 ×#model checking
2 ×#mutation testing
2 ×#specification

FATES-2004-FrantzenTW #generative #specification #testing

Test Generation Based on Symbolic Specifications (LF, JT, TACW), pp. 1–15.

FATES-2004-BruckerW #generative #recursion #testing

Symbolic Test Case Generation for Primitive Recursive Functions (ADB, BW), pp. 16–32.

FATES-2004-Frutos-EscrigG #consistency

Preserving Contexts for Soft Conformance Relation (DdFE, CGR), pp. 33–48.

FATES-2004-LopezNR #testing

Testing of Symbolic-Probabilistic Systems (NL, MN, IR), pp. 49–63.

FATES-2004-BrionesB #framework #generative #realtime #testing

A Test Generation Framework for quiescent Real-Time Systems (LBB, EB), pp. 64–78.

FATES-2004-LarsenMN #online #realtime #testing #using

Online Testing of Real-time Systems Using Uppaal (KGL, MM, BN), pp. 79–94.

FATES-2004-BordbarO #approach #formal method #realtime #testing

Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach (BB, KO), pp. 95–109.

FATES-2004-HongU #cost analysis #generative #model checking #testing #using

Using Model Checking for Reducing the Cost of Test Generation (HSH, HU), pp. 110–124.

FATES-2004-BlomHJP #automaton #generative #specification #testing #using

Specifying and Generating Test Cases Using Observer Automata (JB, AH, BJ, PP), pp. 125–139.

FATES-2004-ArtsCS #development #erlang #fault tolerance #protocol

Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang (TA, KC, HS), pp. 140–154.

FATES-2004-XieD #approach #component #model checking

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components (GX, ZD), pp. 155–169.

FATES-2004-Vouffo-FeudjioS

Test Patterns with TTCN-3 (AVF, IS), pp. 170–179.

FATES-2004-Wu-Hen-ChangVBGC #testing

High-Level Restructuring of TTCN-3 Test Data (AWHC, DLV, GB, RG, GC), pp. 180–194.

FATES-2004-KapoorB #mutation testing #testing

Ordering Mutants to Minimise Test Effort in Mutation Testing (KK, JPB), pp. 195–209.

FATES-2004-YoonKSC #analysis #component #empirical #fault #injection #mutation testing #testing #using

Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study (HY, EK, JS, BC), pp. 210–224.