Skip to main content
SpringerLink
Log in
Book cover

Testing Software and Systems

30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Inmaculada Medina-Bulo

    1. University of Cádiz, Cadiz, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mercedes G. Merayo

    1. Complutense University of Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Robert Hierons

    1. Brunel University London, Uxbridge, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11146)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ICTSS 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Interactive Testing and Repairing of Regular Expressions

    • Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
    Pages 1-16

  3. Validation of Transformation from Abstract State Machine Models to C++ Code

    • Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
    Pages 17-32

  4. Security Testing for Chatbots

    • Josip Bozic, Franz Wotawa
    Pages 33-38

  5. JMCTest: Automatically Testing Inter-Method Contracts in Java

    • Paul Börding, Jan Haltermann, Marie-Christine Jakobs, Heike Wehrheim
    Pages 39-55

  6. Testing Ambient Assisted Living Solutions with Simulations

    • Marlon Cárdenas, Jorge Gómez Sanz, Juan Pavón
    Pages 56-61

  7. Generating OCL Constraints from Test Case Schemas For Testing Model Behavior

    • Nisha Desai, Martin Gogolla
    Pages 62-68

  8. Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach

    • Jorge López, Natalia Kushik, Asma Berriri, Nina Yevtushenko, Djamal Zeghlache
    Pages 69-84

  9. An Energy Aware Testing Framework for Smart-Spaces

    • Teruhiro Mizumoto, Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino
    Pages 85-101

  10. C++11/14 Mutation Operators Based on Common Fault Patterns

    • Ali Parsai, Serge Demeyer, Seph De Busser
    Pages 102-118

  11. Conformance Testing and Inference of Embedded Components

    • Alexandre Petrenko, Florent Avellaneda
    Pages 119-134

  12. Neural Networks as Artificial Specifications

    • I. S. Wishnu B. Prasetya, Minh An Tran
    Pages 135-141

  13. Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems

    • Sébastien Salva, Elliott Blot, Patrice Laurencot
    Pages 142-148

  14. Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts

    • Aleksandr Tvardovskii, Khaled El-Fakih, Nina Yevtushenko
    Pages 149-154

  15. From Ontologies to Input Models for Combinatorial Testing

    • Franz Wotawa, Yihao Li
    Pages 155-170

  16. Back Matter

    Pages 171-171
    Download chapter PDF
Back to top

Other volumes

  1. Testing Software and Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cádiz, Spain, in October 2018. The 8 regular and 6 short papers presented were carefully reviewed and selected from 29 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded- and cyber-physical-systems, and security infrastructures.

Editors and Affiliations

  • University of Cádiz, Cadiz, Spain

    Inmaculada Medina-Bulo

  • Complutense University of Madrid, Madrid, Spain

    Mercedes G. Merayo

  • Brunel University London, Uxbridge, UK

    Robert Hierons

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation