Concepedia

John Penix

JP

25

Publications

2K

Citations

19

H-Index

1997

Active since

Affiliations

Ames Research Center(Current)

Research Institute for Advanced Computer Science

Google (United States)

University of Cincinnati

University of Maryland, College Park

John Penix is an author at Ames Research Center specializing in computer science, engineering, and software engineering.

Top concepts

EngineeringComputer ScienceSoftware AnalysisSoftware EngineeringProgram AnalysisFormal VerificationFormal MethodsSoftware DesignVerificationSoftware Testing

Publications per year

1997–2014

25

Publications

25

Using Static Analysis to Find Bugs

Nathaniel Ayewah, William Pugh, David Hovemeyer et al. · IEEE Software · 2008 · 512 citations

Software Maintenance, Sql Injection, Engineering +17

Techniques for improving regression testing in continuous integration development environments

Sebastian Elbaum, Gregg Rothermel, John Penix · 2014 · 318 citations

Software Maintenance, Engineering, Test Coverage +19

Evaluating static analysis defect warnings on production software

Nathaniel Ayewah, William Pugh, J. David Morgenthaler et al. · 2007 · 213 citations

Software Maintenance, Engineering, Verification +19

Formal analysis of a space-craft controller using SPIN

Klaus Havelund, M. Lowry, John Penix · IEEE Transactions on Software Engineering · 2001 · 178 citations

Engineering, Verification, Software Engineering +20

Predicting accurate and actionable static analysis warnings

Joseph R. Ruthruff, John Penix, J. David Morgenthaler et al. · 2008 · 122 citations

Software Maintenance, Engineering, Verification +21

Rows per page

1–5 of 25