Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich
Proceedings of the 25th International Conference on Testing Software and Systems
ICTSS, 2013.

@proceedings{ICTSS-2013,
	address       = "Istanbul, Turkey",
	doi           = "10.1007/978-3-642-41707-8",
	editor        = "Hüsnü Yenigün and Cemal Yilmaz and Andreas Ulrich",
	isbn          = "978-3-642-41706-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 25th International Conference on Testing Software and Systems}",
	volume        = 8254,
	year          = 2013,
}

Contents (20 items)

11 ×#testing
4 ×#using
2 ×#case study
2 ×#concurrent
2 ×#consistency
2 ×#diagrams
2 ×#execution
2 ×#fault
2 ×#specification
2 ×#symbolic computation

ICTSS-2013-EnoiuSP #diagrams #logic #testing #using

Using Logic Coverage to Improve Testing Function Block Diagrams (EPE, DS, PP), pp. 1–16.

ICTSS-2013-GuoQ #automation #generative #grammarware #testing

Automatic Grammar-Based Test Generation (HFG, ZQ), pp. 17–32.

ICTSS-2013-KushikEY #adaptation #finite #nondeterminism #state machine

Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines (NK, KEF, NY), pp. 33–48.

ICTSS-2013-HuangP #equivalence #modelling #testing

Exhaustive Model-Based Equivalence Class Testing (WlH, JP), pp. 49–64.

ICTSS-2013-DavidLMNR #specification #testing

Remote Testing of Timed Specifications (AD, KGL, MM, ONT, AR), pp. 65–81.

ICTSS-2013-GastonHG #distributed #framework #implementation

An Implementation Relation and Test Framework for Timed Distributed Systems (CG, RMH, PLG), pp. 82–97.

ICTSS-2013-LeonHL #concurrent #consistency #testing

Unfolding-Based Test Selection for Concurrent Conformance (HPdL, SH, DL), pp. 98–113.

ICTSS-2013-BadriBF #case study #empirical #predict #testing

Predicting the Size of Test Suites from Use Cases: An Empirical Exploration (MB, LB, WF), pp. 114–132.

ICTSS-2013-SchrammelMK #testing

Chaining Test Cases for Reactive System Testing (PS, TM, DK), pp. 133–148.

ICTSS-2013-GuttingerKKW #reduction #testing

Variations over Test Suite Reduction (DG, VK, DK, SW), pp. 149–163.

ICTSS-2013-FengLMNSW #case study #testing

Case Studies in Learning-Based Testing (LF, SL, KM, FN, MAS, PYHW), pp. 164–179.

ICTSS-2013-FariaPC #consistency #diagrams #sequence chart #testing #tool support #uml

Techniques and Toolset for Conformance Testing against UML Sequence Diagrams (JPF, ACRP, MVdC), pp. 180–195.

ICTSS-2013-Ibing #eclipse #execution #parallel #symbolic computation

Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan (AI), pp. 196–206.

ICTSS-2013-StepienP #challenge #testing #using

Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3 (BS, LP), pp. 207–222.

ICTSS-2013-ElyasovPH #algebra #mining #specification

Guided Algebraic Specification Mining for Failure Simplification (AE, ISWBP, JH), pp. 223–238.

ICTSS-2013-KocaSA #concurrent #fault #locality

Spectrum-Based Fault Localization for Diagnosing Concurrency Faults (FK, HS, RA), pp. 239–254.

ICTSS-2013-VorobyovKS #approach #memory management

A Dynamic Approach to Locating Memory Leaks (KV, PK, PS), pp. 255–270.

ICTSS-2013-MauserKH #programming #towards #user interface #using

Towards a GUI Test Model Using State Charts and Programming Code (DM, AK, KH), pp. 271–276.

ICTSS-2013-PellegrinoCM #developer #protocol #security

A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols (GP, LC, TM), pp. 277–282.

ICTSS-2013-SapraMCGC #execution #fault #python #source code #symbolic computation #using

Finding Errors in Python Programs Using Dynamic Symbolic Execution (SS, MM, SC, AG, EMC), pp. 283–289.