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
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
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
Metamorphic testing : a new approach for generating next test cases, 1998. ,
On Testing Non-Testable Programs, The Computer Journal, vol.25, issue.4, pp.465-470, 1982. ,
DOI : 10.1093/comjnl/25.4.465
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
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. ,
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
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. ,
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. ,
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
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
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
Computers and Interactibility: A Guide to the Theory of NP-Completeness, 1979. ,
Introduction to Algorithms, 1990. ,
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
Design of mutant operators for the C programming language, 1989. ,