Abstract is missing.
- Conformance Testing with Respect to Partial-Order SpecificationsGregor von Bochmann. 3-17 [doi]
- Back-to-Back Testing of Self-organization MechanismsBenedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif. 18-35 [doi]
- Test Generation by Constraint Solving and FSM Mutant KillingAlexandre Petrenko, Omer Nguena-Timo, S. Ramesh. 36-51 [doi]
- Risk-Based Interoperability Testing Using Reinforcement LearningAndré Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen. 52-69 [doi]
- A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security TestingDimitris E. Simos, Kristoffer Kleine, Laleh Shikh Gholamhossein Ghandehari, Bernhard Garn, Yu Lei. 70-85 [doi]
- Controllability Through Nondeterminism in Distributed TestingRobert M. Hierons, Mercedes G. Merayo, Manuel Núñez. 89-105 [doi]
- Parallelizing Heuristics for Generating Synchronizing SequencesSertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün. 106-122 [doi]
- Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental CorrectnessKrishna Patel, Robert M. Hierons. 123-138 [doi]
- On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic SpecificationsNina Yevtushenko, Khaled El-Fakih, Anton Ermakov. 139-152 [doi]
- Mutation-Based Test Generation for PLC Embedded Software Using Model CheckingEduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt, Paul Pettersson. 155-171 [doi]
- STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial PracticeDipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen. 172-190 [doi]
- From Simulation Data to Test Cases for Fully Automated Driving and ADASChristoph Sippl, Florian Bock, David Wittmann, Harald Altinger, Reinhard German. 191-206 [doi]
- Searching Critical Values for Floating-Point ProgramsHélène Collavizza, Claude Michel, Michel Rueher. 209-217 [doi]
- UTTOS: A Tool for Testing UEFI Code in OS EnvironmentEder C. M. Gomes, Paulo R. P. Amora, Elvis M. Teixeira, Antonio G. S. Lima, Felipe T. Brito, Juliano F. C. Ciocari, Javam C. Machado. 218-224 [doi]
- Towards Model Construction Based on Test Cases and GUI ExtractionAntti Jääskeläinen. 225-230 [doi]
- Set-Based Algorithms for Combinatorial Test Set GenerationLudwig Kampel, Dimitris E. Simos. 231-240 [doi]
- Automated Localisation Testing in Industry with Test ^* ∗Mireilla Martinez, Anna Esparcia-Alcázar, Urko Rueda, Tanja E. J. Vos, Carlos Ortega. 241-248 [doi]
- Distribution Visualization for User Behavior Analysis on LTE NetworkMasaki Suzuki, Quentin Plessis, Takeshi Kitahara, Masato Tsuru. 249-255 [doi]