Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Model-based security testing: a taxonomy and systematic classification
Research on Software Security Testing
ALETHEIA: Improving the Usability of Static Security Analysis
A buffer overflow benchmark for software model checkers
A whitebox approach for automated security testing of Android applications on the cloud
Automatic Testing with Formal Methods
An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java
A Comprehensive Cybersecurity Audit Model to Improve Cybersecurity Assurance: The CyberSecurity Audit Model (CSAM)
Adaptable, model-driven security engineering for SaaS cloud-based applications
An empirical model to predict security vulnerabilities using code complexity metrics
Security Requirements Engineering: A Framework for Representation and Analysis
Waterfall and agile requirements-based model for automated test cases generation
Modelling Reusable Security Requirements based on an Ontology Framework
A Knowledge-Based Approach to Intrusion Detection Modeling
PyModel: Model-based testing in Python
model - based security engineering for cyber - physical systems : a systematic mapping study .
New Comprehensive Taxonomies on Mobile Security and Malware Analysis
Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
Eliciting security requirements with misuse cases
Using Machine Learning to Refine Black-Box Test Specifications and Test Suites
TorqueBAR: an ungrounded haptic feedback device
The Cambridge Face Tracker: Accurate, Low Cost Measurement of Head Posture Using Computer Vision and Face Recognition Software
Calcium, Phosphorus, calcium-phosphorus ratio in rib bone of healthy humans
Vulnerability Testing of Software System Using Fault Injection
Traumatic deaths from dog attacks in the United States.