Ralph D. Jeffords

8 papers and 277 indexed citations i.

About

Ralph D. Jeffords has authored 8 papers that have received a total of 277 indexed citations. This includes 7 papers in Software, 6 papers in Computational Theory and Mathematics and 3 papers in Artificial Intelligence. The topics of these papers are Software Reliability and Analysis Research (7 papers), Formal Methods in Verification (6 papers) and Software Testing and Debugging Techniques (3 papers). Ralph D. Jeffords is often cited by papers focused on Software Reliability and Analysis Research (7 papers), Formal Methods in Verification (6 papers) and Software Testing and Debugging Techniques (3 papers) and collaborates with scholars based in United States. Ralph D. Jeffords's co-authors include Constance Heitmeyer, Myla Archer, Ramesh Bharadwaj and B. Labaw and has published in prestigious journals such as Communications of the ACM, ACM Transactions on Software Engineering and Methodology and Formal Methods in System Design

In The Last Decade

Rankless by CCL
2025