Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Multiple-implementation testing of supervised learning software
Application of Metamorphic Testing to Supervised Classifiers
Semi-supervised learning with an imperfect supervisor
Automatic test-based assessment of programming: A review
Thoughtful Machine Learning - A Test-Driven Approach
Symbolic execution for software testing: three decades later
Implementing Efficient, Portable Computations for Machine Learning
Empirically Evaluating the Quality of Automatically Generated and Manually Written Test Suites
Benchmarking Least Squares Support Vector Machine Classifiers
Tutorial: Static Analysis and Dynamic Testing of Computer Software
Optimization Techniques for Semi-Supervised Support Vector Machines
Using Class Imbalance Learning for Software Defect Prediction
A Comparison of Methods for Multiclass Support Vector Machines
A framework for practical, automated black-box testing of component-based software
Scaling regression testing to large software systems
Application of Genetic Algorithm in Software Testing
An Empirical Study on Software Failure Classification with Multi-label and Problem-Transformation Techniques
Software test automation in practice: empirical observations
A literature survey on algorithms for multi-label learning
Automatic system testing of programs without test oracles
Active learning for automatic classification of software behavior
Who keeps children alive? A review of the effects of kin on child survival
Safety Verification of Deep Neural Networks
eye gaze patterns in conversations : there is more the conversational agents than meets the eyes .
Rank-Sparsity Incoherence for Matrix Decomposition
Fact Checking in Heterogeneous Information Networks