Everything about Dynamic program analysis

🧭 Start here: a 6-step reading path

1. Read the overview: Dynamic program analysisA 5-minute orientation
2. Skim a recent paper: Active community for climate change: a Dynamic Performance Governance analysis of a biodiversity preservation programInfluential work since 2022
3. Pick up a classic book: Advances in Electronics and Electron Physics (Advances in Imaging and Electron Physics)The most-reprinted book on the subject
4. Read the landmark paper: A Systematic Survey of Program Comprehension through Dynamic AnalysisCited 328 times
5. Go sideways: FuzzingA closely related topic
6. Go sideways: Program analysisA closely related topic

🏆 Landmark papers (most cited)

• A Systematic Survey of Program Comprehension through Dynamic Analysis

  B. Cornelissen, A. Zaidman, A. van Deursen · 2009 · IEEE Transactions on Software Engineering · 328 citations

• A dynamic program analysis to find floating-point accuracy problems

  Florian Benz, Andreas Hildebrandt, Sebastian Hack · 2012 · ACM SIGPLAN Notices · 44 citations

• Dynamic analysis for reverse engineering and program understanding

  Eleni Stroulia, Tarja Systä · 2002 · ACM SIGAPP Applied Computing Review · 34 citations

• A randomized dynamic program analysis technique for detecting real deadlocks

  Pallavi Joshi, Chang-Seo Park, Koushik Sen · 2009 · ACM SIGPLAN Notices · 30 citations

• Logic programming environments: Dynamic program analysis and debugging

  Mireille Ducassé, Jacques Noyé · 1994 · The Journal of Logic Programming · 25 citations

• Static program analysis assisted dynamic taint tracking for software vulnerability discovery

  Ruoyu Zhang, Shiqiu Huang, Zhengwei Qi · 2012 · Computers & Mathematics with Applications · 20 citations

• Dynamic simulation of pharmacokinetic systems using the electrical circuit analysis program SPICE2

  Kamlesh M. Thakker, John H. Wood, Donald C. Mikulecky · 1982 · Computer Programs in Biomedicine · 19 citations

• Cobra: a light-weight tool for static and dynamic program analysis

  Gerard J. Holzmann · 2016 · Innovations in Systems and Software Engineering · 12 citations

🆕 Influential since 2022

• Active community for climate change: a Dynamic Performance Governance analysis of a biodiversity preservation program

  Vincenzo Vignieri · 2023 · Sustainability Accounting, Management and Policy Journal · 13 citations

• OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-Program Specialization

  Jorge A. Navas, Ashish Gehani · 2023 · Communications of the ACM · 8 citations

• Rural settlement renovation program assessment and its driving mechanism: A dynamic analysis from local stakeholders’ perspective

  Zhang Yongjia, Wang Jing, Wong Seng Yue · 2025 · Habitat International · 3 citations

• Program Behavior Dynamic Trust Measurement and Evaluation Based on Data Analysis

  Shuai Wang, Aiqun Hu, Tao Li · 2024 · Symmetry · 2 citations

• Fakeium: A dynamic execution environment for JavaScript program analysis

  José Miguel Moreno, Narseo Vallina-Rodriguez, Juan Tapiador · 2025 · SoftwareX · 1 citations

📚 Books worth reading

• Advances in Electronics and Electron Physics (Advances in Imaging and Electron Physics)Peter W. Hawkes · 1984
• 📕TADS--a CFD-based turbomachinery analysis and design system with GUIM. J. Koiro · 1999
• 📕Development of three-dimensional DRAGON grid technologyYao Zheng · 1999
• 📕Dynamic programmingRichard Ernest Bellman · 1956
• 📕Three-dimensional high-lift analysis using a parallel unstructured multigrid solverDimitri Mavriplis · 1998
• 📕Development of curved-plate elements for the exact buckling analysis of composite plate assemblies including transverse-shear effectsDavid Michael McGowan · 1997
• The finite element method for solid and structural mechanicsO. C. Zienkiewicz · 2005
• Wave propagationRichard Ernest Bellman, N.D. Bellman · 1899

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Fuzzing In programming and software development, fuzzing or fuzz testing is an automated software testing technique that involves providing invalid, unexpected…
• Program analysis In computer science, program analysis is the process of analyzing the behavior of computer programs regarding a property such as correctness, robustness…
• PurifyPlus PurifyPlus is a memory debugger program used by software developers to detect memory access errors in programs, especially those written in C or C++. It…
• Parasoft C/C++test Parasoft C/C++test is an integrated set of tools for testing C and C++ source code that software developers use to analyze, test, find defects, and measure…
• Profiling (computer programming) In software engineering, profiling (program profiling, software profiling) is a form of dynamic program analysis that measures, for example, the space…
• Memory debugger A memory debugger is a debugger for finding software memory problems such as memory leaks and buffer overflows. These are due to bugs related to the allocation…
• American Fuzzy Lop (software) Free and open-source software portal American Fuzzy Lop (AFL), stylized in all lowercase as american fuzzy lop, is a free software fuzzer that employs…
• Concolic testing Concolic testing (a portmanteau of concrete and symbolic, also known as dynamic symbolic execution) is a hybrid software verification technique that performs…