John Penix

According to our database, John Penix authored at least 31 papers between 1995 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Experiences developing tools for developers (invited talk).

John Penix

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Techniques for improving regression testing in continuous integration development environments.

Sebastian G. Elbaum, Gregg Rothermel, John Penix

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

2013

Big problems in industry (panel).

John Penix

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

Large-scale test automation in the cloud (Invited industrial talk).

John Penix

Proceedings of the 34th International Conference on Software Engineering, 2012

2010

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

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2008

Using Static Analysis to Find Bugs.

Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, William W. Pugh

IEEE Softw., 2008

Predicting accurate and actionable static analysis warnings: an experimental approach.

Joseph R. Ruthruff, John Penix, J. David Morgenthaler, Sebastian G. Elbaum, Gregg Rothermel

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Evaluating static analysis defect warnings on production software.

Nathaniel Ayewah, William W. Pugh, J. David Morgenthaler, John Penix, YuQian Zhou

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

Using FindBugs on production software.

Nathaniel Ayewah, William W. Pugh, J. David Morgenthaler, John Penix, YuQian Zhou

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006

Guest Editors' Introduction.

John Penix, John C. Grundy

Autom. Softw. Eng., 2006

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

Design for Verification with Dynamic Assertions.

Peter C. Mehlitz, John Penix

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

2003

Management of Interdependencies in Collaborative Software Development.

Cleidson R. B. de Souza, David F. Redmiles, Gloria Mark, John Penix, Maarten Sierhuis

Proceedings of the 2003 International Symposium on Empirical Software Engineering (ISESE 2003), 30 September, 2003

2001

Formal Analysis of a Space-Craft Controller Using SPIN.

Klaus Havelund, Michael R. Lowry, John Penix

IEEE Trans. Software Eng., 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

Automated analysis, verification and testing.

Nigel Tracey, John Penix, Willem Visser

Softw. Focus, 2001

The first international workshop on automated program analysis, testing and verification.

John Penix, Nigel Tracey, Willem Visser

ACM SIGSOFT Softw. Eng. Notes, 2001

Amphion/NAV: Deductive Synthesis of State Estimation Software.

Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

The Second International Workshop on Automated Program Analysis, Testing and Verification.

Nigel Tracey, John Penix, Willem Visser

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Verification of time partitioning in the DEOS scheduler kernel.

John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Using predicate abstraction to reduce object-oriented programs for model checking.

Willem Visser, Seungjoon Park, John Penix

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

1999

Efficient Specification-Based Component Retrieval.

John Penix, Perry Alexander

Autom. Softw. Eng., 1999

Deductive Synthesis of Event-Based Software Architectures.

John Penix

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Evaluation of Automated Software Engineering Systems? (Panel).

John Penix

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

1998

Compositional specification of software architecture.

John Penix

Proceedings of the Third International Workshop on Software Architecture, 1998

Using Formal Specifications for Component Retrieval and Reuse.

John Penix, Perry Alexander

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Experiences in verifying parallel simulation algorithms.

John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

1997

Declarative Specification of Software Architectures.

John Penix, Perry Alexander, Klaus Havelund

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Verification and Validation of AI Systems that Control Deep-Space Spacecraft.

Michael R. Lowry, Klaus Havelund, John Penix

Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration.

Murali Rangarajan, John Penix, Perry Alexander, Philip A. Wilsey

Proceedings of the Proceedings 30st Annual Simulation Symposium (SS '97), April 7-9, 1997, 1997

1995

Classification and Retrieval of Reusable Components Using Semantic Features.

John Penix, Phillip Baraona, Perry Alexander

Proceedings of the Proceedings KBSE'95, 1995