Burkhart Wolff, Fatiha Zaïdi
Proceedings of the 23th International Conference on Testing Software and Systems
ICTSS, 2011.

@proceedings{ICTSS-2011,
	address       = "Paris, France",
	doi           = "10.1007/978-3-642-24580-0",
	editor        = "Burkhart Wolff and Fatiha Zaïdi",
	isbn          = "978-3-642-24579-4",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 23th International Conference on Testing Software and Systems}",
	volume        = 7019,
	year          = 2011,
}

Contents (15 items)

14 ×#testing
3 ×#using
2 ×#detection
2 ×#modelling
2 ×#random testing
2 ×#specification

ICTSS-2011-Gaudel #random testing #testing

Counting for Random Testing (MCG), pp. 1–8.

ICTSS-2011-Nunez #probability #testing

Formal Testing of Timed and Probabilistic Systems (MN), pp. 9–14.

ICTSS-2011-BochmannJW #reliability #testing #web

Improved Usage Model for Web Application Reliability Testing (GvB, GVJ, BW), pp. 15–31.

ICTSS-2011-CastillosDJT #modelling #ocl #testing #uml

Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests (KCC, FD, JJ, ST), pp. 32–47.

ICTSS-2011-CavalcantiGH #consistency #csp #distributed #testing

Conformance Relations for Distributed Testing Based on CSP (AC, MCG, RMH), pp. 48–63.

ICTSS-2011-EnderlinDGO #contract #named #php #specification #testing

Praspel: A Specification Language for Contract-Based Testing in PHP (IE, FD, AG, ABO), pp. 64–79.

ICTSS-2011-MammarCJMO #c #detection #source code #testing #using

Using Testing Techniques for Vulnerability Detection in C Programs (AM, ARC, WJ, WM, EMdO), pp. 80–96.

ICTSS-2011-MeinkeN #term rewriting #testing #using

Learning-Based Testing for Reactive Systems Using Term Rewriting Technology (KM, FN), pp. 97–114.

ICTSS-2011-FrehseLMN #aspect-oriented #monitoring #testing

Monitoring Dynamical Signals While Testing Timed Aspects of a System (GF, KGL, MM, BN), pp. 115–130.

ICTSS-2011-OlsenFT #industrial #modelling #testing

Model-Based Testing of Industrial Transformational Systems (PO, JF, JT), pp. 131–145.

ICTSS-2011-PeleskaHLLSSVZ #benchmark #concurrent #metric #realtime #testing

A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain (JP, AH, FL, HL, HS, PS, EV, CZ), pp. 146–161.

ICTSS-2011-PetrenkoY #adaptation #implementation #nondeterminism #testing

Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs (AP, NY), pp. 162–178.

ICTSS-2011-SchwarzlAW #composition #random testing #testing #using

Compositional Random Testing Using Extended Symbolic Transition Systems (CS, BKA, FW), pp. 179–194.

ICTSS-2011-ShinboH #communication #detection #empirical #mobile

An Empirical Study on Applying Anomaly Detection Technique to Detecting Software and Communication Failures in Mobile Data Communication Services (HS, TH), pp. 195–208.

ICTSS-2011-Walkinshaw #black box #specification #test coverage #testing

Assessing Test Adequacy for Black-Box Systems without Specifications (NW), pp. 209–224.