D. S. Johnson, Approximation algorithms for combinatorial problems, Journal of Computer and System Sciences, vol.9, issue.3, pp.256-278, 1974.
DOI : 10.1016/S0022-0000(74)80044-9

P. Bodorik and J. S. Riordon, Heuristic Algorithms For Distributed Query Processing, Proceedings [1988] International Symposium on Databases in Parallel and Distributed Systems, 2000.
DOI : 10.1109/DPDS.1988.675011

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.467.6356

H. Cheng, Q. Liu, and X. Jia, Heuristic algorithms for real-time data aggregation in wireless sensor networks, Proceeding of the 2006 international conference on Communications and mobile computing , IWCMC '06, pp.1123-1128, 2006.
DOI : 10.1145/1143549.1143774

T. Y. Chen, S. C. Cheung, and S. M. Yiu, Metamorphic testing : a new approach for generating next test cases, 1998.

E. J. Weyuker, On Testing Non-Testable Programs, The Computer Journal, vol.25, issue.4, pp.465-470, 1982.
DOI : 10.1093/comjnl/25.4.465

W. K. Chan, S. C. Cheung, and K. R. Leung, Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications, Fifth International Conference on Quality Software (QSIC'05), pp.470-476, 2005.
DOI : 10.1109/QSIC.2005.67

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.5787

W. K. Chan, S. C. Cheung, and K. R. Leung, A metamorphic testing approach for online testing of service-oriented software applications. a Special Issue on Service Engineering of, International Journal of Web Services Research, vol.4, issue.2, pp.60-80, 2007.

T. Y. Chen, J. Feng, and T. H. Tse, Metamorphic testing of programs on partial differential equations: a case study, Proceedings 26th Annual International Computer Software and Applications, pp.327-333, 2002.
DOI : 10.1109/CMPSAC.2002.1045022

T. Y. Chen, D. Huang, T. H. Tse, and Z. Q. Zhou, Case studies on the selection of useful relations in metamorphic testing, Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC), pp.569-583, 2004.

T. Y. Chen, T. H. Tse, and Z. Q. Zhou, Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing, Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), pp.191-195, 2002.

T. Y. Chen, T. H. Tse, and Z. Q. Zhou, Fault-based testing without the need of oracles, Information and Software Technology, vol.45, issue.1, pp.1-9, 2003.
DOI : 10.1016/S0950-5849(02)00129-5

A. Gotlieb, Exploiting symmetries to test programs, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003., 2003.
DOI : 10.1109/ISSRE.2003.1251058

URL : https://hal.archives-ouvertes.fr/inria-00071776

W. K. Chan, T. Y. Chen, H. Lu, T. H. Tse, and S. S. Yau, INTEGRATION TESTING OF CONTEXT-SENSITIVE MIDDLEWARE-BASED APPLICATIONS: A METAMORPHIC APPROACH, International Journal of Software Engineering and Knowledge Engineering, vol.45, issue.05, pp.677-703, 2006.
DOI : 10.1145/267580.267590

M. R. Garey and D. S. Johnson, Computers and Interactibility: A Guide to the Theory of NP-Completeness, 1979.

T. H. Cormen, C. E. Leisevsen, and R. L. Rivest, Introduction to Algorithms, 1990.

H. Do, G. Rothermel, and A. Kinneer, Prioritizing JUnit Test Cases: An Empirical Assessment and Cost-Benefits Analysis. Empirical Software Engineering, An International Journal, vol.11, issue.1, pp.33-70, 2006.
DOI : 10.1007/s10664-006-5965-8

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.3564

H. Agrawal, R. A. Demillo, R. Hathaway, W. Hsu, W. Hsu et al., Design of mutant operators for the C programming language, 1989.