Testing Software and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 21)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030648800, 9783030648817
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

About the Robustness and Looseness of Yara Rules

2020 ◽  
pp. 104-120
Author(s):  
Gerardo Canfora ◽  
Mimmo Carapella ◽  
Andrea Del Vecchio ◽  
Laura Nardi ◽  
Antonio Pirozzi ◽  
...  

Using an SMT Solver for Checking the Completeness of FSM-Based Tests

2020 ◽  
pp. 289-295
Author(s):  
Evgenii Vinarskii ◽  
Andrey Laputenko ◽  
Nina Yevtushenko
Keyword(s):  
Smt Solver

Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements

2020 ◽  
pp. 186-200
Author(s):  
Martin Erb ◽  
Christian Steger ◽  
Martin Troyer ◽  
Josef Preishuber-Pflügl
Keyword(s):  
High Precision ◽  
Precision Measurements

APPregator: A Large-Scale Platform for Mobile Security Analysis

2020 ◽  
pp. 73-88
Author(s):  
Luca Verderame ◽  
Davide Caputo ◽  
Andrea Romdhana ◽  
Alessio Merlo
Keyword(s):  
Large Scale ◽  
Security Analysis ◽  
Mobile Security

Methods for Live Testing of Cloud Services

2020 ◽  
pp. 201-216
Author(s):  
Oussama Jebbar ◽  
Ferhat Khendek ◽  
Maria Toeroe
Keyword(s):  
Cloud Services
Load More ...
Sign in / Sign up

Export Citation Format

Share Document