Static Analysis Publications

Publications in Static Analysis

Explore the most influential research papers and scholarly works that have shaped Static Analysis. Use the concept filter below to focus on a specific sub-area of research.

Static Analysis

2.9K

Publications

168.8K

Citations

Showing yearly statistics from 2000-2026.

Page 1

	Year	Citations
Pin Chi-Keung Luk, Robert Cohn, Robert Muth, ACM SIGPLAN Notices EngineeringComputer ArchitectureSoftware EngineeringSoftware AnalysisPintools Source	2005	3.2K
Pin Chi-Keung Luk, Robert Cohn, Robert Muth, EngineeringComputer ArchitectureSoftware EngineeringSoftware AnalysisPintools Source	2005	2.3K
DART Patrice Godefroid, Nils Klarlund, Koushik Sen ACM SIGPLAN Notices EngineeringVerificationSoftware EngineeringRandom TestingSoftware Analysis	2005	2.1K
Static Analysis of Shape in TensorFlow Programs arXiv (Cornell University) EngineeringMachine LearningGeometryMachine Learning ToolShape Analysis	2016	1.7K
DART Patrice Godefroid, Nils Klarlund, Koushik Sen EngineeringVerificationSoftware EngineeringRandom TestingSoftware Analysis	2005	1.5K
Extended static checking for Java Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Software MaintenanceProgram CheckingEngineeringVerificationSoftware Engineering	2002	1.3K
The geometry of innocent flesh on the bone Hovav Shacham EngineeringCompiler TechnologyComputer ArchitectureX86 Instruction SetAnatomical Model	2007	1.3K
Dynamically discovering likely program invariants to support program evolution Michael D. Ernst, Jake Cockrell, William G. Griswold, IEEE Transactions on Software Engineering Software MaintenanceProgram CheckingEngineeringVerificationSoftware Engineering	2001	1K
Automated software test data generation Bogdan Korel IEEE Transactions on Software Engineering Software MaintenanceEngineeringSoftware SystemsTest Data GenerationSoftware Engineering	1990	964
Static analysis of a passive vibration isolator with quasi-zero-stiffness characteristic A. Carrella, M.J. Brennan, T.P. Waters Journal of Sound and Vibration Modal AnalysisEngineeringMechanicsMechanical EngineeringStatic Analysis	2006	885
SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis Yan Shoshitaishvili, Ruoyu Wang, Christopher Salls, EngineeringInformation SecuritySoftware EngineeringSource Code AnalysisSoftware Analysis	2016	883
Constraint-based automatic test data generation R.A. DeMilli, A. Jefferson Offutt IEEE Transactions on Software Engineering Relative AdequacyEngineeringVerificationSoftware SystemsTest Data Generation	1991	803

Page 1