Michael W. Whalen

53 papers and 747 indexed citations i.

Michael W. Whalen has authored 53 papers that have received a total of 747 indexed citations. This includes 37 papers in Software, 27 papers in Computational Theory and Mathematics and 16 papers in Information Systems. The topics of these papers are Formal Methods in Verification (27 papers), Software Testing and Debugging Techniques (26 papers) and Software Reliability and Analysis Research (26 papers). Michael W. Whalen is often cited by papers focused on Formal Methods in Verification (27 papers), Software Testing and Debugging Techniques (26 papers) and Software Reliability and Analysis Research (26 papers) and collaborates with scholars based in United States, United Kingdom and South Africa. Michael W. Whalen's co-authors include Mats P. E. Heimdahl, Matt Staats, Ajitha Rajan, Steven P. Miller and Darren Cofer and has published in prestigious journals such as Communications of the ACM, Journal of Lightwave Technology and IEEE Transactions on Software Engineering.