A data flow oriented program testing strategy (1983)

Cached

Download Links

by Janusz W. Laski , Bogdan Korel
Venue:IEEE Trans. Software Eng
Citations:124 - 1 self

Active Bibliography

Automatic Generation of Solvers for Multisource Data Flow Analysis Problems – John H. E. F. Lasseter - 2004
255 Software unit test coverage and adequacy – Hong Zhu, Patrick A. V. Hall, John H. R. May - 1997
4 Probabilistic Program Analysis for Software Component Reliability – David Victor Mason - 2002
243 Dynamic program slicing – Bogdan Korel - 1988
71 Information-flow and data-flow analysis of while-programs – Jean-franc Bergeretti, Bernard A. Carry - 1985
Abstract Data Flow Analysis Techniques for Test Data Selection – unknown authors
5 Academic Legitimacy of the Software Engineering Discipline – Daniel M. Berry - 1992
47 Compiling for the Multiscalar Architecture – T. N. Vijaykumar - 1998
2 Program analysis and test hypotheses complement – R. M. Hierons, M. Harman - 2000
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
END – J. C. Huang, Read X Y - 1980
7 A Formal, Language-Independent, and Compositional Approach to Interprocedural Control Dependence Analysis – Judith A. Stafford - 2000
3 Efficient data flow analysis using DJ-graphs: Elimination methods revisited – Vugranam C. Sreedhar, Guang R. Gao, Yong-fong Lee, Yong-fong Leey - 1995
1 Compile-Time Compaction Of Traces For Memory Simulation – Vesa Hirvisalo, Vesa Hirvisalo, Dr. Tech Esko Nuutila - 1998
53 Elimination algorithms for data flow analysis – Barbara G. Ryder, Marvin C. Paull - 1986
49 Inline function expansion for compiling c programs – Wen-mei W. Hwu, Pohua P. Chang - 1989
31 Verification, Validation and Testing – Osman Balci
Smalltalk Metaprogramming supports Probabilistic Program Analysis – Dave Mason
1 The Effectiveness of Category-Partition Testing of Object-Oriented Software – Alisa Irvine, A. Jefferson Offutt - 1995