Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün
Proceedings of the 29th International Conference on Testing Software and Systems
ICTSS, 2017.

@proceedings{ICTSS-2017,
	doi           = "10.1007/978-3-319-67549-7",
	editor        = "Nina Yevtushenko and Ana Rosa Cavalli and Hüsnü Yenigün",
	isbn          = "['978-3-319-67548-0', '978-3-319-67549-7']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 29th International Conference on Testing Software and Systems}",
	volume        = 10533,
	year          = 2017,
}

Contents (22 items)

ICTSS-2017-MaAYE #execution #learning #testing

Fragility-Oriented Testing with Model Execution and Reinforcement Learning (TM, SA0, TY0, ME), pp. 3–20.

ICTSS-2017-CavalcantiS #csp #refinement #testing

Fault-Based Testing for Refinement in CSP (AC, AdSS), pp. 21–37.

ICTSS-2017-KrafczykP #clustering #effectiveness #equivalence #infinity #model checking

Effective Infinite-State Model Checking by Input Equivalence Class Partitioning (NK, JP0), pp. 38–53.

ICTSS-2017-HusterSRKR #robust #testing #using #verification

Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques (SH, JS, JR, TK, WR), pp. 54–70.

ICTSS-2017-HoferNW #fault #spreadsheet

AI for Localizing Faults in Spreadsheets (BH, IN, FW), pp. 71–87.

ICTSS-2017-BosJM #testing

n-Complete Test Suites for IOCO (PvdB, RJ, JM), pp. 91–107.

ICTSS-2017-Nguena-TimoPR #finite #multi #mutation testing #state machine #testing

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs (ONT, AP, SR), pp. 108–125.

ICTSS-2017-PetrenkoAGO #automaton #sequence

From Passive to Active FSM Inference via Checking Sequence Construction (AP, FA, RG, CO), pp. 126–141.

ICTSS-2017-Huang0 #testing

Safety-Complete Test Suites (WlH, JP0), pp. 145–161.

ICTSS-2017-SimosBDGKLW #combinator #execution #framework #testing #using

Testing TLS Using Combinatorial Methods and Execution Framework (DES, JB, FD, BG, KK, YL, FW), pp. 162–177.

ICTSS-2017-SalvaR #integration #security #testing #using

Using Data Integration for Security Testing (SS, LR), pp. 178–194.

ICTSS-2017-FelbingerPW #equivalence #reduction #testing

A “Strength of Decision Tree Equivalence”-Taxonomy and Its Impact on Test Suite Reduction (HF, IP, FW), pp. 197–212.

ICTSS-2017-LopezKZ #estimation #quality #virtual machine

Quality Estimation of Virtual Machine Placement in Cloud Infrastructures (JL, NK, DZ), pp. 213–229.

ICTSS-2017-WangTJK #quantifier #satisfiability #sequence

Homing Sequence Derivation with Quantified Boolean Satisfiability (HEW, KHT, JHRJ, NK), pp. 230–242.

ICTSS-2017-AltunAKK #heuristic

Synchronizing Heuristics: Speeding up the Slowest (ÖFA, KTA, SK, KK), pp. 243–256.

ICTSS-2017-RenardRF #game studies #named #runtime

GREP: Games for the Runtime Enforcement of Properties (MR, AR, YF), pp. 259–275.

ICTSS-2017-BenharratGHLG #constraints #distributed

Constraint-Based Oracles for Timed Distributed Systems (NB, CG, RMH, AL, PLG), pp. 276–292.

ICTSS-2017-SchumiLAKS #probability

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles (RS, PL, BKA, WK, RS), pp. 293–310.

ICTSS-2017-GerettiBCGV #automation #verification

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne (LG, DB, PC, SZG, TV), pp. 313–319.

ICTSS-2017-PetrenkoS #fault #generative #modelling #sequence

Generating Checking Sequences for User Defined Fault Models (AP, AdSS), pp. 320–325.

ICTSS-2017-GrozSO #adaptation

Adaptive Localizer Based on Splitting Trees (RG, AdSS, CO), pp. 326–332.

ICTSS-2017-Tvardovskii #automaton #reduction #specification #testing

Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation (AT), pp. 333–339.