Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: Generating Test Adapters for ModelJunit
A taxonomy of model-based testing approaches
Automated unit test generation for classes with environment dependencies
Experiences of System-Level Model-Based GUI Testing of an Android Application
Automatic generation of test scripts from formal test specifications
Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
Korat: automated testing based on Java predicates
Randoop : Feedback-Directed Random Testing for Java
A methodology for controlling the size of a test suite
Automated testing of GUI applications: models, tools, and controlling flakiness
Automatic test generation: a use case driven approach
Case Study of Test Case Generation Based on Metamodel for Model Transformations
Judy -- a mutation testing tool for Java
A GUI modeling DSL for pattern-based GUI testing PARADIGM
jModelTest 2: more models, new heuristics and parallel computing
Software unit test coverage and adequacy
EvoSuite: automatic test suite generation for object-oriented software
Advances in Automated Model-Based System Testing of Software Applications with a GUI Front-End
Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests
Jcrasher: an automatic robustness tester for java
Automated Generation of Context-Aware Tests
Smart city technologies and architectures: A literature review
A Comparison of Some Structural Testing Strategies
Semi-Supervised Classification via Local Spline Regression
Pose Guided Person Image Generation
The determinants of customer interactions with internet-enabled e-banking services