# Joseph R. Horgan Bellcore(Bell Communications Research)所属の研究者。[[Aditya P. Mathur]] と共に、コードカバレッジと信頼性推定の関係を扱った [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 13 Software Testing and Reliability]] を執筆した。データフローテストツール [[ATAC]] の開発に関わり、TEX・AWK という実プログラムへの適用実験を通じて、機能テストだけでは構造的カバレッジが飽和しないことを実証した。 - [[@2007__FOSE__Software Reliability Engineering - A Roadmap]] §3.6 の表1(コードカバレッジと障害カバレッジの関係に関する文献比較)で、Horgan の1994年の研究(Horgan 1994)が肯定的な知見として引用されている。(Source: [[@2007__FOSE__Software Reliability Engineering - A Roadmap]])