Classification and Retrieval of Reusable Components Using Semantic Features. - John Penix; Phillip Baraona; Perry Alexander (KBSE, 1995)

Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration. - Murali Rangarajan; John Penix; Perry Alexander; Philip A. Wilsey (Annual Simulation Symposium, 1997)

Verification and Validation of AI Systems that Control Deep-Space Spacecraft. - Michael R. Lowry; Klaus Havelund; John Penix (ISMIS, 1997)

Declarative Specification of Software Architectures. - John Penix; Perry Alexander; Klaus Havelund (ASE, 1997)

Experiences in verifying parallel simulation algorithms. - John Penix; Dale E. Martin; Peter Frey; Ramanan Radhakrishnan; Perry Alexander; Philip A. Wilsey (FMSP, 1998)

Using Formal Specifications for Component Retrieval and Reuse. - John Penix; Perry Alexander (HICSS (3), 1998)

Compositional specification of software architecture. - John Penix (ISAW@FSE, 1998)

Evaluation of Automated Software Engineering Systems? (Panel). - John Penix (ASE, 1999)

Deductive Synthesis of Event-Based Software Architectures. - John Penix (ASE, 1999)

Efficient Specification-Based Component Retrieval. - John Penix; Perry Alexander (Autom. Softw. Eng., 1999)

Using predicate abstraction to reduce object-oriented programs for model checking. - Willem Visser; Seungjoon Park; John Penix (FMSP, 2000)

Verification of time partitioning in the DEOS scheduler kernel. - John Penix; Willem Visser; Eric Engstrom; Aaron Larson; Nicholas Weininger (ICSE, 2000)

The Second International Workshop on Automated Program Analysis, Testing and Verification. - Nigel Tracey; John Penix; Willem Visser (ICSE, 2001)

Amphion/NAV: Deductive Synthesis of State Estimation Software. - Jon Whittle 001; Jeffrey Van Baalen; Johann Schumann; Peter Robinson 004; Thomas Pressburger; John Penix; Phil Oh; Michael R. Lowry; Guillaume P. Brat (ASE, 2001)

The first international workshop on automated program analysis, testing and verification. - John Penix; Nigel Tracey; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2001)

Automated analysis, verification and testing. - Nigel Tracey; John Penix; Willem Visser (Softw. Focus, 2001)

Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000). - Nigel Tracey; John Penix; Willem Visser (Softw. Test. Verification Reliab., 2001)

Formal Analysis of a Space-Craft Controller Using SPIN. - Klaus Havelund; Michael R. Lowry; John Penix (IEEE Trans. Software Eng., 2001)

Management of Interdependencies in Collaborative Software Development. - Cleidson R. B. de Souza; David F. Redmiles; Gloria Mark; John Penix; Maarten Sierhuis (ISESE, 2003)

Design for Verification with Dynamic Assertions. - Peter C. Mehlitz; John Penix (SEW, 2005)

Verifying Time Partitioning in the DEOS Scheduling Kernel. - John Penix; Willem Visser; Seungjoon Park; Corina S. Pasareanu; Eric Engstrom; Aaron Larson; Nicholas Weininger (Formal Methods Syst. Des., 2005)

Guest Editors' Introduction. - John Penix; John C. Grundy (Autom. Softw. Eng., 2006)

Using FindBugs on production software. - Nathaniel Ayewah; William W. Pugh; J. David Morgenthaler; John Penix; YuQian Zhou (OOPSLA Companion, 2007)

Evaluating static analysis defect warnings on production software. - Nathaniel Ayewah; William W. Pugh; J. David Morgenthaler; John Penix; YuQian Zhou (PASTE, 2007)

Predicting accurate and actionable static analysis warnings: an experimental approach. - Joseph R. Ruthruff; John Penix; J. David Morgenthaler; Sebastian G. Elbaum; Gregg Rothermel (ICSE, 2008)

Using Static Analysis to Find Bugs. - Nathaniel Ayewah; David Hovemeyer; J. David Morgenthaler; John Penix; William W. Pugh (IEEE Softw., 2008)

Introducing Continuous Systematic Testing of Evolving Software. - Mary Jean Harrold; Darko Marinov; Stephen Oney; Mauro Pezzè; Adam A. Porter; John Penix; Per Runeson; Shin Yoo (Practical Software Testing: Tool Automation and Human Factors, 2010)

Large-scale test automation in the cloud (Invited industrial talk). - John Penix (ICSE, 2012)

Big problems in industry (panel). - John Penix (ASE, 2013)

Techniques for improving regression testing in continuous integration development environments. - Sebastian G. Elbaum; Gregg Rothermel; John Penix (SIGSOFT FSE, 2014)

Experiences developing tools for developers (invited talk). - John Penix (SIGSOFT FSE, 2014)