Manuel Núñez, Paul Baker, Mercedes G. Merayo
Proceedings of the 21st International Conference on Testing Software and Communicating Systems and Ninth International Workshop on Formal Approaches to Testing of Software
TestCom/FATES, 2009.

@proceedings{TestCom-FATES-2009,
	address       = "Eindhoven, The Netherlands",
	doi           = "10.1007/978-3-642-05031-2",
	editor        = "Manuel Núñez and Paul Baker and Mercedes G. Merayo",
	isbn          = "978-3-642-05030-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 21st International Conference on Testing Software and Communicating Systems and Ninth International Workshop on Formal Approaches to Testing of Software}",
	volume        = 5826,
	year          = 2009,
}

Contents (19 items)

15 ×#testing
3 ×#automation
3 ×#consistency
3 ×#generative
3 ×#using
2 ×#framework
2 ×#modelling
2 ×#theorem proving
2 ×#web

TestCom-FATES-2009-AdjirSR #realtime #testing #using

Testing Real-Time Systems Using TINA (NA, PdSS, KMR), pp. 1–15.

TestCom-FATES-2009-BentakoukPZ #distributed #framework #testing

A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems (LB, PP, FZ), pp. 16–32.

TestCom-FATES-2009-BochmannJ #petri net #testing

Testing k-Safe Petri Nets (GvB, GVJ), pp. 33–48.

TestCom-FATES-2009-BorodayPU #implementation #testing

Implementing MSC Tests with Quiescence Observation (SB, AP, AU), pp. 49–65.

TestCom-FATES-2009-El-FakihYF #fault #finite #state machine #testing

Testing Timed Finite State Machines with Guaranteed Fault Coverage (KEF, NY, HF), pp. 66–80.

TestCom-FATES-2009-GuoDW #erlang #source code #testing

Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs (QG, JD, NW), pp. 81–96.

TestCom-FATES-2009-GrieskampQWKC #constraints #interactive #smt #theorem proving

Interaction Coverage Meets Path Coverage by SMT Constraint Solving (WG, XQ, XW, NK, MBC), pp. 97–112.

TestCom-FATES-2009-MarchandDJ #automation #data access #security #testing

Automatic Testing of Access Control for Security Properties (HM, JD, TJ), pp. 113–128.

TestCom-FATES-2009-SimaoPY #generative #testing

Generating Reduced Tests for FSMs with Extra States (AdSS, AP, NY), pp. 129–145.

TestCom-FATES-2009-SubramaniamXGP #approach #proving #testing #theorem proving #using

An Approach for Test Selection for EFSMs Using a Theorem Prover (MS, LX, BG, ZP), pp. 146–162.

TestCom-FATES-2009-WangYXZGWLGZL #consistency #mobile #network #testing

TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks (ZW, XY, YX, RZ, SG, XW, SL, SG, LZ, PL), pp. 163–178.

TestCom-FATES-2009-WieczorekKRLBPS #integration #model checking #modelling #testing

Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models (SW, VK, AR, ML, JB, DP, IS), pp. 179–194.

TestCom-FATES-2009-ZeissG #consistency #nondeterminism #testing

Analyzing Response Inconsistencies in Test Suites (BZ, JG), pp. 195–210.

TestCom-FATES-2009-ErnitsRJV #modelling #testing #using #web

Model-Based Testing of Web Applications Using NModel (JPE, RR, JJ, MV), pp. 211–216.

TestCom-FATES-2009-EscobedoGGC #composition #consistency #testing #web #web service

Observability and Controllability Issues in Conformance Testing of Web Service Compositions (JPE, CG, PLG, ARC), pp. 217–222.

TestCom-FATES-2009-Gecse #automation #framework #generative #towards

Towards Automatic Generation of a Coherent TTCN-3 Template Framework (RG), pp. 223–228.

TestCom-FATES-2009-NunesHM #automation #data flow #fault tolerance #generative #named #testing

OConGraX — Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems (PRFN, SH, ACVdM), pp. 229–234.

TestCom-FATES-2009-SteinertPBLH #debugging

Debugging into Examples (BS, MP, MB, JL, RH), pp. 235–240.

TestCom-FATES-2009-Szabados #analysis #scalability

Structural Analysis of Large TTCN-3 Projects (KS), pp. 241–246.