Abstract is missing.
- Interactive Testing and Repairing of Regular ExpressionsPaolo Arcaini, Angelo Gargantini, Elvinia Riccobene. 1-16 [doi]
- Validation of Transformation from Abstract State Machine Models to C++ CodeSilvia Bonfanti, Angelo Gargantini, Atif Mashkoor. 17-32 [doi]
- Security Testing for ChatbotsJosip Bozic, Franz Wotawa. 33-38 [doi]
- JMCTest: Automatically Testing Inter-Method Contracts in JavaPaul Börding, Jan Haltermann, Marie-Christine Jakobs, Heike Wehrheim. 39-55 [doi]
- Testing Ambient Assisted Living Solutions with SimulationsMarlon Cárdenas, Jorge J. Gómez-Sanz, Juan Pavón. 56-61 [doi]
- Generating OCL Constraints from Test Case Schemas For Testing Model BehaviorNisha Desai, Martin Gogolla. 62-68 [doi]
- Test Derivation for SDN-Enabled Switches: A Logic Circuit Based ApproachJorge López, Natalia Kushik, Asma Berriri, Nina Yevtushenko, Djamal Zeghlache. 69-84 [doi]
- An Energy Aware Testing Framework for Smart-SpacesTeruhiro Mizumoto, Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino. 85-101 [doi]
- C++11/14 Mutation Operators Based on Common Fault PatternsAli Parsai, Serge Demeyer, Seph De Busser. 102-118 [doi]
- Conformance Testing and Inference of Embedded ComponentsAlexandre Petrenko, Florent Avellaneda. 119-134 [doi]
- Neural Networks as Artificial SpecificationsI. S. Wishnu B. Prasetya, Minh An Tran. 135-141 [doi]
- Combining Model Learning and Data Analysis to Generate Models of Component-Based SystemsSébastien Salva, Elliott Blot, Patrice Laurençot. 142-148 [doi]
- Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with TimeoutsAleksandr Tvardovskii, Khaled El-Fakih, Nina Yevtushenko. 149-154 [doi]
- From Ontologies to Input Models for Combinatorial TestingFranz Wotawa, Yihao Li. 155-170 [doi]