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