John Penix

20 papers and 437 indexed citations i.

John Penix has authored 20 papers that have received a total of 437 indexed citations. This includes 9 papers in Artificial Intelligence, 9 papers in Computer Networks and Communications and 9 papers in Software. The topics of these papers are Software Testing and Debugging Techniques (6 papers), Software Engineering Research (6 papers) and Formal Methods in Verification (4 papers). John Penix is often cited by papers focused on Software Testing and Debugging Techniques (6 papers), Software Engineering Research (6 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in United States and United Kingdom. John Penix's co-authors include Willem Visser, J. David Morgenthaler, William Pugh, Nathaniel Ayewah and Klaus Havelund and has published in prestigious journals such as IEEE Transactions on Software Engineering, Lecture notes in computer science and IEEE Software