Concepedia

James C. King

JC

Statistics

Publications

14

Citations

3.7K

H-Index

12

Active since

1970

Affiliations

IBM (United States)(Current)

IBM Research - Thomas J. Watson Research Center

Stanford University

James C. King is an author at IBM (United States) specializing in engineering, formal methods, and computer science.

Top concepts

Publications per year

1970–1999

14

Publications

14

Symbolic execution and program testing

James C. King · Communications of the ACM · 1976 · 2.9K citations · Full text

, , +19

A program verifier

James C. King · IFIP Congress · 1970 · 208 citations

, , +10

A new approach to program testing

James C. King · ACM SIGPLAN Notices · 1975 · 190 citations

, , +22

A new approach to program testing

James C. King · 1975 · 102 citations

, , +22

Geometry Turned On: Dynamic Software in Learning, Teaching and Research

Jean Pedersen, James C. King, Doris Schattschneider · College Mathematics Journal · 1998 · 79 citations

, , +22

1–5 of 14