Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa
Proceedings of the 20th International Conference on Testing Software and Communicating Systems and Eighth International Workshop on Formal Approaches to Testing of Software
TestCom/FATES, 2008.

@proceedings{TestCom-FATES-2008,
	address       = "Tokyo, Japan",
	editor        = "Kenji Suzuki and Teruo Higashino and Andreas Ulrich and Toru Hasegawa",
	isbn          = "978-3-540-68514-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 20th International Conference on Testing Software and Communicating Systems and Eighth International Workshop on Formal Approaches to Testing of Software}",
	volume        = 5047,
	year          = 2008,
}

Contents (20 items)

10 ×#testing
6 ×#modelling
4 ×#generative
2 ×#analysis
2 ×#implementation
2 ×#named
2 ×#network
2 ×#realtime
2 ×#verification
2 ×#web

TestCom-FATES-2008-Yasuda #development #network

All-IP Based Ultra 3G Network/Service Development in a Competitive Market (YY), pp. 1–4.

TestCom-FATES-2008-Baker #effectiveness #modelling #question #testing

Models and Testing — A Recipe for Improved Effectiveness? (PB), pp. 5–6.

TestCom-FATES-2008-Havelund #c #runtime #source code #verification

Runtime Verification of C Programs (KH), pp. 7–22.

TestCom-FATES-2008-Kuliamin

Test Construction for Mathematical Functions (VVK), pp. 23–37.

TestCom-FATES-2008-JaaskelainenKKHMP #modelling #testing #web

Model-Based Testing Service on the Web (AJ, MK, AK, HH, MM, TP), pp. 38–53.

TestCom-FATES-2008-DangN #generative #hybrid #testing #using

Using Disparity to Enhance Test Generation for Hybrid Systems (TD, TN), pp. 54–69.

TestCom-FATES-2008-GrossmannSW #modelling

Modeling Property Based Stream Templates with TTCN-3 (JG, IS, HWW), pp. 70–85.

TestCom-FATES-2008-MerayoNR #named

THOTL: A Timed Extension of HOTL (MGM, MN, IR), pp. 86–102.

TestCom-FATES-2008-BruckerBW #consistency #modelling #testing

Model-Based Firewall Conformance Testing (ADB, LB, BW), pp. 103–118.

TestCom-FATES-2008-ShuCLLSL #framework #named #network #paradigm #security #testing

VCSTC: Virtual Cyber Security Testing Capability — An Application Oriented Paradigm for Network Infrastructure Protection (GS, DC, ZL, NL, LS, DL), pp. 119–134.

TestCom-FATES-2008-DinSP #design #implementation #multi #performance #process

Performance Test Design Process and Its Implementation Patterns for Multi-services Systems (GD, IS, RP), pp. 135–152.

TestCom-FATES-2008-SimaoP #finite #generative #sequence #state machine

Generating Checking Sequences for Partial Reduced Finite State Machines (AdSS, AP), pp. 153–168.

TestCom-FATES-2008-BochmannHJJ #automaton #partial order #testing

Testing Systems Specified as Partial Order Input/Output Automata (GvB, SH, CJ, GVJ), pp. 169–183.

TestCom-FATES-2008-FaivreGGT #refinement

Test Purpose Concretization through Symbolic Action Refinement (AF, CG, PLG, AT), pp. 184–199.

TestCom-FATES-2008-HieronsMN #architecture #distributed #implementation

Implementation Relations for the Distributed Test Architecture (RMH, MGM, MN), pp. 200–215.

TestCom-FATES-2008-GrozLPS #analysis #composition #reachability #testing #verification

Modular System Verification by Inference, Testing and Reachability Analysis (RG, KL, AP, MS), pp. 216–233.

TestCom-FATES-2008-WangH #analysis #concurrent #generative #realtime #testing

Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis (FW, GDH), pp. 234–249.

TestCom-FATES-2008-CalameP #case study #html #modelling #testing

Applying Model-Based Testing to HTML Rendering Engines — A Case Study (JRC, JvdP), pp. 250–265.

TestCom-FATES-2008-BertolinoAFP #generative #modelling #web #web service

Model-Based Generation of Testbeds for Web Services (AB, GDA, LF, AP), pp. 266–282.

TestCom-FATES-2008-SerbanescuMDSR #realtime #testing

Real-Time Testing with TTCN-3 (DAS, VM, GD, IS, IR), pp. 283–301.