| Using static analysis to find bugs N Ayewah, W Pugh, D Hovemeyer, JD Morgenthaler, J Penix IEEE software 25 (5), 22-29, 2008 | 608 | 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 | 311 | 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 | 282 | 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 | 266 | 2001 |
| Predicting accurate and actionable static analysis warnings J Ruthruff, J Penix, J Morgenthaler, S Elbaum, G Rothermel 2008 ACM/IEEE 30th International Conference on Software Engineering, 341-350, 2008 | 151 | 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, 2000 | 114 | 2000 |
| Toward automated component adaptation J Penix, P Alexander Proceedings of the Ninth International Conference on Software Engineering …, 1997 | 98 | 1997 |
| 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 | 95 | 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 | 95 | 2000 |
| Efficient specification-based component retrieval J Penix, P Alexander Automated Software Engineering 6 (2), 139-170, 1999 | 82 | 1999 |
| 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 | 81 | 2007 |
| 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 | 61 | 2000 |
| 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 (2), 103-135, 2005 | 47 | 2005 |
| 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 | 47 | 1995 |
| 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 | 45 | 2003 |
| 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 | 44 | 1998 |
| Design for verification using design patterns to build reliable systems PC Mehlitz, J Penix Proc. of 6th Workshop on Component-Based Software Eng, 2003 | 42 | 2003 |
| Declarative specification of software architectures J Penix, P Alexander, K Havelund Proceedings 12th IEEE International Conference Automated Software …, 1997 | 39 | 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 | 34 | 2001 |
| Verification and validation of AI systems that control deep-space spacecraft M Lowry, K Havelund, J Penix International Symposium on Methodologies for Intelligent Systems, 35-47, 1997 | 34 | 1997 |
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
