Filter your results
- 20
- 19
- 1
- 20
- 20
- 20
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.186-200, ⟨10.1007/978-3-030-64881-7_12⟩
Conference papers
hal-03239810v1
|
||
|
Using an SMT Solver for Checking the Completeness of FSM-Based Tests32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.289-295, ⟨10.1007/978-3-030-64881-7_18⟩
Conference papers
hal-03239812v1
|
||
|
A Technique for Parallel GUI Testing of Android Applications32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.169-185, ⟨10.1007/978-3-030-64881-7_11⟩
Conference papers
hal-03239817v1
|
||
|
Vulsploit: A Module for Semi-automatic Exploitation of Vulnerabilities32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.89-103, ⟨10.1007/978-3-030-64881-7_6⟩
Conference papers
hal-03239821v1
|
||
|
About the Robustness and Looseness of Yara Rules32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.104-120, ⟨10.1007/978-3-030-64881-7_7⟩
Conference papers
hal-03239822v1
|
||
|
Measurement-Based Analysis of a DoS Defense Module for an Open Source Web Server32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.121-134, ⟨10.1007/978-3-030-64881-7_8⟩
Conference papers
hal-03239811v1
|
||
|
Inspecting Code Churns to Prioritize Test Cases32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.272-285, ⟨10.1007/978-3-030-64881-7_17⟩
Conference papers
hal-03239823v1
|
||
|
Trust Is in the Air: A New Adaptive Method to Evaluate Mobile Wireless Networks32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.135-149, ⟨10.1007/978-3-030-64881-7_9⟩
Conference papers
hal-03239830v1
|
||
|
Automatic Fairness Testing of Machine Learning Models32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.255-271, ⟨10.1007/978-3-030-64881-7_16⟩
Conference papers
hal-03239825v1
|
||
|
Methods for Live Testing of Cloud Services32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.201-216, ⟨10.1007/978-3-030-64881-7_13⟩
Conference papers
hal-03239818v1
|
||
|
Testing Software and SystemsSpringer International Publishing, LNCS-12543, 2020, Lecture Notes in Computer Science, 978-3-030-64880-0. ⟨10.1007/978-3-030-64881-7⟩
Books
hal-03239808v1
|
||
|
An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.236-254, ⟨10.1007/978-3-030-64881-7_15⟩
Conference papers
hal-03239826v1
|
||
|
Learning Abstracted Non-deterministic Finite State Machines32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.52-69, ⟨10.1007/978-3-030-64881-7_4⟩
Conference papers
hal-03239824v1
|
||
|
Interrogating Virtual Agents: In Quest of Security Vulnerabilities32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.20-34, ⟨10.1007/978-3-030-64881-7_2⟩
Conference papers
hal-03239829v1
|
||
|
Architecture Based on Keyword Driven Testing with Domain Specific Language for a Testing System32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.310-316, ⟨10.1007/978-3-030-64881-7_21⟩
Conference papers
hal-03239828v1
|
||
|
A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.302-309, ⟨10.1007/978-3-030-64881-7_20⟩
Conference papers
hal-03239827v1
|
||
|
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.35-51, ⟨10.1007/978-3-030-64881-7_3⟩
Conference papers
hal-03239819v1
|
||
|
Enabling Next-Generation Cyber Ranges with Mobile Security Components32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.150-165, ⟨10.1007/978-3-030-64881-7_10⟩
Conference papers
hal-03239813v1
|
||
|
APPregator: A Large-Scale Platform for Mobile Security Analysis32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.73-88, ⟨10.1007/978-3-030-64881-7_5⟩
Conference papers
hal-03239815v1
|
||
|
Hacking Goals: A Goal-Centric Attack Classification Framework32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.296-301, ⟨10.1007/978-3-030-64881-7_19⟩
Conference papers
hal-03239816v1
|