ICTSS C

15 papers

YearTitle / Authors
2018An Energy Aware Testing Framework for Smart-Spaces.
Teruhiro Mizumoto, Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino
2018C++11/14 Mutation Operators Based on Common Fault Patterns.
Ali Parsai, Serge Demeyer, Seph De Busser
2018Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems.
Sébastien Salva, Elliott Blot, Patrice Laurençot
2018Conformance Testing and Inference of Embedded Components.
Alexandre Petrenko, Florent Avellaneda
2018Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts.
Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko
2018From Ontologies to Input Models for Combinatorial Testing.
Franz Wotawa, Yihao Li
2018Generating OCL Constraints from Test Case Schemas For Testing Model Behavior.
Nisha Desai, Martin Gogolla
2018Interactive Testing and Repairing of Regular Expressions.
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2018JMCTest: Automatically Testing Inter-Method Contracts in Java.
Paul Börding, Jan Haltermann, Marie-Christine Jakobs, Heike Wehrheim
2018Neural Networks as Artificial Specifications.
I. S. Wishnu B. Prasetya, Minh An Tran
2018Security Testing for Chatbots.
Josip Bozic, Franz Wotawa
2018Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach.
Jorge López, Natalia Kushik, Asma Berriri, Nina Yevtushenko, Djamal Zeghlache
2018Testing Ambient Assisted Living Solutions with Simulations.
Marlon Cárdenas, Jorge J. Gómez-Sanz, Juan Pavón
2018Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons
2018Validation of Transformation from Abstract State Machine Models to C++ Code.
Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor