An algorithm for capturing variables dependences in test suites

Journal of Systems and Software

Volumn 84, Issue 7, 2011, Pages 1171-1190

  Masri, Wes ^a   Halabi, Hiba ^a  

^a AMERICAN UNIVERSITY OF BEIRUT   (Lebanon)

Author keywords

Dynamic information flow analysis; Memoization; Test suite profiling

Indexed keywords

COMPARATIVE STUDIES; DEPENDENCE ANALYSIS; DYNAMIC INFORMATION FLOW ANALYSIS; DYNAMIC SLICING; FAULT LOCALIZATION; MEMOIZATION; MEMORY CONSUMPTION; OTHER ALGORITHMS; REDUCED ORDERED BINARY DECISION DIAGRAM; RUNTIMES; TEST RUNS; TEST SUITE PROFILING;

ALGORITHMS; BINARY DECISION DIAGRAMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; DYNAMIC ANALYSIS; SOFTWARE TESTING; TESTING;

PROGRAM DEBUGGING;

EID: 79956213401     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2011.02.007     Document Type: Article

References (33)

1. H. Agrawal, and J.R. Horgan Dynamic program slicing Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation (White Plains, New York, United States). PLDI '90. ACM, New York, NY 1990 246 256
2. The Byte Code Engineering Library (BCEL), 2003. The Apache Jakarta Project, http://jakarta.apache.org/bcel. Apache Software Foundation 2003.
3. Á. Beszedes, T. Gergely, Z.M. Szabó, J. Csirik, and T. Gyimothy Dynamic slicing method for maintenance of large C programs Proceedings of the Fifth European Conference on Software Maintenance and Reengineering (March 14-16, 2001) CSMR. IEEE Computer Society, Washington, DC, 105 2001
4. J. Clause, W. Li, and A. Orso Dytan: a generic dynamic taint analysis framework Proceedings of the 2007 International Symposium on Software Testing and Analysis (London, United Kingdom, July 09-12, 2007). ISSTA '07. ACM, New York, NY 2007 196 206 (Pubitemid 47317593)
5. T. Cormen, C. Leiserson, R. Rivest, and C. Stein Introduction to Algorithms 2 ed. 2001 The MIT Press
6. S. Elbaum, A.G. Malishevsky, and G. Rothermel Test case prioritization: a family of empirical studies IEEE Transactions on Software Engineering 28 2 2002 159 182 (Pubitemid 34198321)
7. C. Faragó, and T. Gergely Handling pointers and unstructured statements in the forward computed dynamic slice algorithm Acta Cybernetica 15 2002 489 508 (Pubitemid 35472339)
8. J. Ferrante, K.J. Ottenstein, and J.D. Warren The program dependence graph and its use in optimization ACM Transactions on Programming Languages and Systems 9 3 1987 319 349 (Pubitemid 17641083)
9. Haldar, V., Chandra, D., Franz, M., 2005. Practical, dynamic information-flow for virtual machines. Technical Report No. 05-02. Department of Information and Computer Science, University of California, Irvine.
10. M. Harman, and S. Danicic Using program slicing to simplify testing Software Testing Verification and Reliability 3 1995 143 162
11. M.J. Harrold, G. Rothermel, K. Sayre, R. Wu, and L. Yi An empirical investigation of the relationship between spectra differences and regression faults Journal of Software Testing, Verification, and Reliability 10 3 2000 171 194
12. B. Korel, and J. Laski Dynamic program slicing Information Processing Letters 29 1988 155 163
13. B. Korel, and S. Yalamanchili Forward computation of dynamic program slices T. Ostrand, Proceedings of the 1994 ACM SIGSOFT international Symposium on Software Testing and Analysis Seattle, Washington, United States, August 17-19, 1994 1994 ISSTA '94. ACM New York, NY 66 79
14. B.W. Lampson A note on the confinement problem Communication of the ACM 16 10 1973 613 615
15. W. Masri, A. Podgurski, and D. Leon An empirical study of test case filtering techniques based on exercising information flows IEEE Transactions on Software Engineering 33 7 2007 454
16. W. Masri, and A. Podgurski Measuring the strength of information flows in programs ACM Transactions on Software Engineering and Methodology 19 2 2009 Article 5, October
17. W. Masri Fault localization based on information flow coverage Software Testing Verification and Reliability 20 2010 121 147
18. W. Masri Exploiting the empirical characteristics of program dependences for improved forward computation of dynamic slice Empirical Software Engineering (Springer) 13 2008 369 399
19. W. Masri, and A. Podgurski Algorithms and tool support for dynamic information flow analysis Information and Software Technology 51 2009 385 404
20. W. Masri, and A. Podgurski Application-based anomaly intrusion detection with dynamic information flow analysis Computers & Security 27 2008 176 187
21. Masri, W., El-Ghali, M., 2009. Test case filtering and prioritization based on coverage of combinations of program elements. Seventh International Workshop on Dynamic Analysis, WODA, Chicago, IL.
22. El-Ghali, M., Masri, W., 2009. Intrusion detection using signatures extracted from execution profiles. 5th International Workshop on Software Engineering for Secure Systems, SESS, Vancouver, Canada.
23. C. Meinel, and T. Theobald Algorithms and Data Structures in VLSI Design 1998 Springer-Verlag New York, Inc. Secaucus, NJ, USA
24. J. Newsome, and D. Song Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software Proceedings of the Network and Distributed System Security Symposium (NDSS 2005) 2005
25. A. Podgurski, and L. Clarke A formal model of program dependencies and its implications for software testing, debugging, and maintenance IEEE Transactions on Software Engineering 16 9 1990 965 979
26. Podgurski, A., 1989. Significance of program dependences for software testing, debugging and maintenance. Ph.D. Thesis. Computer Sc. Dept., U. of Mass. (Sept. 1989).
27. G. Rothermel, R. Untch, C. Chu, and M.J. Harrold Prioritizing test cases for regression testing IEEE Transactions on Software Engineering 27 10 2001 929 948 (Pubitemid 33048252)
28. S. Sinha, M.J. Harrold, and G. Rothermel Interprocedural control dependence ACM Transactions on Software Engineering and Methodology 10 2 2001 209 254 (Pubitemid 33602335)
29. J. Steven, P. Chandra, B. Fleck, and A.J. Podgurski Rapture: A capture/replay tool for observation-based testing Proceedings of the 2000 international Symposium on Software Testing and Analysis, ISSTA 2000 2000
30. X. Zhang, R. Gupta, and Y. Zhang Efficient forward computation of dynamic slices using reduced ordered binary decision diagrams Intl. Conf. on Software Engineering Edinburgh, UK, May 2004
31. X. Zhang, R. Gupta, and Y. Zhang Precise dynamic slicing algorithms IEEE/ACM International Conference on Software Engineering Portland, Oregon, May 2003 319 329
32. Zimmermann, J., Mé, L., Bidan, C., 2003. An improved reference flow control model for policy-based intrusion detection. 8th European Symposium on Research in Computer Security (Gjøvik, Norway, October 2003), Lecture Notes in Computer Science 2808, Springer-Verlag.
33. th Computer Security Applications Conference Las Vegas, November 2003