Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Testing Software and Systems: 32nd IFIP WG 6. 1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings > Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT
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
Springer International Publishing
Testing Software and Systems: 32nd IFIP WG 6. 1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT
Authors

Bernhard K. Aichernig; Christian Burghard

ARI Id

1665290909529_5751393

Access

Not Available Free

Pages

35-51

DOI

10.1007/978-3-030-64881-7_3

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-64881-7_3

Table of Contents of Book
Showing 1 to 20 of 28 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xii
Front Matter
1-1
Using Model Learning for the Generation of Mock Components
Sébastien Salva; Elliott Blot
3-19
Interrogating Virtual Agents: In Quest of Security Vulnerabilities
Josip Bozic; Franz Wotawa
20-34
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT
Bernhard K. Aichernig; Christian Burghard
35-51
Learning Abstracted Non-deterministic Finite State Machines
Andrea Pferscher; Bernhard K. Aichernig
52-69
Front Matter
71-71
APPregator: A Large-Scale Platform for Mobile Security Analysis
Luca Verderame; Davide Caputo; Andrea Romdhana; Alessio Merlo
73-88
Vulsploit: A Module for Semi-automatic Exploitation of Vulnerabilities
Arcangelo Castiglione; Francesco Palmieri; Mariangela Petraglia; Raffaele Pizzolante
89-103
About the Robustness and Looseness of Yara Rules
Gerardo Canfora; Mimmo Carapella; Andrea Del Vecchio; Laura Nardi; Antonio Pirozzi; Corrado Aaron Visaggio
104-120
Measurement-Based Analysis of a DoS Defense Module for an Open Source Web Server
Marta Catillo; Antonio Pecchia; Umberto Villano
121-134
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
135-149
Enabling Next-Generation Cyber Ranges with Mobile Security Components
Enrico Russo; Luca Verderame; Alessio Merlo
150-165
Front Matter
167-167
A Technique for Parallel GUI Testing of Android Applications
Porfirio Tramontana; Nicola Amatucci; Anna Rita Fasolino
169-185
Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements
Martin Erb; Christian Steger; Martin Troyer; Josef Preishuber-Pflügl
186-200
Methods for Live Testing of Cloud Services
Oussama Jebbar; Ferhat Khendek; Maria Toeroe
201-216
Front Matter
217-217
Automated Transition Coverage in Behavioural Conformance Testing
Lina Marsso; Radu Mateescu; Wendelin Serwe
219-235
An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm
Robert Sachtleben
236-254
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 28 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings