Search - Testing Software and Systems (ICTSS 2017) Access content directly

Filter your results

23 results
Contributor/author Internal identifier : 200187
Page :
sorted by
Image document

AI for Localizing Faults in Spreadsheets

 Birgit Hofer , Iulia Nica , Franz Wotawa
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.71-87, ⟨10.1007/978-3-319-67549-7_5⟩
Conference papers hal-01678961v1
Image document

Quality Estimation of Virtual Machine Placement in Cloud Infrastructures

 Jorge Lopez , Natalia Kushik , Djamal Zeghlache
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.213-229, ⟨10.1007/978-3-319-67549-7_13⟩
Conference papers hal-01678958v1
Image document

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
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.54-70, ⟨10.1007/978-3-319-67549-7_4⟩
Conference papers hal-01678963v1

Testing Software and Systems

 Nina Yevtushenko , Ana Rosa Cavalli , Husnu Yenigun
Springer International Publishing, LNCS-10533, 2017, Lecture Notes in Computer Science, 978-3-319-67548-0. ⟨10.1007/978-3-319-67549-7⟩
Books hal-01678967v1
Image document

Constraint-Based Oracles for Timed Distributed Systems

 Nassim Benharrat , Christophe Gaston , Robert M. Hierons , Arnault Lapitre , Pascale Le Gall
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Conference papers hal-01678964v1
Image document

Testing TLS Using Combinatorial Methods and Execution Framework

 Dimitris E. Simos , Josip Bozic , Feng Duan , Bernhard Garn , Kristoffer Kleine , et al.
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.162-177, ⟨10.1007/978-3-319-67549-7_10⟩
Conference papers hal-01678990v1
Image document

Adaptive Localizer Based on Splitting Trees

 Roland Groz , Adenilso Simao , Catherine Oriat
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.326-332, ⟨10.1007/978-3-319-67549-7_21⟩
Conference papers hal-01678983v1
Image document

Generating Checking Sequences for User Defined Fault Models

 Alexandre Petrenko , Adenilso Simao
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.320-325, ⟨10.1007/978-3-319-67549-7_20⟩
Conference papers hal-01678955v1
Image document

Fault-Based Testing for Refinement in CSP

 Ana Cavalcanti , Adenilso Simao
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.21-37, ⟨10.1007/978-3-319-67549-7_2⟩
Conference papers hal-01678973v1
Image document

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne

 Luca Geretti , Davide Bresolin , Pieter Collins , Sanja Zivanovic Gonzalez , Tiziano Villa
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.313-319, ⟨10.1007/978-3-319-67549-7_19⟩
Conference papers hal-01678971v1
Image document

Homing Sequence Derivation with Quantified Boolean Satisfiability

 Hung-En Wang , Kuan-Hua Tu , Jie-Hong R. Jiang , Natalia Kushik
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.230-242, ⟨10.1007/978-3-319-67549-7_14⟩
Conference papers hal-01678974v1
Image document

A “Strength of Decision Tree Equivalence”-Taxonomy and Its Impact on Test Suite Reduction

 Hermann Felbinger , Ingo Pill , Franz Wotawa
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.197-212, ⟨10.1007/978-3-319-67549-7_12⟩
Conference papers hal-01678986v1
Image document

Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation

 Aleksandr Tvardovskii
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.333-339, ⟨10.1007/978-3-319-67549-7_22⟩
Conference papers hal-01678992v1
Image document

GREP: Games for the Runtime Enforcement of Properties

 Matthieu Renard , Antoine Rollet , Yliès Falcone
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩
Conference papers hal-01678960v1
Image document

Using Data Integration for Security Testing

 Sébastien Salva , Loukmen Regainia
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.178-194, ⟨10.1007/978-3-319-67549-7_11⟩
Conference papers hal-01678954v1
Image document

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs

 Omer Nguena Timo , Alexandre Petrenko , S. Ramesh
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.108-125, ⟨10.1007/978-3-319-67549-7_7⟩
Conference papers hal-01678962v1
Image document

Fragility-Oriented Testing with Model Execution and Reinforcement Learning

 Tao Ma , Shaukat Ali , Tao Yue , Maged Elaasar
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.3-20, ⟨10.1007/978-3-319-67549-7_1⟩
Conference papers hal-01678980v1
Image document

n-Complete Test Suites for IOCO

 Petra van Den Bos , Ramon Janssen , Joshua Moerman
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.91-107, ⟨10.1007/978-3-319-67549-7_6⟩
Conference papers hal-01678988v1
Image document

Synchronizing Heuristics: Speeding up the Slowest

 Ömer Faruk Altun , Kamil Tolga Atam , Sertaç Karahoda , Kamer Kaya
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.243-256, ⟨10.1007/978-3-319-67549-7_15⟩
Conference papers hal-01678975v1
Image document

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles

 Richard Schumi , Priska Lang , Bernhard K. Aichernig , Willibald Krenn , Rupert Schlick
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.293-310, ⟨10.1007/978-3-319-67549-7_18⟩
Conference papers hal-01678972v1
Image document

Effective Infinite-State Model Checking by Input Equivalence Class Partitioning

 Niklas Krafczyk , Jan Peleska
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.38-53, ⟨10.1007/978-3-319-67549-7_3⟩
Conference papers hal-01678956v1
Image document

Safety-Complete Test Suites

 Wen-Ling Huang , Jan Peleska
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.145-161, ⟨10.1007/978-3-319-67549-7_9⟩
Conference papers hal-01678989v1
Image document

From Passive to Active FSM Inference via Checking Sequence Construction

 Alexandre Petrenko , Florent Avellaneda , Roland Groz , Catherine Oriat
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.126-141, ⟨10.1007/978-3-319-67549-7_8⟩
Conference papers hal-01678991v1
Page :