Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31st ICTSS 2019: Paris, France
- Christophe Gaston
, Nikolai Kosmatov, Pascale Le Gall:
Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings. Lecture Notes in Computer Science 11812, Springer 2019, ISBN 978-3-030-31279-4
Test and Artificial Intelligence
- Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger:
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. 3-21 - Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Regular Expression Learning with Evolutionary Testing and Repair. 22-40 - Josip Bozic, Franz Wotawa:
Testing Chatbots Using Metamorphic Relations. 41-55 - Shin Nakajima, Tsong Yueh Chen:
Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs. 56-64
Test Case Generation
- Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei:
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. 67-85 - Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik:
Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. 86-103 - Omer Nguena Timo, Dimitri Prestat, Antoine Rollet:
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts. 104-120
Empirical Approaches
- Leon Sell, Michael Auer, Christoph Frädrich, Michael Gruber, Philemon Werli, Gordon Fraser:
An Empirical Evaluation of Search Algorithms for App Testing. 123-139 - Florian Klück, Martin Zimmermann, Franz Wotawa, Mihai Nica:
Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation. 140-156
Testing and Verification Techniques
- Clotilde Erard, Alain Giorgetti:
Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs. 159-175 - Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska:
A Mechanised Proof of an Adaptive State Counting Algorithm. 176-193 - Evgenii M. Vinarskii, Jorge López, Natalia Kushik, Nina Yevtushenko, Djamal Zeghlache:
A Model Checking Based Approach for Detecting SDN Races. 194-211
Security and Performance Testing
- Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy, A. Omar Portillo-Dominguez:
Towards an Efficient Performance Testing Through Dynamic Workload Adaptation. 215-233 - Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy, A. Omar Portillo-Dominguez:
DYNAMOJM: A JMeter Tool for Performance Testing Using Dynamic Workload Adaptation. 234-241 - Georges Ouffoué, Fatiha Zaïdi, Ana R. Cavalli:
Attack Tolerance for Services-Based Applications in the Cloud. 242-258
Industrial Applications
- Maxime Samson, Thomas Vergnaud:
Automatic Generation of Test Oracles from Component Based Software Architectures. 261-269 - Diego Rivera, Edgardo Montes de Oca, Wissam Mallouli, Ana R. Cavalli, Brecht Vermeulen, Matevz Vucnik:
Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms. 270-278 - Bruno Sabóia Aragão, Rossana M. C. Andrade, Ismayle S. Santos, Rute N. S. Castro, Valéria Lelli, Ticianne G. R. Darin:
TestDCat: Catalog of Test Debt Subtypes and Management Activities. 279-295
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 04:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
