Accepted Papers

Wishnu Prasetya and Minh An Tran

Neural Networks as Artificial Specifications, Revisited (Short paper)

Sebastien Salva, Elliott Blot and Patrice Laurençot

Combining Model Learning and Data Analysis to Generate Models of Component-based Systems (Short paper)

Silvia Bonfanti, Angelo Gargantini and Atif Mashkoor

Validation of code transformation from Abstract State Machine models to C++ code

Paul Bördng, Jan Haltermann, Marie-Christine Jakobs and Heike Wehrheim

JMCTest: Automatically Testing Inter-Method Contracts in Java

Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene

Interactive Testing and Repairing of Regular Expressions

Marlon Cardenas Bonett, Jorge Gomez-Sanz and Juan Pavon

An Architecture for Testing Ambient Assisted Living Systems (Short paper)

Nisha Desai and Martin Gogolla

Generating OCL Constraints from Test Case Schemas for Testing Model Behavior (Short paper)

Jorge López, Natalia Kushik, Asma Berriri, Nina Yevtushenko and Djamal Zeghlache

Test derivation for SDN-enabled switches : A logic circuit based approach

Rainer Niedermayr and Stefan Wagner

Is the Stack Distance Between Test Case and Method Correlated With Test Effectiveness? (Short paper)

Aleksandr Tvardovskiia, Khaled El-Fakih and Nina Yevtushenko

Test derivation for Finite State Machines with Timeouts (Short paper)

Franz Wotawa and Yihao Li.

From Ontologies to Input Models for Combinatorial Testing

Josip Bozic and Franz Wotawa

Security Testing for Chatbots (Short paper)

Alexandre Petrenko and Florent Avellaneda

Inference and Conformance Testing of Embedded Components

Ali Parsai, Serge Demeyer and Seph De Busser

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

Teruhiro Mizumoto, Khaled El-Fakih, Keiichi Yasumoto and Teruo Higashino

An Energy Aware Testing Framework for Smart-Spaces