default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th ICTSS 2018: Cádiz, Spain
- Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons:
Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings. Lecture Notes in Computer Science 11146, Springer 2018, ISBN 978-3-319-99926-5 - Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene:
Interactive Testing and Repairing of Regular Expressions. 1-16 - Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor:
Validation of Transformation from Abstract State Machine Models to C++ Code. 17-32 - Josip Bozic, Franz Wotawa:
Security Testing for Chatbots. 33-38 - Paul Börding, Jan Haltermann, Marie-Christine Jakobs, Heike Wehrheim:
JMCTest: Automatically Testing Inter-Method Contracts in Java. 39-55 - Marlon Cárdenas, Jorge J. Gómez-Sanz, Juan Pavón:
Testing Ambient Assisted Living Solutions with Simulations. 56-61 - Nisha Desai, Martin Gogolla:
Generating OCL Constraints from Test Case Schemas For Testing Model Behavior. 62-68 - Jorge López, Natalia Kushik, Asma Berriri, Nina Yevtushenko, Djamal Zeghlache:
Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach. 69-84 - Teruhiro Mizumoto, Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino:
An Energy Aware Testing Framework for Smart-Spaces. 85-101 - Ali Parsai, Serge Demeyer, Seph De Busser:
C++11/14 Mutation Operators Based on Common Fault Patterns. 102-118 - Alexandre Petrenko, Florent Avellaneda:
Conformance Testing and Inference of Embedded Components. 119-134 - I. S. Wishnu B. Prasetya, Minh An Tran:
Neural Networks as Artificial Specifications. 135-141 - Sébastien Salva, Elliott Blot, Patrice Laurençot:
Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems. 142-148 - Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko:
Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts. 149-154 - Franz Wotawa, Yihao Li:
From Ontologies to Input Models for Combinatorial Testing. 155-170
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-16 23:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
