Accepted Papers

Wishnu Prasetya and Minh An Tran

Neural Networks as Artificial Specifications, Revisited

Sebastien Salva, Elliott Blot and Patrice Laurençot

Combining Model Learning and Data Analysis to Generate Models of Component-based Systems

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

Nisha Desai and Martin Gogolla

Generating OCL Constraints from Test Case Schemas for Testing Model Behavior

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?

Aleksandr Tvardovskii, Khaled El-Fakih and Nina Yevtushenko

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

Franz Wotawa and Yihao Li.

From Ontologies to Input Models for Combinatorial Testing

Josip Bozic and Franz Wotawa

Security Testing for Chatbots

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