Proceedings of the 29th International Conference on Testing Software and Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TEST
DBLP
Scholar
DOI
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.