Brian Nielsen, Carsten Weise
Proceedings of the 24th International Conference on Testing Software and Systems
ICTSS, 2012.

@proceedings{ICTSS-2012,
	address       = "Aalborg, Denmark",
	doi           = "10.1007/978-3-642-34691-0",
	editor        = "Brian Nielsen and Carsten Weise",
	isbn          = "978-3-642-34690-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 24th International Conference on Testing Software and Systems}",
	volume        = 7641,
	year          = 2012,
}

Contents (18 items)

12 ×#testing
3 ×#performance
2 ×#adaptation
2 ×#automation
2 ×#distributed
2 ×#modelling
2 ×#protocol
2 ×#using

ICTSS-2012-Havelund #analysis

Requirements-Driven Log Analysis (KH), pp. 1–4.

ICTSS-2012-Vaandrager #finite #learning #state machine

Active Learning of Extended Finite State Machines (FWV), pp. 5–7.

ICTSS-2012-BrauerPS #modelling #performance #testing #tool support

Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools (JB, JP, US), pp. 8–23.

ICTSS-2012-HervieuBG #execution #experience #industrial #testing #variability

Managing Execution Environment Variability during Software Testing: An Industrial Experience (AH, BB, AG), pp. 24–38.

ICTSS-2012-JohansenHFCEW #agile #automation #interactive #product line #testing

A Technique for Agile and Automatic Interaction Testing for Product Lines (MFJ, ØH, FF, EC, JE, TW), pp. 39–54.

ICTSS-2012-MayerSWM #framework #named #performance #testing

CaPTIF: Comprehensive Performance TestIng Framework (DAM, OS, SW, UM), pp. 55–70.

ICTSS-2012-LahamiFKJ #adaptation #distributed #runtime #testing #towards

Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems (ML, FF, MK, MJ), pp. 71–86.

ICTSS-2012-ChenV #protocol #testing

Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol (NC, CV), pp. 87–102.

ICTSS-2012-LahamiKBJ #adaptation #architecture #design #distributed #problem #using

Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems (ML, MK, MB, MJ), pp. 103–118.

ICTSS-2012-BannourEGG #consistency #generative #modelling #testing

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing (BB, JPE, CG, PLG), pp. 119–135.

ICTSS-2012-YangHF #embedded #logic #parametricity #query

Querying Parametric Temporal Logic Properties on Embedded Systems (HY, BH, GEF), pp. 136–151.

ICTSS-2012-DangS #estimation #hybrid #testing

State Estimation and Property-Guided Exploration for Hybrid Systems Testing (TD, NS), pp. 152–167.

ICTSS-2012-GargantiniGM #robust #test coverage

Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes (AG, MG, EM), pp. 168–183.

ICTSS-2012-TaylorHBD #behaviour #testing #using

Using Behaviour Inference to Optimise Regression Test Sets (RT, MH, KB, JD), pp. 184–199.

ICTSS-2012-StrugS #approach #machine learning #mutation testing #testing

Machine Learning Approach in Mutation Testing (JS, BS), pp. 200–214.

ICTSS-2012-SantosA #automation #detection #fault #lightweight #monitoring

Lightweight Automatic Error Detection by Monitoring Collar Variables (JS, RA), pp. 215–230.

ICTSS-2012-HiromoriUYH #evaluation #performance #protocol #testing

Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution (AH, TU, HY, TH), pp. 231–246.

ICTSS-2012-ArltBSP #testing #user interface

Parameterized GUI Tests (SA, PB, MS, AP), pp. 247–262.