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