Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28. ICTSS 2016: Graz, Austria
- Franz Wotawa, Mihai Nica, Natalia Kushik:
Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Lecture Notes in Computer Science 9976, 2016, ISBN 978-3-319-47442-7
Testing Methodologies
- Gregor von Bochmann:
Conformance Testing with Respect to Partial-Order Specifications. 3-17 - Benedikt Eberhardinger
, Axel Habermaier, Hella Seebach, Wolfgang Reif:
Back-to-Back Testing of Self-organization Mechanisms. 18-35 - Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh:
Test Generation by Constraint Solving and FSM Mutant Killing. 36-51 - André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen:
Risk-Based Interoperability Testing Using Reinforcement Learning. 52-69 - Dimitris E. Simos, Kristoffer Kleine, Laleh Shikh Gholamhossein Ghandehari, Bernhard Garn, Yu Lei:
A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing. 70-85
Heuristics and Non-determinism in Testing
- Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Controllability Through Nondeterminism in Distributed Testing. 89-105 - Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün:
Parallelizing Heuristics for Generating Synchronizing Sequences. 106-122 - Krishna Patel, Robert M. Hierons:
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness. 123-138 - Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov:
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications. 139-152
Practical Applications
- Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt, Paul Pettersson:
Mutation-Based Test Generation for PLC Embedded Software Using Model Checking. 155-171 - Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen:
STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice. 172-190 - Christoph Sippl, Florian Bock, David Wittmann, Harald Altinger, Reinhard German:
From Simulation Data to Test Cases for Fully Automated Driving and ADAS. 191-206
Short Contributions
- Hélène Collavizza, Claude Michel, Michel Rueher:
Searching Critical Values for Floating-Point Programs. 209-217 - Eder C. M. Gomes, Paulo Roberto Pessoa Amora, Elvis Marques Teixeira, Antonio G. S. Lima, Felipe T. Brito, Juliano F. C. Ciocari, Javam C. Machado:
UTTOS: A Tool for Testing UEFI Code in OS Environment. 218-224 - Antti Jääskeläinen:
Towards Model Construction Based on Test Cases and GUI Extraction. 225-230 - Ludwig Kampel, Dimitris E. Simos:
Set-Based Algorithms for Combinatorial Test Set Generation. 231-240 - Mireilla Martínez, Anna Esparcia-Alcázar, Urko Rueda, Tanja E. J. Vos, Carlos Ortega:
Automated Localisation Testing in Industry with Test ^* ∗. 241-248 - Masaki Suzuki, Quentin Plessis, Takeshi Kitahara, Masato Tsuru:
Distribution Visualization for User Behavior Analysis on LTE Network. 249-255
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-06-10 21:34 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:
