John Penix
John Penix
Dirección de correo verificada de
Citado por
Citado por
Using static analysis to find bugs
N Ayewah, W Pugh, D Hovemeyer, JD Morgenthaler, J Penix
IEEE software 25 (5), 22-29, 2008
Techniques for improving regression testing in continuous integration development environments
S Elbaum, G Rothermel, J Penix
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
Evaluating static analysis defect warnings on production software
N Ayewah, W Pugh, JD Morgenthaler, J Penix, YQ Zhou
Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2007
Formal analysis of a space-craft controller using SPIN
K Havelund, M Lowry, J Penix
IEEE Transactions on Software Engineering 27 (8), 749-765, 2001
Predicting accurate and actionable static analysis warnings: an experimental approach
JR Ruthruff, J Penix, JD Morgenthaler, S Elbaum, G Rothermel
Proceedings of the 30th international conference on Software engineering …, 2008
Formal analysis of the remote agent before and after flight
K Havelund¹, M Lowry, SJ Park, C Pecheur, J Penix, W Visser, JL White
Lfm2000: Fifth NASA Langley Formal Methods Workshop 210100, 163, 2000
Verification of time partitioning in the DEOS scheduler kernel
J Penix, W Visser, E Engstrom, A Larson, N Weininger
Proceedings of the 22nd international conference on Software engineering …, 2000
Toward automated component adaptation
J Penix, P Alexander
Proceedings of the Ninth International Conference on Software Engineering …, 1997
Using findbugs on production software
N Ayewah, W Pugh, JD Morgenthaler, J Penix, YQ Zhou
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming …, 2007
Efficient specification-based component retrieval
J Penix, P Alexander
Automated Software Engineering 6, 139-170, 1999
Using predicate abstraction to reduce object-oriented programs for model checking
W Visser, SJ Park, J Penix
Proceedings of the third workshop on Formal methods in software practice, 3-182, 2000
Management of interdependencies in collaborative software development
CRB De Souza, D Redmiles, G Mark, J Penix, M Sierhuis
2003 International Symposium on Empirical Software Engineering, 2003. ISESE …, 2003
Verifying time partitioning in the DEOS scheduling kernel
J Penix, W Visser, S Park, C Pasareanu, E Engstrom, A Larson, ...
Formal Methods in System Design 26, 103-135, 2005
Using model checking to validate AI planner domain models
J Penix, C Pecheur, K Havelund
Proceedings of the 23rd Annual Software Engineering Workshop, NASA Goddard, 1998
Classification and retrieval of reusable components using semantic features
J Penix, P Baraona, P Alexander
Proceedings 1995 10th Knowledge-Based Software Engineering Conference, 131-138, 1995
Design for verification using design patterns to build reliable systems
PC Mehlitz, J Penix
Proc. Work. on Component-Based Soft. Eng, 2003
Declarative specification of software architectures
J Penix, P Alexander, K Havelund
Proceedings 12th IEEE International Conference Automated Software …, 1997
Amphion/NAV: Deductive synthesis of state estimation software
J Whittle, J Van Baalen, J Schumann, P Robinson, T Pressburger, J Penix, ...
Proceedings 16th Annual International Conference on Automated Software …, 2001
Verification and validation of AI systems that control deep-space spacecraft
M Lowry, K Havelund, J Penix
Foundations of Intelligent Systems: 10th International Symposium, ISMIS'97 …, 1997
Applying predicate abstraction to model check object-oriented programs
W Visser, S Park, J Penix
Proceedings of the 3rd ACM SIGSOFT Workshop on Formal Methods in Software …, 2000
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20