Citation Impact
Citing Papers
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
2008 Standout
Finding security vulnerabilities in java applications with static analysis
2005 Standout
A Comprehensive Review and Synthesis of Open Source Research
2010
Model Checking Programs
2003 Standout
Cloud computing adoption framework: A security framework for business clouds
2015 Standout
Synthesizing information systems knowledge: A typology of literature reviews
2014 Standout
Static analysis for security
2004
Assessing and Comparing Vulnerability Detection Tools for Web Services: Benchmarking Approach and Examples
2014
Works of John Penix being referenced
Formal Analysis of the Remote Agent Before and After Flight
2000
Formal analysis of a space-craft controller using SPIN
2001
Using Static Analysis to Find Bugs
2008