default search action

combined dblp search
author search
venue search
publication search

ask others

32nd ICTSS 2020: Naples, Italy

> Home > Conferences and Workshops > ICTSS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/pts/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/2020
Valentina Casola, Alessandra De Benedictis, Massimiliano Rak:
Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings. Lecture Notes in Computer Science 12543, Springer 2020, ISBN 978-3-030-64880-0

Model-Based Testing

- view
  authority control:
- export record
  dblp key:
  - conf/pts/SalvaB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/SalvaB20
Sébastien Salva, Elliott Blot:
Using Model Learning for the Generation of Mock Components. 3-19
- view
  authority control:
- export record
  dblp key:
  - conf/pts/BozicW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/BozicW20
Josip Bozic, Franz Wotawa:
Interrogating Virtual Agents: In Quest of Security Vulnerabilities. 20-34
- view
  authority control:
- export record
  dblp key:
  - conf/pts/AichernigB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/AichernigB20
Bernhard K. Aichernig, Christian Burghard:
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT. 35-51
- view
  authority control:
- export record
  dblp key:
  - conf/pts/PferscherA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/PferscherA20
Andrea Pferscher, Bernhard K. Aichernig:
Learning Abstracted Non-deterministic Finite State Machines. 52-69

Security Testing

- view
  authority control:
- export record
  dblp key:
  - conf/pts/VerderameCRM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/VerderameCRM20
Luca Verderame, Davide Caputo, Andrea Romdhana, Alessio Merlo:
APPregator: A Large-Scale Platform for Mobile Security Analysis. 73-88
- view
  authority control:
- export record
  dblp key:
  - conf/pts/CastiglionePPP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/CastiglionePPP20
Arcangelo Castiglione, Francesco Palmieri, Mariangela Petraglia, Raffaele Pizzolante:
Vulsploit: A Module for Semi-automatic Exploitation of Vulnerabilities. 89-103
- view
  authority control:
- export record
  dblp key:
  - conf/pts/CanforaCVNPV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/CanforaCVNPV20
Gerardo Canfora, Mimmo Carapella, Andrea Del Vecchio, Laura Nardi, Antonio Pirozzi, Corrado Aaron Visaggio:
About the Robustness and Looseness of Yara Rules. 104-120
- view
  authority control:
- export record
  dblp key:
  - conf/pts/CatilloPV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/CatilloPV20
Marta Catillo, Antonio Pecchia, Umberto Villano:
Measurement-Based Analysis of a DoS Defense Module for an Open Source Web Server. 121-134
- view
  authority control:
- export record
  dblp key:
  - conf/pts/MihaitaMEP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/MihaitaMEP20
Alexandra-Elena Mocanu (Mihaita), Bogdan-Costel Mocanu, Christian Esposito, Florin Pop:
Trust Is in the Air: A New Adaptive Method to Evaluate Mobile Wireless Networks. 135-149
- view
  authority control:
- export record
  dblp key:
  - conf/pts/RussoVM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/RussoVM20
Enrico Russo, Luca Verderame, Alessio Merlo:
Enabling Next-Generation Cyber Ranges with Mobile Security Components. 150-165

Testing Methods and Applications

- view
  authority control:
- export record
  dblp key:
  - conf/pts/TramontanaAF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/TramontanaAF20
Porfirio Tramontana, Nicola Amatucci, Anna Rita Fasolino:
A Technique for Parallel GUI Testing of Android Applications. 169-185
- view
  authority control:
- export record
  dblp key:
  - conf/pts/ErbSTP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/ErbSTP20
Martin Erb, Christian Steger, Martin Troyer, Josef Preishuber-Pflügl:
Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements. 186-200
- view
  authority control:
- export record
  dblp key:
  - conf/pts/JebbarKT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/JebbarKT20
Oussama Jebbar, Ferhat Khendek, Maria Toeroe:
Methods for Live Testing of Cloud Services. 201-216

Testing Methods and Automation

- view
  authority control:
- export record
  dblp key:
  - conf/pts/Marsso0S20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/Marsso0S20
Lina Marsso, Radu Mateescu, Wendelin Serwe:
Automated Transition Coverage in Behavioural Conformance Testing. 219-235
- view
  authority control:
- export record
  dblp key:
  - conf/pts/Sachtleben20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/Sachtleben20
Robert Sachtleben:
An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm. 236-254
- view
  authority control:
- export record
  dblp key:
  - conf/pts/SharmaW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/SharmaW20
Arnab Sharma, Heike Wehrheim:
Automatic Fairness Testing of Machine Learning Models. 255-271
- view
  authority control:
- export record
  dblp key:
  - conf/pts/AltieroCMPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/AltieroCMPS20
Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace:
Inspecting Code Churns to Prioritize Test Cases. 272-285

Short Contributions

- view
  authority control:
- export record
  dblp key:
  - conf/pts/VinarskiiLY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/VinarskiiLY20
Evgenii M. Vinarskii, Andrey Laputenko, Nina Yevtushenko:
Using an SMT Solver for Checking the Completeness of FSM-Based Tests. 289-295
- view
  authority control:
- export record
  dblp key:
  - conf/pts/CaturanoPR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/CaturanoPR20
Francesco Caturano, Gaetano Perrone, Simon Pietro Romano:
Hacking Goals: A Goal-Centric Attack Classification Framework. 296-301
- view
  authority control:
- export record
  dblp key:
  - conf/pts/JinKCT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/JinKCT20
Hao Jin, Takashi Kitamura, Eun-Hye Choi, Tatsuhiro Tsuchiya:
A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems. 302-309
- view
  authority control:
- export record
  dblp key:
  - conf/pts/PereiraBM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/PereiraBM20
Ricardo B. Pereira, Miguel A. Brito, Ricardo J. Machado:
Architecture Based on Keyword Driven Testing with Domain Specific Language for a Testing System. 310-316

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.