Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff
Revised Selected Papers of the Sixth International Workshop on Formal Approaches to Testing of Software and International Workshop on Runtime Verification
FATES/RV, 2006.

@proceedings{FATES-RV-2006,
	address       = "Seattle, Washington, USA",
	editor        = "Klaus Havelund and Manuel Núñez and Grigore Rosu and Burkhart Wolff",
	isbn          = "3-540-49699-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the Sixth International Workshop on Formal Approaches to Testing of Software and International Workshop on Runtime Verification}",
	volume        = 4262,
	year          = 2006,
}

Contents (16 items)

9 ×#testing
5 ×#modelling
3 ×#generative
2 ×#aspect-oriented
2 ×#framework
2 ×#monitoring
2 ×#safety
2 ×#using

FATES-RV-2006-Grieskamp #modelling #multi #testing

Multi-paradigmatic Model-Based Testing (WG), pp. 1–19.

FATES-RV-2006-AvgustinovBHHLMOSSTV #aspect-oriented #monitoring

Aspects for Trace Monitoring (PA, EB, EH, LJH, OL, OdM, NO, DS, GS, JT, MV), pp. 20–39.

FATES-RV-2006-FrantzenTW #framework #modelling #testing

A Symbolic Framework for Model-Based Testing (LF, JT, TACW), pp. 40–54.

FATES-RV-2006-FalconeFMR #calculus #framework #network #policy #security

A Test Calculus Framework Applied to Network Security Policies (YF, JCF, LM, JLR), pp. 55–69.

FATES-RV-2006-Osch #consistency #generative #hybrid #testing

Hybrid Input-Output Conformance and Test Generation (MvO), pp. 70–84.

FATES-RV-2006-ErnitsKRV #generative #model checking #modelling #refinement #testing #using

Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement (JPE, AK, KR, JV), pp. 85–99.

FATES-RV-2006-LiD #algorithm #aspect-oriented #safety #testing #verification

Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems (CL, ZD), pp. 100–114.

FATES-RV-2006-KoopmanPA #modelling #testing #web

Model-Based Testing of Thin-Client Web Applications (PWMK, RP, PA), pp. 115–132.

FATES-RV-2006-SatpathyML #modelling #synthesis #testing

Synthesis of Scenario Based Test Cases from B Models (MS, QAM, JL), pp. 133–147.

FATES-RV-2006-KrichenT #finite #identification #problem #transducer

State-Identification Problems for Finite-State Transducers (MK, ST), pp. 148–162.

FATES-RV-2006-ArmoniKTVZ #linear #monitoring

Deterministic Dynamic Monitors for Linear-Time Assertions (RA, DK, AT, MYV, YZ), pp. 163–177.

FATES-RV-2006-FainekosP #logic #robust #specification

Robustness of Temporal Logic Specifications (GEF, GJP), pp. 178–192.

FATES-RV-2006-ElmasQT #named #using

Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets (TE, SQ, ST), pp. 193–208.

FATES-RV-2006-FlanaganF #architecture

Dynamic Architecture Extraction (CF, SNF), pp. 209–224.

FATES-RV-2006-BouquetDGJ #generative #safety #testing

Safety Property Driven Test Generation from (FB, FD, JG, JJ), pp. 225–239.

FATES-RV-2006-VeanesRC #learning #online #testing

Online Testing with Reinforcement Learning (MV, PR, CC), pp. 240–253.