Path-directed source test case generation and prioritization in metamorphic testing

Metamorphic testing of driverless cars

(2019) Zhi Quan Zhou et al.   COMMUNICATIONS OF THE ACM

Metamorphic Testing

(2018) Tsong Yueh Chen et al.   ACM COMPUTING SURVEYS

A Survey of Symbolic Execution Techniques

(2018) Roberto Baldoni et al.   ACM COMPUTING SURVEYS

Adaptive Partition Testing

(2018) Chang-ai Sun et al.   IEEE TRANSACTIONS ON COMPUTERS

A Theoretical and Empirical Study of Diversity-aware Mutation Adequacy Criterion

(2017) Donghwan Shin et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Metamorphic Testing of RESTful Web APIs

(2017) Sergio Segura et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

A Survey on Metamorphic Testing

(2016) Sergio Segura et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

METRIC: METamorphic Relation Identification based on the Category-choice framework

(2016) Tsong Yueh Chen et al.   JOURNAL OF SYSTEMS AND SOFTWARE

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

(2013) Corina S. Păsăreanu et al.   Automated Software Engineering

How Effectively Does Metamorphic Testing Alleviate the Oracle Problem?

(2013) Huai Liu et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Regression testing minimization, selection and prioritization: a survey

(2012) S. Yoo et al.   SOFTWARE TESTING VERIFICATION & RELIABILITY

Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging

(2010) T.Y. Chen et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Testing and validating machine learning classifiers by metamorphic testing

(2010) Xiaoyuan Xie et al.   JOURNAL OF SYSTEMS AND SOFTWARE

An innovative approach for testing bioinformatics programs using metamorphic testing

(2009) Tsong Chen et al.   BMC BIOINFORMATICS