Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: Verification of Set-Top box media player functionality using automated test system
Improved automatic DTV/STB menu navigation for functional verification
Benefits and limitations of automated software testing: systematic literature review and practitioner survey
Automated testing of non-functional requirements based on behavioural scripts
Automatic Testing of Software with Structurally Complex Inputs
Automated black-box testing with abstract VDM oracles
AutoBlackTest: a tool for automatic black-box testing
Automatic generation of test scripts from formal test specifications
New architecture of the object-oriented functional coverage mechanism for digital verification
An Automated Web Application Testing System
Software test automation in practice: empirical observations
CPAchecker: A Tool for Configurable Software Verification
State of the art: Dynamic symbolic execution for automated test generation
On the Effectiveness of Unit Test Automation at Microsoft
A program testing system
Model-based Approach to Security Test Automation
Combined static and dynamic automated test generation
Black-box testing using flowgraphs: an experimental assessment of effectiveness and automation potential
Functional Verification of USB Mass Storage
Computer Aided Verification
An automated framework for software test oracle
Design and Development of Water Quality Monitoring System Based on Wireless Sensor Network in Aquaculture
real options and rules of thumb in capital budgeting 1 .
Machine Learning Equalization Techniques for High Speed PAM 4 Fiber Optic Communication Systems
Hotel Revenue Management – A Critical Literature Review
Overview of Digital Television Development Worldwide