Proceedings of the 31st 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

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

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

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.