MT 2017 - 2nd International Workshop on Metamorphic Testing

Metamorphic testing (MT) is a testing technique that exploits the relationships among the inputs and outputs of multiple executions of the program under test. These relationships are called Metamorphic Relations (MRs). MT has been proven highly effective in testing programs that face the oracle problem, for which the correctness of individual output is difficult to determine. MT has been applied to test various applications in domains of, to name a few, machine learning, bioinformatics, computer graphics, simulation, search engines, decision support, Cloud computing, databases, and compilers, where test oracles are unavailable or difficult to implement.
The main objective of MET is to offer a forum for researchers and practitioners who are interested in MT to discuss and advance the state of the art of the subject. Topics of interest include, but are not limited to:
1. Guidelines and techniques for the construction of MRs or MT test cases.
2. Prioritization and minimization of MRs or MT test cases.
3. Quality assessment mechanisms for MRs or MT test cases (e.g. metrics and adequacy criteria)
4. Automated generation of likely MRs.
5. Combination of MRs.
6. Formal methods involving MRs.
7. Case studies and applications.
8. Tools.
9. Surveys.
10. Empirical studies.
11. Integration/comparison with other techniques.
12. Novel applications, perspectives, or theories inspired by MT, which can be beyond conventional software testing topics.