Franz Wotawa, Mihai Nica, Natalia Kushik
Proceedings of the 28th International Conference on Testing Software and Systems
ICTSS, 2016.

@proceedings{ICTSS-2016,
	doi           = "10.1007/978-3-319-47443-4",
	editor        = "Franz Wotawa and Mihai Nica and Natalia Kushik",
	isbn          = "978-3-319-47442-7",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 28th International Conference on Testing Software and Systems}",
	volume        = 9976,
	year          = 2016,
}

Contents (18 items)

ICTSS-2016-Bochmann #consistency #partial order #specification #testing

Conformance Testing with Respect to Partial-Order Specifications (GvB), pp. 3–17.

ICTSS-2016-EberhardingerHS #self #testing

Back-to-Back Testing of Self-organization Mechanisms (BE, AH, HS, WR), pp. 18–35.

ICTSS-2016-PetrenkoNR #automaton #constraints #generative #testing #theorem proving

Test Generation by Constraint Solving and FSM Mutant Killing (AP, ONT, SR), pp. 36–51.

ICTSS-2016-ReichstallerEKR #learning #testing #using

Risk-Based Interoperability Testing Using Reinforcement Learning (AR, BE, AK, WR, MG), pp. 52–69.

ICTSS-2016-SimosKGGL #approach #combinator #security #testing #web

A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing (DES, KK, LSGG, BG, YL), pp. 70–85.

ICTSS-2016-HieronsMN #distributed #nondeterminism #testing

Controllability Through Nondeterminism in Distributed Testing (RMH, MGM, MN0), pp. 89–105.

ICTSS-2016-KarahodaEKTY #generative #heuristic #sequence

Parallelizing Heuristics for Generating Synchronizing Sequences (SK, OTE, KK, UCT, HY), pp. 106–122.

ICTSS-2016-PatelH #correctness #nondeterminism #problem

Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness (KP, RMH), pp. 123–138.

ICTSS-2016-YevtushenkoEE #adaptation #implementation #nondeterminism #on the fly #sequence #specification #testing

On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications (NY, KEF, AE), pp. 139–152.

ICTSS-2016-EnoiuSCFP #embedded #generative #model checking #testing #using

Mutation-Based Test Generation for PLC Embedded Software Using Model Checking (EPE, DS, AC, RF, PP), pp. 155–171.

ICTSS-2016-PradhanWAYL #industrial #multi #named #testing #using

STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice (DP, SW0, SA0, TY0, ML), pp. 172–190.

ICTSS-2016-SipplBWAG #automation #simulation #testing

From Simulation Data to Test Cases for Fully Automated Driving and ADAS (CS, FB, DW, HA, RG), pp. 191–206.

ICTSS-2016-CollavizzaMR #float #source code

Searching Critical Values for Floating-Point Programs (HC, CM, MR), pp. 209–217.

ICTSS-2016-GomesATLBCM #named #testing

UTTOS: A Tool for Testing UEFI Code in OS Environment (ECMG, PRPA, EMT, AGSL, FTB, JFCC, JCM), pp. 218–224.

ICTSS-2016-Jaaskelainen #testing #towards #user interface

Towards Model Construction Based on Test Cases and GUI Extraction (AJ), pp. 225–230.

ICTSS-2016-KampelS #algorithm #combinator #generative #testing

Set-Based Algorithms for Combinatorial Test Set Generation (LK, DES), pp. 231–240.

ICTSS-2016-MartinezERVO #automation #industrial #locality #testing

Automated Localisation Testing in Industry with Test ^* ∗ (MM, AEA, UR, TEJV, CO), pp. 241–248.

ICTSS-2016-SuzukiPKT #analysis #behaviour #network #visualisation

Distribution Visualization for User Behavior Analysis on LTE Network (MS, QP, TK, MT), pp. 249–255.