Information Technology Reference
In-Depth Information
References
1. EiffelBase. Eiffel Software,
http://www.eiffel.com/libraries/base.html
2. EiffelStudio. Eiffel Software,
http://www.eiffel.com/
3. Arcuri, A., Iqbal, M., Briand, L.: Formal analysis of the effectiveness and predictability of
random testing. In: Proceedings of the 19th International Symposium on Software Testing
and Analysis, pp. 219-230. ACM (2010)
4. Ciupa, I., Leitner, A., Oriol, M., Meyer, B.: Experimental assessment of random testing for
object-oriented software. In: Proceedings of the International Symposium on Software Test-
ing and Analysis 2007 (ISSTA 2007), pp. 84-94 (2007)
5. Ciupa, I., Pretschner, A., Leitner, A., Oriol, M., Meyer, B.: On the predictability of random
tests for object-oriented software. In: First International Conference on Software Testing,
Verification, and Validation 2008 (ICST 2008), pp. 72-81 (2008)
6. European Cooperation for Space Coordination. Space product assurance - Software product
assurance, ECSS-Q-ST-80C. ESA Requirements and Standards Division (2009)
7. Frankl, P., Weiss, S.: An experimental comparison of the effectiveness of branch testing and
data flow testing. IEEE Transactions on Software Engineering 19(8), 774-787 (1993)
8. Goodenough, J.B., Gerhart, S.L.: Toward a theory of test data selection. IEEE Trans. Soft-
ware Eng. 1(2), 156-173 (1975)
9. Gupta, A., Jalote, P.: An approach for experimentally evaluating effectiveness and efficiency
of coverage criteria for software testing. Int. J. Softw. Tools Technol. Transf. 10(2), 145-160
(2008)
10. Hamlet, D.: When only random testing will do. In: RT 2006: Proceedings of the 1st interna-
tional workshop on Random testing, pp. 1-9. ACM, New York (2006)
11. Hamlet, R.: Random testing. In: Encyclopedia of Software Engineering, pp. 970-978. Wiley
(1994)
12. Hamming, R.W.: Error detecting and error correcting codes. The Bell System Technical Jour-
nal 26(2), 147-160 (1950)
13. Hutchins, M., Foster, H., Goradia, T., Ostrand, T.: Experiments of the effectiveness of
dataflow- and controlflow-based test adequacy criteria. In: ICSE 1994: Proceedings of the
16th International Conference on Software Engineering, pp. 191-200. IEEE Computer Soci-
ety Press, Los Alamitos (1994)
14. Leitner, A., Oriol, M., Zeller, A., Ciupa, I., Meyer, B.: Efficient unit test case minimization.
In: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software
Engineering (ASE 2007), pp. 417-420 (2007)
15. Myers, G.J.: The Art of Software Testing, 2nd edn. John Wiley and Sons (2004)
16. Ntafos, S.: On random and partition testing. In: ISSTA 1998: Proceedings of the 1998 ACM
SIGSOFT International Symposium on Software Testing and Analysis, pp. 42-48. ACM,
New York (1998)
17. Weyuker, E., Jeng, B.: Analyzing partition testing strategies. IEEE Transactions on Software
Engineering 17(7), 703-711 (1991)
18. Yang, Q., Li, J.J., Weiss, D.: A survey of coverage based testing tools. In: AST 2006: Pro-
ceedings of the 2006 International Workshop on Automation of Software Test, pp. 99-103.
ACM, New York (2006)
19. Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Comput.
Surv. 29(4), 366-427 (1997)
