Full Text Documents Search Links IFIP website IFIP TC6 Open DL

Table of Contents Testing Software and Systems Franz Wotawa, Mihai Nica, Natalia Kushik Front Matter Testing Methodologies Conformance Testing with Respect to Partial-Order Specifications Gregor Bochmann 3-17 Back-to-Back Testing of Self-organization Mechanisms Benedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif 18-35 Test Generation by Constraint Solving and FSM Mutant Killing Alexandre Petrenko, Omer Timo, S. Ramesh 36-51 Risk-Based Interoperability Testing Using Reinforcement Learning André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen 52-69 A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing Dimitris Simos, Kristoffer Kleine, Laleh Ghandehari, Bernhard Garn, Yu Lei 70-85 Heuristics and Non-determinism in Testing Controllability Through Nondeterminism in Distributed Testing Robert Hierons, Mercedes Merayo, Manuel Núñez 89-105 Parallelizing Heuristics for Generating Synchronizing Sequences Sertaç Karahoda, Osman Erenay, Kamer Kaya, Uraz Türker, Husnu Yenigun 106-122 Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness Krishna Patel, Robert Hierons 123-138 On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications Nina Yevtushenko, Khaled El-Fakih, Anton Ermakov 139-152 Practical Applications Mutation-Based Test Generation for PLC Embedded Software Using Model Checking Eduard Enoiu, Daniel Sundmark, Adnan Čaušević, Robert Feldt, Paul Pettersson 155-171 STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue, Marius Liaaen 172-190 From Simulation Data to Test Cases for Fully Automated Driving and ADAS Christoph Sippl, Florian Bock, David Wittmann, Harald Altinger, Reinhard German 191-206 Short Contributions Searching Critical Values for Floating-Point Programs Hélène Collavizza, Claude Michel, Michel Rueher 209-217 UTTOS: A Tool for Testing UEFI Code in OS Environment Eder Gomes, Paulo Amora, Elvis Teixeira, Antonio Lima, Felipe Brito, Juliano Ciocari, Javam Machado 218-224 Towards Model Construction Based on Test Cases and GUI Extraction Antti Jääskeläinen 225-230 Set-Based Algorithms for Combinatorial Test Set Generation Ludwig Kampel, Dimitris Simos 231-240 Automated Localisation Testing in Industry with Test$$^*$$∗ Mireilla Martinez, Anna Esparcia, Urko Rueda, Tanja Vos, Carlos Ortega 241-248 Distribution Visualization for User Behavior Analysis on LTE Network Masaki Suzuki, Quentin Plessis, Takeshi Kitahara, Masato Tsuru 249-255

Designed by Inria-IES Team :     Hosted by HAL :