Full Text Documents Search Links IFIP website IFIP TC6 Open DL

Table of Contents Testing Software and Systems Nina Yevtushenko, Ana Rosa Cavalli, Husnu Yenigun Front Matter Model Based Testing Fragility-Oriented Testing with Model Execution and Reinforcement Learning Tao Ma, Shaukat Ali, Tao Yue, Maged Elaasar 3-20 Fault-Based Testing for Refinement in CSP Ana Cavalcanti, Adenilso Simao 21-37 Effective Infinite-State Model Checking by Input Equivalence Class Partitioning Niklas Krafczyk, Jan Peleska 38-53 Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques Stefan Huster, Jonas Ströbele, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel 54-70 AI for Localizing Faults in Spreadsheets Birgit Hofer, Iulia Nica, Franz Wotawa 71-87 Test Derivation Methods n-Complete Test Suites for IOCO Petra Bos, Ramon Janssen, Joshua Moerman 91-107 Multiple Mutation Testing from Finite State Machines with Symbolic Inputs Omer Nguena Timo, Alexandre Petrenko, S. Ramesh 108-125 From Passive to Active FSM Inference via Checking Sequence Construction Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat 126-141 Safety and Security Testing Safety-Complete Test Suites Wen-Ling Huang, Jan Peleska 145-161 Testing TLS Using Combinatorial Methods and Execution Framework Dimitris Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei, Franz Wotawa 162-177 Using Data Integration for Security Testing Sébastien Salva, Loukmen Regainia 178-194 Test Selection and Quality Estimation A “Strength of Decision Tree Equivalence”-Taxonomy and Its Impact on Test Suite Reduction Hermann Felbinger, Ingo Pill, Franz Wotawa 197-212 Quality Estimation of Virtual Machine Placement in Cloud Infrastructures Jorge Lopez, Natalia Kushik, Djamal Zeghlache 213-229 Homing Sequence Derivation with Quantified Boolean Satisfiability Hung-En Wang, Kuan-Hua Tu, Jie-Hong Jiang, Natalia Kushik 230-242 Synchronizing Heuristics: Speeding up the Slowest Ömer Altun, Kamil Atam, Sertaç Karahoda, Kamer Kaya 243-256 Testing Timed and Distributed Systems GREP: Games for the Runtime Enforcement of Properties Matthieu Renard, Antoine Rollet, Yliès Falcone 259-275 Constraint-Based Oracles for Timed Distributed Systems Nassim Benharrat, Christophe Gaston, Robert Hierons, Arnault Lapitre, Pascale Gall 276-292 Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles Richard Schumi, Priska Lang, Bernhard Aichernig, Willibald Krenn, Rupert Schlick 293-310 Short Contributions Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Gonzalez, Tiziano Villa 313-319 Generating Checking Sequences for User Defined Fault Models Alexandre Petrenko, Adenilso Simao 320-325 Adaptive Localizer Based on Splitting Trees Roland Groz, Adenilso Simao, Catherine Oriat 326-332 Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation Aleksandr Tvardovskii 333-339

Designed by Inria-IES Team :     Hosted by HAL :