Linked e-resources
Details
Table of Contents
Model-Based Testing
Using Model Learning for the Generation of Mock Components
Interrogating Virtual Agents: In Quest of Security Vulnerabilities
Giving a Model-based Testing Language a Formal Semantics via Partial MAX-SAT
Learning Abstracted Non-Deterministic Finite State Machines
Security Testing
APPregator: a large-scale platform for mobile security analysis
Vulsploit: a module for semi-automatic exploitation of vulnerabilities
About the Robustness and Looseness of Yara Rules
Measurement-based analysis of a DoS Defense Module for an Open Source Web Server
Trust is in the air: a new adaptive method to evaluate mobile wireless networks
Enabling Next-Generation Cyber Ranges with Mobile Security Components
Testing Methods and Applications
A Technique for Parallel GUI Testing of Android Applications
Trigger Alarm A Smart NFC Sniffer for High-Precision Measurements
Methods for Live Testing of Cloud Services
Testing Methods and Automation
Automated Transition Coverage in Behavioural Conformance Testing
An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm
Automatic Fairness Testing of Machine Learning Models
Inspecting Code Churns to Prioritize Test Cases
Short Contributions
Using an SMT solver for checking the completeness of FSM-based tests
Hacking Goals: a goal-centric attack taxonomy in computer systems
A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems
Architecture based on keyword driven testing with domain specific language for a testing system.
Using Model Learning for the Generation of Mock Components
Interrogating Virtual Agents: In Quest of Security Vulnerabilities
Giving a Model-based Testing Language a Formal Semantics via Partial MAX-SAT
Learning Abstracted Non-Deterministic Finite State Machines
Security Testing
APPregator: a large-scale platform for mobile security analysis
Vulsploit: a module for semi-automatic exploitation of vulnerabilities
About the Robustness and Looseness of Yara Rules
Measurement-based analysis of a DoS Defense Module for an Open Source Web Server
Trust is in the air: a new adaptive method to evaluate mobile wireless networks
Enabling Next-Generation Cyber Ranges with Mobile Security Components
Testing Methods and Applications
A Technique for Parallel GUI Testing of Android Applications
Trigger Alarm A Smart NFC Sniffer for High-Precision Measurements
Methods for Live Testing of Cloud Services
Testing Methods and Automation
Automated Transition Coverage in Behavioural Conformance Testing
An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm
Automatic Fairness Testing of Machine Learning Models
Inspecting Code Churns to Prioritize Test Cases
Short Contributions
Using an SMT solver for checking the completeness of FSM-based tests
Hacking Goals: a goal-centric attack taxonomy in computer systems
A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems
Architecture based on keyword driven testing with domain specific language for a testing system.