Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons
Proceedings of the 30th International Conference on Testing Software and Systems
ICTSS, 2018.

@proceedings{ICTSS-2018,
	doi           = "10.1007/978-3-319-99927-2",
	editor        = "Inmaculada Medina-Bulo and Mercedes G. Merayo and Robert M. Hierons",
	isbn          = "['978-3-319-99926-5', '978-3-319-99927-2']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 30th International Conference on Testing Software and Systems}",
	volume        = 11146,
	year          = 2018,
}

Contents (14 items)

ICTSS-2018-ArcainiGR #interactive #regular expression #testing

Interactive Testing and Repairing of Regular Expressions (PA, AG, ER), pp. 1–16.

ICTSS-2018-BonfantiGM #c++ #modelling #state machine #validation

Validation of Transformation from Abstract State Machine Models to C++ Code (SB, AG, AM), pp. 17–32.

ICTSS-2018-BozicW #security #testing

Security Testing for Chatbots (JB, FW), pp. 33–38.

ICTSS-2018-BordingHJW #automation #contract #java #named #testing

JMCTest: Automatically Testing Inter-Method Contracts in Java (PB, JH, MCJ, HW), pp. 39–55.

ICTSS-2018-CardenasGP #simulation #testing

Testing Ambient Assisted Living Solutions with Simulations (MC, JJGS, JP), pp. 56–61.

ICTSS-2018-DesaiG #behaviour #constraints #generative #ocl #testing

Generating OCL Constraints from Test Case Schemas For Testing Model Behavior (ND0, MG), pp. 62–68.

ICTSS-2018-LopezKBYZ #approach #logic

Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach (JL, NK, AB, NY, DZ), pp. 69–84.

ICTSS-2018-MizumotoEYH #energy #framework #testing

An Energy Aware Testing Framework for Smart-Spaces (TM, KEF, KY, TH), pp. 85–101.

ICTSS-2018-ParsaiDB #fault

C++11/14 Mutation Operators Based on Common Fault Patterns (AP, SD, SDB), pp. 102–118.

ICTSS-2018-PetrenkoA #component #consistency #embedded #testing

Conformance Testing and Inference of Embedded Components (AP, FA), pp. 119–134.

ICTSS-2018-PrasetyaT #network #specification

Neural Networks as Artificial Specifications (ISWBP, MAT), pp. 135–141.

ICTSS-2018-SalvaBL #component #data analysis #learning #modelling

Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems (SS, EB, PL), pp. 142–148.

ICTSS-2018-TvardovskiiEY #fault #finite #state machine #testing

Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts (AT, KEF, NY), pp. 149–154.

ICTSS-2018-WotawaL #combinator #modelling #ontology #testing

From Ontologies to Input Models for Combinatorial Testing (FW, YL), pp. 155–170.