researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1991
1992
1993
1994
1998
1999
2000
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
C++
Meta-Environment
analysis
architecture
coverage
data-flow
design
e-science
meta-model
meta-objects
mobile
open-source
protocol
rule-based
source-to-source
state machines
systematic-approach
test coverage
testing
web service
Filter by Author
[+]
OR
AND
NOT
1
Alexandre Petrenko
Ana R. Cavalli
Andreas Ulrich
Angelo Gargantini
Christophe Gaston
César Viho
Franz Wotawa
Gregor von Bochmann
Ina Schieferdecker
Jan Tretmans
Jens Grabowski
Khaled El-Fakih
Manuel Núñez
Myungchul Kim
Natalia Kushik
Nina Yevtushenko
Pascale Le Gall
Rachida Dssouli
Robert M. Hierons
Roland Groz
Filter by Top terms
[+]
OR
AND
NOT
1
approach
conference
conformance
coverage
finite
generation
ifip
international
machines
model
proceedings
protocol
software
state
system
systems
test
testing
ttcn-3
using
TestCom (pts)
Editions
Publications
Viewing Publication 1 - 100 from 601
2023
A Rapid Review on Fuzz Security Testing for Software Protocol Implementations
Alessandro Marchetto 0001
.
pts 2023
:
3-20
[doi]
CATANA: Replay Testing for the Ethereum Blockchain
Morena Barboni
,
Guglielmo De Angelis
,
Andrea Morichetta 0001
,
Andrea Polini
.
pts 2023
:
257-265
[doi]
A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains
Gerson Barbosa
,
Erica Ferreira 0001
,
Luciana Brasil Rebelo dos Santos
,
Marlon da Silva
,
Juliana Marino Balera
,
Nandamudi Vijaykumar
.
pts 2023
:
179-182
[doi]
Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
Silvia Bonfanti
,
Angelo Gargantini
,
Paolo Salvaneschi
, editors,
Volume 14131 of
Lecture Notes in Computer Science
, Springer,
2023.
[doi]
Complete Property-Oriented Module Testing
Felix Brüning
,
Mario Gleirscher
,
Wen-ling Huang
,
Niklas Krafczyk
,
Jan Peleska 0001
,
Robert Sachtleben
.
pts 2023
:
183-201
[doi]
Who Is Afraid of Test Smells? Assessing Technical Debt from Developer Actions
Zhongyan Chen
,
Suzanne M. Embury
,
Markel Vigo
.
pts 2023
:
160-175
[doi]
Multi-device, Robust, and Integrated Android GUI Testing: A Conceptual Framework
Riccardo Coppola
,
Luca Ardito
,
Marco Torchiano
.
pts 2023
:
115-125
[doi]
Prioritizing Test Cases with Markov Chains: A Preliminary Investigation
Luciana Brasil Rebelo dos Santos
,
Erica Ferreira 0001
,
Gian Ricardo Berkenbrock
,
Gerson Barbosa
,
Marlon da Silva
,
André Takeshi Endo
,
Nandamudi Vijaykumar
,
Catia Trubiani
.
pts 2023
:
219-236
[doi]
Understanding Problem Solving in Software Testing: An Exploration of Tester Routines and Behavior
Eduard Paul Enoiu
,
Gregory Gay 0002
,
Jameel Esber
,
Robert Feldt
.
pts 2023
:
143-159
[doi]
Testing Quality of Training in QoE-Aware SFC Orchestration Based on DRL Approach
Mohamed Escheikh
,
Wiem Taktak
,
Kamel Barkaoui
.
pts 2023
:
274-288
[doi]
Applying Pairwise Combinatorial Testing to Large Language Model Testing
Bernhard Garn
,
Ludwig Kampel
,
Manuel Leithner
,
Berina Celic
,
Ceren Çulha
,
Irene Hiess
,
Klaus Kieseberg
,
Marlene Koelbing
,
Dominik-Philip Schreiber
,
Michael Wagner 0026
,
Christoph Wech
,
Jovan Zivanovic
,
Dimitris E. Simos
.
pts 2023
:
247-256
[doi]
Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites
Li Huang
,
Bertrand Meyer 0001
,
Manuel Oriol
.
pts 2023
:
52-70
[doi]
How Do Different Types of Testing Goals Affect Test Case Design?
Dia Istanbuly
,
Max Zimmer
,
Gregory Gay 0002
.
pts 2023
:
97-114
[doi]
Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs
Natalia Kushik
,
Nina Yevtushenko 0001
,
Jorge López
.
pts 2023
:
237-243
[doi]
RQCODE: Security Requirements Formalization with Testing
Ildar Nigmatullin
,
Andrey Sadovykh
,
Sophie Ebersold
,
Nan Messe
.
pts 2023
:
126-142
[doi]
GResilience: Trading Off Between the Greenness and the Resilience of Collaborative AI Systems
Diaeddin Rimawi
,
Antonio Liotta
,
Marco Todescato
,
Barbara Russo
.
pts 2023
:
266-273
[doi]
Empirical Verification of TQED - A New Test Design Heuristic Technique
Adam Roman
,
Michal Mnich
,
Jaroslaw Hryszko
.
pts 2023
:
80-96
[doi]
Enhancing Synthetic Test Data Generation with Language Models Using a More Expressive Domain-Specific Language
Chao Tan
,
Razieh Behjati
,
Erik Arisholm
.
pts 2023
:
21-39
[doi]
Compositionality in Model-Based Testing
Gijs van Cuyck
,
Lars van Arragon
,
Jan Tretmans
.
pts 2023
:
202-218
[doi]
On the Evaluation of Photometric Stereo Applications Testing Using Image Modifications
Franz Wotawa
,
Ledio Jahaj
,
Nicole Brosch
.
pts 2023
:
40-51
[doi]
Automated Testing of Systems of Systems
Özge Akat
,
Hasan Sözer
.
pts 2023
:
73-79
[doi]
2022
Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings
David Clark
,
Héctor D. Menéndez 0001
,
Ana Rosa Cavalli
, editors,
Volume 13045 of
Lecture Notes in Computer Science
, Springer,
2022.
[doi]
2021
Reverse-Engineering EFSMs with Data Dependencies
Michael Foster 0001
,
John Derrick
,
Neil Walkinshaw
.
pts 2022
:
37-54
[doi]
Robustness Analysis of Deep Learning Frameworks on Mobile Platforms
Amin Eslami Abyane
,
Hadi Hemmati
.
pts 2022
:
160-177
[doi]
libfsmtest An Open Source Library for FSM-Based Testing
Moritz Bergenthal
,
Niklas Krafczyk
,
Jan Peleska 0001
,
Robert Sachtleben
.
pts 2022
:
3-19
[doi]
Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller
Andrea Bombarda
,
Silvia Bonfanti
,
Angelo Gargantini
.
pts 2022
:
65-72
[doi]
On the Quality of Network Flow Records for IDS Evaluation: A Collaborative Filtering Approach
Marta Catillo
,
Andrea Del Vecchio
,
Antonio Pecchia
,
Umberto Villano
.
pts 2022
:
196-209
[doi]
GROOT: A GDPR-Based Combinatorial Testing Approach
Said Daoudagh
,
Eda Marchetti
.
pts 2022
:
210-217
[doi]
Locality-Based Test Selection for Autonomous Agents
Sina Entekhabi
,
Wojciech Mostowski
,
Mohammad Reza Mousavi 0001
,
Thomas Arts
.
pts 2022
:
73-89
[doi]
Specification and Validation of Numerical Algorithms with the Gradual Contracts Pattern
René Fritze
,
Stephan Rave
.
pts 2022
:
181-188
[doi]
Improving Model Inference via W-Set Reduction
Moritz Halm
,
Rafael S. Braz
,
Roland Groz
,
Catherine Oriat
,
Adenilso Simão
.
pts 2022
:
90-105
[doi]
Using Ant Colony Optimisation to Select Features Having Associated Costs
Alfredo Ibias
,
Luis Llana
,
Manuel Núñez 0001
.
pts 2022
:
106-122
[doi]
Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization
Natalia Kushik
,
Nina Yevtushenko 0001
,
Jorge López
.
pts 2022
:
55-61
[doi]
Mining Precise Test Oracle Modelled by FSM
Omer Nguena-Timo
.
pts 2022
:
20-36
[doi]
Combining Holistic Source Code Representation with Siamese Neural Networks for Detecting Code Clones
Smit Patel
,
Roopak Sinha
.
pts 2022
:
148-159
[doi]
Creation of Human-friendly Videos for Debugging Automated GUI-Tests
Jianwei Shi
,
Kurt Schneider
.
pts 2022
:
141-147
[doi]
Metamorphic Testing of Logic Theorem Prover
Oliver A. Tazl
,
Franz Wotawa
.
pts 2022
:
131-137
[doi]
Solving the Instance Identification Problem in Micro-service Testing
Theofanis Vassiliou-Gioles
.
pts 2022
:
189-195
[doi]
Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy
Wenxi Wang
,
Pu Yi
,
Sarfraz Khurshid
,
Darko Marinov
.
pts 2022
:
123-130
[doi]
2020
Trust Is in the Air: A New Adaptive Method to Evaluate Mobile Wireless Networks
Alexandra-Elena Mocanu (Mihaita)
,
Bogdan-Costel Mocanu
,
Christian Esposito
,
Florin Pop
.
pts 2020
:
135-149
[doi]
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT
Bernhard K. Aichernig
,
Christian Burghard
.
pts 2020
:
35-51
[doi]
Inspecting Code Churns to Prioritize Test Cases
Francesco Altiero
,
Anna Corazza
,
Sergio Di Martino
,
Adriano Peron
,
Luigi Libero Lucio Starace
.
pts 2020
:
272-285
[doi]
Interrogating Virtual Agents: In Quest of Security Vulnerabilities
Josip Bozic
,
Franz Wotawa
.
pts 2020
:
20-34
[doi]
About the Robustness and Looseness of Yara Rules
Gerardo Canfora
,
Mimmo Carapella
,
Andrea Del Vecchio
,
Laura Nardi
,
Antonio Pirozzi
,
Corrado Aaron Visaggio
.
pts 2020
:
104-120
[doi]
Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings
Valentina Casola
,
Alessandra De Benedictis
,
Massimiliano Rak
, editors,
Volume 12543 of
Lecture Notes in Computer Science
, Springer,
2020.
[doi]
Vulsploit: A Module for Semi-automatic Exploitation of Vulnerabilities
Arcangelo Castiglione
,
Francesco Palmieri
,
Mariangela Petraglia
,
Raffaele Pizzolante
.
pts 2020
:
89-103
[doi]
Measurement-Based Analysis of a DoS Defense Module for an Open Source Web Server
Marta Catillo
,
Antonio Pecchia
,
Umberto Villano
.
pts 2020
:
121-134
[doi]
Hacking Goals: A Goal-Centric Attack Classification Framework
Francesco Caturano
,
Gaetano Perrone
,
Simon Pietro Romano
.
pts 2020
:
296-301
[doi]
Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements
Martin Erb
,
Christian Steger
,
Martin Troyer
,
Josef Preishuber-Pflügl
.
pts 2020
:
186-200
[doi]
Methods for Live Testing of Cloud Services
Oussama Jebbar
,
Ferhat Khendek
,
Maria Toeroe
.
pts 2020
:
201-216
[doi]
A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems
Hao Jin
,
Takashi Kitamura
,
Eun-Hye Choi
,
Tatsuhiro Tsuchiya
.
pts 2020
:
302-309
[doi]
Automated Transition Coverage in Behavioural Conformance Testing
Lina Marsso
,
Radu Mateescu 0001
,
Wendelin Serwe
.
pts 2020
:
219-235
[doi]
Architecture Based on Keyword Driven Testing with Domain Specific Language for a Testing System
Ricardo B. Pereira
,
Miguel A. Brito
,
Ricardo J. Machado
.
pts 2020
:
310-316
[doi]
Learning Abstracted Non-deterministic Finite State Machines
Andrea Pferscher
,
Bernhard K. Aichernig
.
pts 2020
:
52-69
[doi]
Enabling Next-Generation Cyber Ranges with Mobile Security Components
Enrico Russo
,
Luca Verderame
,
Alessio Merlo
.
pts 2020
:
150-165
[doi]
An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm
Robert Sachtleben
.
pts 2020
:
236-254
[doi]
Using Model Learning for the Generation of Mock Components
Sébastien Salva
,
Elliott Blot
.
pts 2020
:
3-19
[doi]
Automatic Fairness Testing of Machine Learning Models
Arnab Sharma
,
Heike Wehrheim
.
pts 2020
:
255-271
[doi]
A Technique for Parallel GUI Testing of Android Applications
Porfirio Tramontana
,
Nicola Amatucci
,
Anna Rita Fasolino
.
pts 2020
:
169-185
[doi]
APPregator: A Large-Scale Platform for Mobile Security Analysis
Luca Verderame
,
Davide Caputo
,
Andrea Romdhana
,
Alessio Merlo
.
pts 2020
:
73-88
[doi]
Using an SMT Solver for Checking the Completeness of FSM-Based Tests
Evgenii Vinarskii
,
Andrey Laputenko
,
Nina Yevtushenko
.
pts 2020
:
289-295
[doi]
2019
Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs
Shin Nakajima 0001
,
Tsong Yueh Chen
.
pts 2019
:
56-64
[doi]
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning
Bernhard K. Aichernig
,
Roderick Bloem
,
Masoud Ebrahimi 0002
,
Martin Horn
,
Franz Pernkopf
,
Wolfgang Roth
,
Astrid Rupp
,
Martin Tappler
,
Markus Tranninger
.
pts 2019
:
3-21
[doi]
TestDCat: Catalog of Test Debt Subtypes and Management Activities
Bruno Sabóia Aragão
,
Rossana M. C. Andrade
,
Ismayle S. Santos
,
Rute N. S. Castro
,
Valéria Lelli
,
Ticianne G. R. Darin
.
pts 2019
:
279-295
[doi]
Regular Expression Learning with Evolutionary Testing and Repair
Paolo Arcaini
,
Angelo Gargantini
,
Elvinia Riccobene
.
pts 2019
:
22-40
[doi]
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines
Andrea Bombarda
,
Silvia Bonfanti
,
Angelo Gargantini
,
Marco Radavelli
,
Feng Duan
,
Yu Lei
.
pts 2019
:
67-85
[doi]
Testing Chatbots Using Metamorphic Relations
Josip Bozic
,
Franz Wotawa
.
pts 2019
:
41-55
[doi]
Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs
Clotilde Erard
,
Alain Giorgetti
.
pts 2019
:
159-175
[doi]
Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings
Christophe Gaston
,
Nikolai Kosmatov
,
Pascale Le Gall
, editors,
Volume 11812 of
Lecture Notes in Computer Science
, Springer,
2019.
[doi]
Towards an Efficient Performance Testing Through Dynamic Workload Adaptation
Osvaldo Huerta-Guevara
,
Vanessa Ayala-Rivera
,
Liam Murphy
,
A. Omar Portillo-Dominguez
.
pts 2019
:
215-233
[doi]
DYNAMOJM: A JMeter Tool for Performance Testing Using Dynamic Workload Adaptation
Osvaldo Huerta-Guevara
,
Vanessa Ayala-Rivera
,
Liam Murphy
,
A. Omar Portillo-Dominguez
.
pts 2019
:
234-241
[doi]
Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation
Florian Klück
,
Martin Zimmermann
,
Franz Wotawa
,
Mihai Nica
.
pts 2019
:
140-156
[doi]
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts
Omer Nguena-Timo
,
Dimitri Prestat
,
Antoine Rollet
.
pts 2019
:
104-120
[doi]
Attack Tolerance for Services-Based Applications in the Cloud
Georges Ouffoué
,
Fatiha Zaïdi
,
Ana R. Cavalli
.
pts 2019
:
242-258
[doi]
Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms
Diego Rivera
,
Edgardo Montes de Oca
,
Wissam Mallouli
,
Ana R. Cavalli
,
Brecht Vermeulen
,
Matevz Vucnik
.
pts 2019
:
270-278
[doi]
A Mechanised Proof of an Adaptive State Counting Algorithm
Robert Sachtleben
,
Robert M. Hierons
,
Wen-ling Huang
,
Jan Peleska 0001
.
pts 2019
:
176-193
[doi]
Automatic Generation of Test Oracles from Component Based Software Architectures
Maxime Samson
,
Thomas Vergnaud
.
pts 2019
:
261-269
[doi]
An Empirical Evaluation of Search Algorithms for App Testing
Leon Sell
,
Michael Auer
,
Christoph Frädrich
,
Michael Gruber
,
Philemon Werli
,
Gordon Fraser
.
pts 2019
:
123-139
[doi]
A Model Checking Based Approach for Detecting SDN Races
Evgenii Vinarskii
,
Jorge López
,
Natalia Kushik
,
Nina Yevtushenko
,
Djamal Zeghlache
.
pts 2019
:
194-211
[doi]
Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs
Nina Yevtushenko
,
Victor V. Kuliamin
,
Natalia Kushik
.
pts 2019
:
86-103
[doi]
2018
Interactive Testing and Repairing of Regular Expressions
Paolo Arcaini
,
Angelo Gargantini
,
Elvinia Riccobene
.
pts 2018
:
1-16
[doi]
Validation of Transformation from Abstract State Machine Models to C++ Code
Silvia Bonfanti
,
Angelo Gargantini
,
Atif Mashkoor
.
pts 2018
:
17-32
[doi]
Security Testing for Chatbots
Josip Bozic
,
Franz Wotawa
.
pts 2018
:
33-38
[doi]
JMCTest: Automatically Testing Inter-Method Contracts in Java
Paul Börding
,
Jan Haltermann
,
Marie-Christine Jakobs
,
Heike Wehrheim
.
pts 2018
:
39-55
[doi]
Testing Ambient Assisted Living Solutions with Simulations
Marlon Cárdenas
,
Jorge J. Gómez-Sanz
,
Juan Pavón
.
pts 2018
:
56-61
[doi]
Generating OCL Constraints from Test Case Schemas For Testing Model Behavior
Nisha Desai
,
Martin Gogolla
.
pts 2018
:
62-68
[doi]
Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach
Jorge López
,
Natalia Kushik
,
Asma Berriri
,
Nina Yevtushenko
,
Djamal Zeghlache
.
pts 2018
:
69-84
[doi]
Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
Inmaculada Medina-Bulo
,
Mercedes G. Merayo
,
Robert M. Hierons
, editors,
Volume 11146 of
Lecture Notes in Computer Science
, Springer,
2018.
[doi]
An Energy Aware Testing Framework for Smart-Spaces
Teruhiro Mizumoto
,
Khaled El-Fakih
,
Keiichi Yasumoto
,
Teruo Higashino
.
pts 2018
:
85-101
[doi]
C++11/14 Mutation Operators Based on Common Fault Patterns
Ali Parsai
,
Serge Demeyer
,
Seph De Busser
.
pts 2018
:
102-118
[doi]
Conformance Testing and Inference of Embedded Components
Alexandre Petrenko
,
Florent Avellaneda
.
pts 2018
:
119-134
[doi]
Neural Networks as Artificial Specifications
I. S. Wishnu B. Prasetya
,
Minh An Tran
.
pts 2018
:
135-141
[doi]
Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems
Sébastien Salva
,
Elliott Blot
,
Patrice Laurençot
.
pts 2018
:
142-148
[doi]
Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts
Aleksandr Tvardovskii
,
Khaled El-Fakih
,
Nina Yevtushenko
.
pts 2018
:
149-154
[doi]
From Ontologies to Input Models for Combinatorial Testing
Franz Wotawa
,
Yihao Li
.
pts 2018
:
155-170
[doi]
2017
Fault-Based Testing for Refinement in CSP
Ana Cavalcanti
,
Adenilso da Silvs Simão
.
pts 2017
:
21-37
[doi]
Safety-Complete Test Suites
Wen-ling Huang
,
Jan Peleska 0001
.
pts 2017
:
145-161
[doi]
Effective Infinite-State Model Checking by Input Equivalence Class Partitioning
Niklas Krafczyk
,
Jan Peleska 0001
.
pts 2017
:
38-53
[doi]
Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation
Aleksandr Tvardovskii
.
pts 2017
:
333-339
[doi]
n-Complete Test Suites for IOCO
Petra van den Bos
,
Ramon Janssen
,
Joshua Moerman
.
pts 2017
:
91-107
[doi]
Sign in
or
sign up
to see more results.