James C. King

Publications by Year

Research Areas

Software Testing and Debugging Techniques, Advanced Malware Detection Techniques, Logic, programming, and type systems, Teaching and Learning Programming, Parallel Computing and Optimization Techniques

Most-Cited Works

• → The Astropy Project: Building an Open-science Project and Status of the v2.0 Core Package*(2018)6,911 cited
• → Symbolic execution and program testing(1976)2,950 cited
• A program verifier(1970)
• → A new approach to program testing(1975)190 cited
• → An Introduction to Proving the Correctness of Programs(1976)155 cited
• → Geometry Turned On: Dynamic Software in Learning, Teaching and Research(1998)79 cited
• → Applications of Symbolic Execution to Program Testing(1978)56 cited
• → Proving Programs to be Correct(1971)36 cited
• → Chemical Mechanical Polishing of Al and SiO2 Thin Films: The Role of Consumables(1999)28 cited