待验证50% 置信事实精确时间
变异测试的理论最早可追溯到1971年Richard Lipton的学生论文
1
来源数
50%
置信度
长期有效
时效性
2026/9/8
首次发现
来源
涉及实体
相关事实
待验证1979年，Richard DeMillo、Richard Lipton 和 Alan Perlis 发表了论文《Social Processes and Proofs of Theorems and Programs》，质疑形式化验证的可行性65% 相似已验证监管俘获的概念最早由经济学家乔治·斯蒂格勒在1971年提出63% 相似待验证批判种族理论起源于1970年代末至1980年代美国法学院，由德里克·贝尔、金伯莱·克伦肖等学者发展而来62% 相似待验证断言（Assertion）最早可追溯到1972年David Parnas提出的程序正确性验证方法59% 相似待验证信号理论（Signaling Theory）由经济学家迈克尔·斯宾塞在1973年提出58% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/879338API
curl https://kongchang.com/api/v1/knowledge/claims/879338MCP
get_claim(id=879338)