W. Adrion, J. Brandstad, and J. Cherniabsky, Validation, Verification, and Testing of Computer Software, ACM Computing Surveys, vol.14, issue.2, pp.159-192, 1982.
DOI : 10.1145/356876.356879

B. Beizer, Software Testing Techniques, 1990.

B. Beizer, Black Box Testing: Techniques for Functional Testing of Software and Systems, IEEE Software, vol.13, issue.5, 1995.
DOI : 10.1109/MS.1996.536464

B. Boehm, Software Engineering Economics, 1981.

N. G. Leveson and C. S. Turner, An investigation of the Therac-25 accidents, Computer, vol.26, issue.7, pp.18-41, 1993.
DOI : 10.1109/MC.1993.274940

J. L. Lions, ARIANE 5. Flight 501 Failure, 1996.

G. Myers, The Art of Software Testing, 2004.
DOI : 10.1002/9781119202486

J. A. Nelder and R. Mead, A Simplex Method for Function Minimization, The Computer Journal, vol.7, issue.4, pp.308-313, 1965.
DOI : 10.1093/comjnl/7.4.308

R. Patton, Software Testing, 2005.

R. Skeel, Roundoff Error and the Patriot Missile, Society for Industrial and Applied Mathematics (SIAM) News, vol.25, p.11, 1992.

P. Skruch, Abstract, Open Engineering, vol.1, issue.2, pp.174-180, 2011.
DOI : 10.2478/s13531-011-0015-8

J. Ziegler and N. Nichols, Optimum Settings for Automatic Controllers, Journal of Dynamic Systems, Measurement, and Control, vol.115, issue.2B, pp.759-768, 1942.
DOI : 10.1115/1.2899060