John Penix

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