John Penix

Publication Activity (10 Years)

Years Active: 1995-2014
Publications (10 Years): 0

Top Topics

Regression Testing

Problems Involving

Development Environment

Software Engineers

Top Venues

Publications

John Penix
Experiences developing tools for developers (invited talk). SIGSOFT FSE (2014)
Sebastian G. Elbaum, Gregg Rothermel, John Penix
Techniques for improving regression testing in continuous integration development environments. SIGSOFT FSE (2014)
John Penix
Big problems in industry (panel). ASE (2013)
John Penix
Large-scale test automation in the cloud (Invited industrial talk). ICSE (2012)
Mary Jean Harrold, Darko Marinov, Stephen Oney, Mauro Pezzè, Adam A. Porter, John Penix, Per Runeson, Shin Yoo
Introducing Continuous Systematic Testing of Evolving Software. Practical Software Testing: Tool Automation and Human Factors (2010)
Joseph R. Ruthruff, John Penix, J. David Morgenthaler, Sebastian G. Elbaum, Gregg Rothermel
Predicting accurate and actionable static analysis warnings: an experimental approach. ICSE (2008)
Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, William Pugh
Using Static Analysis to Find Bugs. IEEE Softw. 25 (5) (2008)
Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, YuQian Zhou
Evaluating static analysis defect warnings on production software. PASTE (2007)
Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, YuQian Zhou
Using FindBugs on production software. OOPSLA Companion (2007)
John Penix, John C. Grundy
Guest Editors' Introduction. Autom. Softw. Eng. 13 (3) (2006)
John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods Syst. Des. 26 (2) (2005)
Peter C. Mehlitz, John Penix
Design for Verification with Dynamic Assertions. SEW (2005)
Cleidson R. B. de Souza, David F. Redmiles, Gloria Mark, John Penix, Maarten Sierhuis
Management of Interdependencies in Collaborative Software Development. ISESE (2003)
Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat
Amphion/NAV: Deductive Synthesis of State Estimation Software. ASE (2001)
Nigel Tracey, John Penix, Willem Visser
Automated analysis, verification and testing. Softw. Focus 2 (2) (2001)
Klaus Havelund, Michael R. Lowry, John Penix
Formal Analysis of a Space-Craft Controller Using SPIN. IEEE Trans. Software Eng. 27 (8) (2001)
Nigel Tracey, John Penix, Willem Visser
The Second International Workshop on Automated Program Analysis, Testing and Verification. ICSE (2001)
Nigel Tracey, John Penix, Willem Visser
Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000). Softw. Test. Verification Reliab. 11 (2) (2001)
John Penix, Nigel Tracey, Willem Visser
The first international workshop on automated program analysis, testing and verification. ACM SIGSOFT Softw. Eng. Notes 26 (1) (2001)
Willem Visser, Seungjoon Park, John Penix
Using predicate abstraction to reduce object-oriented programs for model checking. FMSP (2000)
Nigel Tracey, John Penix, Willem Visser
The First International Workshop on Automated Program Analysis, Testing and Verification. ICSE (2000)
John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger
Verification of time partitioning in the DEOS scheduler kernel. ICSE (2000)
John Penix
Deductive Synthesis of Event-Based Software Architectures. ASE (1999)
John Penix, Perry Alexander
Efficient Specification-Based Component Retrieval. Autom. Softw. Eng. 6 (2) (1999)
John Penix
Evaluation of Automated Software Engineering Systems? (Panel). ASE (1999)
John Penix, Perry Alexander
Using Formal Specifications for Component Retrieval and Reuse. HICSS (3) (1998)
John Penix
Compositional specification of software architecture. ISAW@FSE (1998)
John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey
Experiences in verifying parallel simulation algorithms. FMSP (1998)
Murali Rangarajan, John Penix, Perry Alexander, Philip A. Wilsey
Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration. Annual Simulation Symposium (1997)
John Penix, Perry Alexander, Klaus Havelund
Declarative Specification of Software Architectures. ASE (1997)
Michael R. Lowry, Klaus Havelund, John Penix
Verification and Validation of AI Systems that Control Deep-Space Spacecraft. ISMIS (1997)
John Penix, Phillip Baraona, Perry Alexander
Classification and Retrieval of Reusable Components Using Semantic Features. KBSE (1995)