Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp
Proceedings of the 19th International Conference on Testing Software and Communicating Systems and Seventh International Workshop on Formal Approaches to Testing of Software
TestCom/FATES, 2007.

@proceedings{TestCom-FATES-2007,
	address       = "Tallinn, Estonia",
	editor        = "Alexandre Petrenko and Margus Veanes and Jan Tretmans and Wolfgang Grieskamp",
	isbn          = "978-3-540-73065-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 19th International Conference on Testing Software and Communicating Systems and Seventh International Workshop on Formal Approaches to Testing of Software}",
	volume        = 4581,
	year          = 2007,
}

Contents (25 items)

21 ×#testing
4 ×#automation
4 ×#component
4 ×#framework
4 ×#modelling
3 ×#generative
2 ×#approach
2 ×#detection
2 ×#fault
2 ×#finite

TestCom-FATES-2007-Huima #implementation

Implementing Conformiq Qtronic (AH), pp. 1–12.

TestCom-FATES-2007-BenharrefDSEG #approach #testing #web #web service

New Approach for EFSM-Based Passive Testing of Web Services (AB, RD, MAS, AEN, RHG), pp. 13–27.

TestCom-FATES-2007-CebrianRC #automation #testing

Automation of Avionic Systems Testing (DC, VVR, FC), pp. 28–40.

TestCom-FATES-2007-ConstantJJ #automation #generative #interprocedural #specification #testing

Automatic Test Generation from Interprocedural Specifications (CC, BJ, TJ), pp. 41–57.

TestCom-FATES-2007-DesmoulinV #generative #testing

A New Method for Interoperability Test Generation (AD, CV), pp. 58–73.

TestCom-FATES-2007-EldhPHJ #case study #component #fault #middleware #testing

Component Testing Is Not Enough — A Study of Software Faults in Telecom Middleware (SE, SP, HH, PJ), pp. 74–89.

TestCom-FATES-2007-FaivreGG #component #modelling #testing

Symbolic Model Based Testing for Component Oriented Systems (AF, CG, PLG), pp. 90–106.

TestCom-FATES-2007-FalconeFMR #composition #framework #specification #testing

A Compositional Testing Framework Driven by Partial Specifications (YF, JCF, LM, JLR), pp. 107–122.

TestCom-FATES-2007-GrepetM #ad hoc #protocol #self

Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols (CG, SM), pp. 123–137.

TestCom-FATES-2007-GromovW #model checking #testing

Testing and Model-Checking Techniques for Diagnosis (MG, TACW), pp. 138–154.

TestCom-FATES-2007-GonczyHV #component #framework #modelling #testing

Model-Based Testing of Service Infrastructure Components (LG, RH, DV), pp. 155–170.

TestCom-FATES-2007-HaarJJ #automaton #partial order #testing

Testing Input/Output Partial Order Automata (SH, CJ, GVJ), pp. 171–185.

TestCom-FATES-2007-HorvathS #framework #implementation #testing

A Framework for Testing AIS Implementations (TH, TS), pp. 186–198.

TestCom-FATES-2007-KawakamiKRBPSS #automation #framework #mobile #object-oriented #reuse #testing

An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones (LK, AK, DR, DB, OP, RPeS, LCVdS), pp. 199–211.

TestCom-FATES-2007-LuukkalaO #embedded #modelling #protocol #testing

Model Based Testing of an Embedded Session and Transport Protocol (VL, IO), pp. 212–227.

TestCom-FATES-2007-NeukirchenB #detection #problem #quality #smell #testing

Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites (HN, MB), pp. 228–243.

TestCom-FATES-2007-PapSKN #algorithm #bound #finite #generative #incremental #state machine #testing

A Bounded Incremental Test Generation Algorithm for Finite State Machines (ZP, MS, GK, GÁN), pp. 244–259.

TestCom-FATES-2007-PlesowiczM #automation #communication #testing

Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control (PP, MM), pp. 260–275.

TestCom-FATES-2007-SchmerlK #testing #towards

Towards Systematic Signature Testing (SS, HK), pp. 276–291.

TestCom-FATES-2007-SchulzWR

TPLan-A Notation for Expressing Test Purposes (SS, AW, SR), pp. 292–304.

TestCom-FATES-2007-ShabaldinaEY #finite #nondeterminism #state machine #testing

Testing Nondeterministic Finite State Machines with Respect to the Separability Relation (NS, KEF, NY), pp. 305–318.

TestCom-FATES-2007-ShahbazLG #component #integration #learning #testing

Learning and Integration of Parameterized Components Through Testing (MS, KL, RG), pp. 319–334.

TestCom-FATES-2007-UralX #approach #detection #fault

An EFSM-Based Passive Fault Detection Approach (HU, ZX), pp. 335–350.

TestCom-FATES-2007-VegaSD #quality #testing

Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3 (DV, IS, GD), pp. 351–364.

TestCom-FATES-2007-ZelenovZ #compilation #modelling #optimisation #testing

Model-Based Testing of Optimizing Compilers (SVZ, SAZ), pp. 365–377.