The data mining approach to automated software testing

Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining

Volumn , Issue , 2003, Pages 388-396

  Last, Mark ^a   Friedman, Menahem ^b   Kandel, Abraham ^c  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

^b NUCLEAR RESEARCH CENTER NEGEV   (Israel)

^c University of South Florida   (United States)

Author keywords

Automated software testing; Finite element solver; Info fuzzy networks; Input output analysis; Regression testing

Indexed keywords

AUTOMATED SOFTWARE TESTING; FINITE ELEMENT SOLVER; INFO-FUZZY NETWORKS; INPUT OUTPUT ANALYSIS; REGRESSION TESTING;

ALGORITHMS; AUTOMATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; DIFFERENTIAL EQUATIONS; FINITE ELEMENT METHOD; FUZZY CONTROL; RECTANGULAR WAVEGUIDES; REGRESSION ANALYSIS; SOFTWARE DESIGN; SOFTWARE TESTING; SPECIFICATIONS; STATISTICS; TESTING;

DATA MINING;

EID: 2942569936     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/956750.956795     Document Type: Conference Paper

References (40)

1. Astra QuickTest from Mercury Interactive http://astratryandbuy. mercuryinteractive.com
2. Beizer, B. Software Testing Techniques. 2nd Edition, Thomson, 1990.
3. Blackburn, M. R., Busser, R. D., Fontaine, J. S. Automatic Generation of Test Vectors for SCR-Style Specifications. Proceedings of the 12th Annual Conference on Computer Assurance (Gaithersburg, Maryland, June 1997).
4. Breiman, L., Friedman, J. H., Olshen, R. A., and Stone, P. J. Classification and Regression Trees. Wadsworth, 1984.
5. Bryant, R. E. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, C-35-8, 677-691, 1986.
6. Cover, T. M., and Thomas, J. A. Elements of Information Theory. Wiley, 1991.
7. DeMillo R. A., and Offlut, A. J. Constraint-Based Automatic Test Data Generation. IEEE Transactions on Software Engineering, 17, 9, 900-910, 1991.
8. Dustin, E., Rashka, J., Paul, J. Automated Software Testing: Introduction, Management, and Performance. Addison-Wesley, 1999.
9. Elbaum, S., Malishevsky, A. G., Rothermel, G. Prioritizing Test Cases for Regression Testing. Proc. of ISSTA '00, 102-112, 2000.
10. El-Ramly, M., Stroulia, E., Sorenson, P. From Run-time Behavior to Usage Scenarios: An Interaction-pattern Mining Approach. Proceedings of KDD-2002 (Edmonton, Canada, July 2002), ACM Press, 315-327.
11. Fayyad, U., and Irani, K. Multi-Interval Discretization of Continuous-Valued Attributes for Classification Learning. Proc. Thirteenth Int'l Joint Conference on Artificial Intelligence (San Mateo, CA, 1993), 1022-1027.
12. Friedman, M., Rosenfeld, Y., Rabinovitch A., and Thieberger, R. Finite Element Methods for Solving the Two Dimensional Schrödinger Equation. J. of Computational Physics, 26, 2, 1978.
13. Friedman, M., Schneider, M., Kandel, A. FIDES - Fuzzy Intelligent Differential Equation Solver. Avignon, 1987.
14. Friedman, M., Strauss, M., Amendt, P., London R. A., and Glinsky, M. E. Two-Dimensional Rayleigh Model For Bubble Evolution in Soft Tissue. Physics of Fluids, 14, 5, 2002.
15. Hamlet, D. What Can We Learn by Testing a Program? Proc. of ISSTA 98, 50-52, 1998.
16. Hildebrandt, R., Zeller, A. Simplifying Failure-Inducing Input. Proc. of ISSTA '00, 135-145, 2000.
17. Kaner, C., Falk, J., Nguyen, H. Q. Testing Computer Software. Wiley, 1999.
18. Kohavi R. Bottom-Up Induction of Oblivious Read-Once Decision Graphs. Proceedings of the ECML-94, European Conference on Machine Learning (Catania, Italy, April 6-8, 1994), 154-169.
19. Kohavi R., and Li, C.-H. Oblivious Decision Trees, Graphs, and Top-Down Pruning. Proc. of International Joint Conference on Artificial Intelligence (IJCAI), 1071-1077, 1995.
20. Last M., and Kandel, A. Automated Quality Assurance of Continuous Data. NATO Advanced Research Workshop on Systematic Organisation of Information in Fuzzy Systems (Vila Real, Portugal, October 25-27), 2001.
21. Last M., and Kandel, A. Automated Test Reduction Using an Info-Fuzzy Network. to appear in Annals of Software Engineering, Special Volume on Computational Intelligence in Software Engineering, 2003.
22. Last M., and Maimon, O. A Compact and Accurate Model for Classification. to appear in IEEE Transactions on Knowledge and Data Engineering, 2003.
23. Last, M. Online Classification of Nonstationary Data Streams. Intelligent Data Analysis, 6, 2, 129-147, 2002.
24. Last, M., Kandel, A., Maimon, O. Information-Theoretic Algorithm for Feature Selection. Pattern Recognition Letters, 22 (6-7), 799-811, 2001.
25. Last, M., Maimon, O., Minkov, E. Improving Stability of Decision Trees. International Journal of Pattern Recognition and Artificial Intelligence, 16, 2, 145-159, 2002.
26. Maimon O., and Last, M. Knowledge Discovery and Data Mining - The Info-Fuzzy Network (IFN) Methodology. Kluwer Academic Publishers, Massive Computing, Boston, December 2000.
27. Mayrhauser, A. von, Anderson, C. W., Chen, T., Mraz, R., Gideon, C. A. On the Promise of Neural Networks to Support Software Testing. In W. Pedrycz and J. F. Peters (eds.). Computational Intelligence in Software Engineering. World Scientific, 3-32, 1998.
28. McDonald B. H., and Wexler, A. Finite Element Solution of Unbounded Field Problems. IEEE Transactions on Microwave Theory and Techniques, MTT-20, 12, 1972.
29. Mikhlin, S. G. Variational Methods in Mathematical Physics. Oxford, Pergamon Press, 1965.
30. Minium, E. W., Clarke, R. B., Coladarci, T. Elements of Statistical Reasoning. Wiley, New York, 1999.
31. Nahamias, S. Production and Operations Analysis. 2nd ed., Irwin, 1993
32. National Institute of Standards & Technology. The Economic Impacts of Inadequate Infrastructure for Software Testing. Planning Report 02-3, May 2002.
33. Pfleeger, S. L. Software Engineering: Theory and Practice. 2nd Edition, Prentice-Hall, 2001.
34. Quinlan, J. R. C4.5: Programs for Machine Learning. Morgan Kaufmann, 1993.
35. Rao, C. R., and Toutenburg, H. Linear Models: Least Squares and Alternatives. Springer-Verlag, 1995.
36. Schroeder P. J., and Korel, B. Black-Box Test Reduction Using Input-Output Analysis. Proc. of ISSTA '00, 173-177, 2000.
37. Vanmali, M., Last, M., Kandel, A. Using a Neural Network in the Software Testing Process. International Journal of Intelligent Systems, 17, 1, 45-62, 2002.
38. Voas J. M., and McGraw, G. Software Fault Injection: Inoculating Programs against Errors. Wiley, 1998.
39. Weyuker, E., Goradia, T., and Singh, A. Automatically Generating Test Data from a Boolean Specification. IEEE Transactions on Software Engineering, 20, 5, 353-363, 1994.
40. Zienkiewicz, O. C. The Finite Element Method in Engineering Science. London, McGraw-Hill, 1971.