Understanding Data Dependences in the Presence of Pointers
作者： Mary Jean Harrold , Alessandro Orso , Saurabh Sinha
DOI:
关键词:
摘要:
参考文章(39)
Ravi Sethi, Jeffrey D. Ullman, Alfred V. Aho, Compilers: Principles, Techniques, and Tools ,(1986)
Leeann Bent, Darren C Atkinson, William G Griswold, A Comparative Study of Two Whole Program Slicers for C University of California at San Diego. ,(2001)
Donglin Liang, Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses static analysis symposium. pp. 279- 298 ,(2001) , 10.1007/3-540-47764-0_16
Ettore M. Merlo, Giuliano Antoniol, A static measure of a subset of intra-procedural data flow testing coverage based on node coverage conference of the centre for advanced studies on collaborative research. pp. 7- ,(1999)
Boris Beizer, Software Testing Techniques ,(1983)
Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford, Dynamic slicing in the presence of unconstrained pointers Proceedings of the symposium on Testing, analysis, and verification. pp. 60- 73 ,(1991) , 10.1145/120807.120813
Donglin Liang, Mary Jean Harrold, Efficient points-to analysis for whole-program analysis foundations of software engineering. ,vol. 24, pp. 199- 215 ,(1999) , 10.1145/318774.318943
William Landi, Barbara G. Ryder, A safe approximate algorithm for interprocedural pointer aliasing ACM SIGPLAN Notices. ,vol. 39, pp. 473- 489 ,(2004) , 10.1145/989393.989440
Hiralal Agrawal, Joseph R. Horgan, Dynamic program slicing programming language design and implementation. ,vol. 25, pp. 246- 256 ,(1990) , 10.1145/93542.93576
S. Rapps, E.J. Weyuker, Selecting Software Test Data Using Data Flow Information IEEE Transactions on Software Engineering. ,vol. SE-11, pp. 367- 375 ,(1985) , 10.1109/TSE.1985.232226