Unverified50% confidenceFactExact time
The theory of mutation testing can be traced back to a 1971 student paper by Richard Lipton.
1
Sources
50%
Confidence
Long-term
Relevance
9/8/2026
First Seen
Sources
Related Entities
Related Claims
Unverified1979年，Richard DeMillo、Richard Lipton 和 Alan Perlis 发表了论文《Social Processes and Proofs of Theorems and Programs》，质疑形式化验证的可行性65% similarVerifiedThe concept of regulatory capture was first proposed by economist George Stigler in 1971.63% similarUnverified批判种族理论起源于1970年代末至1980年代美国法学院，由德里克·贝尔、金伯莱·克伦肖等学者发展而来62% similarUnverifiedAssertions can be traced back as far as 1972, to the program correctness verification method proposed by David Parnas.59% similarUnverifiedSignaling Theory was proposed by economist Michael Spence in 1973.58% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/879338API
curl https://kongchang.com/api/v1/knowledge/claims/879338MCP
get_claim(id=879338)