Seguir
John Penix
John Penix
Dirección de correo verificada de google.com
Título
Citado por
Citado por
Año
Using static analysis to find bugs
N Ayewah, W Pugh, D Hovemeyer, JD Morgenthaler, J Penix
IEEE software 25 (5), 22-29, 2008
7602008
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
4312014
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
3162007
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
2802001
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
1742008
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
1172000
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
952000
Toward automated component adaptation
J Penix, P Alexander
Proceedings of the Ninth International Conference on Software Engineering …, 1997
941997
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
932007
Efficient specification-based component retrieval
J Penix, P Alexander
Automated Software Engineering 6, 139-170, 1999
891999
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
652000
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
502003
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
482005
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
461998
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
461995
Design for verification using design patterns to build reliable systems
PC Mehlitz, J Penix
Proc. Work. on Component-Based Soft. Eng, 2003
412003
Declarative specification of software architectures
J Penix, P Alexander, K Havelund
Proceedings 12th IEEE International Conference Automated Software …, 1997
371997
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
362001
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
351997
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
332000
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20