Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
Proceedings of the 31st International Conference on Testing Software and Systems
ICTSS, 2019.

@proceedings{ICTSS-2019,
	doi           = "10.1007/978-3-030-31280-0",
	editor        = "Christophe Gaston and Nikolai Kosmatov and Pascale Le Gall",
	isbn          = "['978-3-030-31279-4', '978-3-030-31280-0']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 31st International Conference on Testing Software and Systems}",
	volume        = 11812,
	year          = 2019,
}

Contents (18 items)

ICTSS-2019-AichernigB0HPRR #behaviour #hybrid #machine learning #modelling #testing

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (BKA, RB, ME0, MH, FP, WR, AR, MT, MT), pp. 3–21.

ICTSS-2019-ArcainiGR #learning #regular expression #testing

Regular Expression Learning with Evolutionary Testing and Repair (PA, AG, ER), pp. 22–40.

ICTSS-2019-BozicW #testing #using

Testing Chatbots Using Metamorphic Relations (JB, FW), pp. 41–55.

ICTSS-2019-NakajimaC #dataset #generative #machine learning #source code #testing

Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs (SN0, TYC), pp. 56–64.

ICTSS-2019-BombardaBGRDL #consistency #generative #protocol #refinement #state machine #testing #using

Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines (AB, SB, AG, MR, FD, YL), pp. 67–85.

ICTSS-2019-YevtushenkoKK #adaptation #complexity #nondeterminism #sequence

Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs (NY, VVK, NK), pp. 86–103.

ICTSS-2019-TimoPR #finite #multi #mutation testing #state machine #testing

Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts (ONT, DP, AR), pp. 104–120.

ICTSS-2019-SellAFGWF #algorithm #empirical #evaluation #testing

An Empirical Evaluation of Search Algorithms for App Testing (LS, MA, CF, MG, PW, GF), pp. 123–139.

ICTSS-2019-KluckZWN #comparison #performance #search-based #testing #validation

Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation (FK, MZ, FW, MN), pp. 140–156.

ICTSS-2019-ErardG #bound #source code #testing

Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs (CE, AG), pp. 159–175.

ICTSS-2019-SachtlebenHH0 #adaptation #algorithm #proving

A Mechanised Proof of an Adaptive State Counting Algorithm (RS, RMH, WlH, JP0), pp. 176–193.

ICTSS-2019-VinarskiiLKYZ #approach #detection #model checking

A Model Checking Based Approach for Detecting SDN Races (EV, JL, NK, NY, DZ), pp. 194–211.

ICTSS-2019-Huerta-GuevaraA #adaptation #performance #testing #towards

Towards an Efficient Performance Testing Through Dynamic Workload Adaptation (OHG, VAR, LM0, AOPD), pp. 215–233.

ICTSS-2019-Huerta-GuevaraA19a #adaptation #named #performance #testing #using

DYNAMOJM: A JMeter Tool for Performance Testing Using Dynamic Workload Adaptation (OHG, VAR, LM0, AOPD), pp. 234–241.

ICTSS-2019-OuffoueZC #in the cloud

Attack Tolerance for Services-Based Applications in the Cloud (GO, FZ, ARC), pp. 242–258.

ICTSS-2019-SamsonV #architecture #automation #component #generative #testing

Automatic Generation of Test Oracles from Component Based Software Architectures (MS, TV), pp. 261–269.

ICTSS-2019-RiveraOMCVV #industrial #monitoring #platform #security

Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms (DR, EMdO, WM, ARC, BV, MV), pp. 270–278.

ICTSS-2019-AragaoASCLD #named #process #type system

TestDCat: Catalog of Test Debt Subtypes and Management Activities (BSA, RMCA, ISS, RNSC, VL, TGRD), pp. 279–295.