Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP
Generating model-based test cases from natural language requirements for space application software
A New Quality Model for Natural Language Requirements Specifications
An orchestrated survey of methodologies for automated software test case generation
Bridging the Gap between Natural Language Requirements and Formal Specifications
generation of test cases from functional requirements . a survey .
Requirements for tools for ambiguity identification and measurement in natural language requirements specifications
Automatic generation of test scripts from formal test specifications
A Review: Study of Test Case Generation Techniques
An automatic tool for the analysis of natural language requirements
A Domain-Specific Language for Modeling Performance Testing Requirements Analysis and Design Decisions
Design of a tool for generating test cases from BPMN
Resolving Ambiguities in Natural Language Software Requirements: A Comprehensive Survey
Automatic Test Cases Generation from Software Specifications
AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets
A comparison of coverage-based and distribution-based techniques for filtering and prioritizing test cases
Model-based Testing
Empirical Principles and an Industrial Case Study in Retrieving Equivalent Requirements via Natural Language Processing Techniques
Combining Multiple Coverage Criteria in Search-Based Unit Test Generation
Investigating NLP-Based Approaches for Predicting Manual Test Case Failure
CM-Builder: A Natural Language-Based CASE Tool for Object-Oriented Analysis
the category - partition method for specifying and generating functional tests .
discovRE: Efficient Cross-Architecture Identification of Bugs in Binary Code
Thinking Fast and Slow with Deep Learning and Tree Search
Generalization without Systematicity: On the Compositional Skills of Sequence-to-Sequence Recurrent Networks
Application of planning models in the agri-food supply chain: A review