Alexandre Petrenko, Andreas Ulrich
Revised Selected Papers of the Third International Workshop on Formal Approaches to Testing of Software and International Workshop on Runtime Verification
FATES, 2003.

@proceedings{FATES-2003,
	address       = "Montreal, Quebec, Canada",
	editor        = "Alexandre Petrenko and Andreas Ulrich",
	isbn          = "3-540-20894-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the Third International Workshop on Formal Approaches to Testing of Software and International Workshop on Runtime Verification}",
	volume        = 2931,
	year          = 2003,
}

Contents (18 items)

15 ×#testing
5 ×#generative
5 ×#using
3 ×#automation
2 ×#case study
2 ×#distributed
2 ×#realtime
2 ×#sequence
2 ×#towards
2 ×#uml

FATES-2003-TylerS #behaviour #black box #testing

Black-Box Testing of Grey-Box Behavior (BT, NS), pp. 1–14.

FATES-2003-SenG #on the

On Checking Whether a Predicate Definitely Holds (AS, VKG), pp. 15–29.

FATES-2003-HahnleW #proving #testing #theorem proving #using

Using a Software Testing Technique to Improve Theorem Proving (RH, AW), pp. 30–41.

FATES-2003-HeimdahlRVDG #case study #model checking #sequence #testing #using

Auto-generating Test Sequences Using Model Checkers: A Case Study (MPEH, SR, WV, GD, JG), pp. 42–59.

FATES-2003-XieN #generative #specification #testing

Mutually Enhancing Test Generation and Specification Inference (TX, DN), pp. 60–69.

FATES-2003-XuY #automation #framework #ml #named #novel #testing

JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit (G(X, ZY), pp. 70–85.

FATES-2003-BijlRT #composition #testing

Compositional Testing with ioco (MvdB, AR, JT), pp. 86–100.

FATES-2003-Aaltonen #distributed

Defining Observation Objectives for Reactive and Distributed Systems (TA), pp. 101–113.

FATES-2003-HesselLNPS #generative #realtime #testing #using

Time-Optimal Real-Time Test Case Generation Using Uppaal (AH, KGL, BN, PP, AS), pp. 114–130.

FATES-2003-KhoumsiJM #generative #nondeterminism #realtime #testing

Test Cases Generation for Nondeterministic Real-Time Systems (AK, TJ, HM), pp. 131–146.

FATES-2003-FernandezMP #generative #testing

Property Oriented Test Case Generation (JCF, LM, CP), pp. 147–163.

FATES-2003-GuoHHD #algorithm #search-based #sequence #using

Computing Unique Input/Output Sequences Using Genetic Algorithms (QG, RMH, MH, KD), pp. 164–177.

FATES-2003-HennigerLU #automation #distributed #generative #testing

Automatic Generation of Test Purposes for Testing Distributed Systems (OH, ML, HU), pp. 178–191.

FATES-2003-SungC #embedded #fault #hardware #injection #interactive #testing #using

Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation (AS, BC), pp. 192–204.

FATES-2003-BeekM #automation #consistency #internet #testing

Automatic Conformance Testing of Internet Applications (HMAvB, SM), pp. 205–222.

FATES-2003-BadriBN #approach #case study #collaboration #diagrams #formal method #process #testing #towards #uml

A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams (MB, LB, MN), pp. 223–235.

FATES-2003-Ramakrishnan #testing #uml

VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile (SR), pp. 236–251.

FATES-2003-BarnettGNSTV #modelling #testing #towards

Towards a Tool Environment for Model-Based Testing with AsmL (MB, WG, LN, WS, NT, MV), pp. 252–266.