Validation, Verification, and Testing of Computer Software, ACM Computing Surveys, vol.14, issue.2, pp.159-192, 1982. ,
DOI : 10.1145/356876.356879
Software Testing Techniques, 1990. ,
Black Box Testing: Techniques for Functional Testing of Software and Systems, IEEE Software, vol.13, issue.5, 1995. ,
DOI : 10.1109/MS.1996.536464
Software Engineering Economics, 1981. ,
An investigation of the Therac-25 accidents, Computer, vol.26, issue.7, pp.18-41, 1993. ,
DOI : 10.1109/MC.1993.274940
ARIANE 5. Flight 501 Failure, 1996. ,
The Art of Software Testing, 2004. ,
DOI : 10.1002/9781119202486
A Simplex Method for Function Minimization, The Computer Journal, vol.7, issue.4, pp.308-313, 1965. ,
DOI : 10.1093/comjnl/7.4.308
Software Testing, 2005. ,
Roundoff Error and the Patriot Missile, Society for Industrial and Applied Mathematics (SIAM) News, vol.25, p.11, 1992. ,
Abstract, Open Engineering, vol.1, issue.2, pp.174-180, 2011. ,
DOI : 10.2478/s13531-011-0015-8
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