Global QuickSearch:   Number of matching entries: 0

Search Settings

    引用キー 著者 / 編集者 / 主催者 タイトル 出版年 論文誌 / 会議録 / 書籍 文献タイプ キーワード
    ブルックス02 ブルックス, Jr., フ. 人月の神話 原著発行20周年記念増刷版 (滝沢徹・牧野祐子・富澤昇(訳)) 2002   book 歴史
    BibTeX:
    @book{ブルックス02,
      author = {ブルックス, Jr., フレデリック・P・},
      title = {人月の神話 原著発行20周年記念増刷版 (滝沢徹・牧野祐子・富澤昇(訳))},
      publisher = {ピアソン・エデュケーション},
      year = {2002}
    }
    					
    Allen81 Allen, F.E. The History of Language Processor Technology in IBM 1981 IBM Journal of Research and Development
    Vol. 25 , pp. 535-548  
    article データフロー
    BibTeX:
    @article{Allen81,
      author = {F. E. Allen},
      title = {The History of Language Processor Technology in IBM},
      journal = {IBM Journal of Research and Development},
      publisher = {IBM},
      year = {1981},
      volume = {25},
      pages = {535-548},
      note = {【入手先】Web(IEEE)}
    }
    					
    NOTE: 【入手先】Web(IEEE)
    Allen70 Allen, F.E. Control Flow Analysis 1970 ACM SIGPLAN Notices、Proceedings of a symposium on Compiler optimization
    Vol. 5 (7) , pp. 1-19  
    inproceedings 制御フロー
    BibTeX:
    @inproceedings{Allen70,
      author = {F. E. Allen},
      title = {Control Flow Analysis},
      journal = {ACM SIGPLAN Notices、Proceedings of a symposium on Compiler optimization},
      publisher = {ACM},
      year = {1970},
      volume = {5},
      number = {7},
      pages = {1-19},
      note = {【入手先】Web(ACM)}
    }
    					
    NOTE: 【入手先】Web(ACM)
    Allen76 Allen, F.E. & Cocke, J. A program data flow analysis procedure 1976 Communications of the ACM
    Vol. 19 , pp. 137-146  
    article データフロー
    BibTeX:
    @article{Allen76,
      author = {F. E. Allen and J. Cocke},
      title = {A program data flow analysis procedure},
      journal = {Communications of the ACM},
      publisher = {ACM},
      year = {1976},
      volume = {19},
      pages = {137-146},
      note = {【入手先】Web(ACM)}
    }
    					
    NOTE: 【入手先】Web(ACM)
    Baker57 Baker, C. Review of D.D. McCracken's Digital Computer Programming 1957 Mathematical Tables and Other Aids to Computation
    Vol. 11 (60)  
    misc デバグとテスト
    BibTeX:
    @misc{Baker57,
      author = {C. Baker},
      title = {Review of D.D. McCracken's Digital Computer Programming},
      journal = {Mathematical Tables and Other Aids to Computation},
      year = {1957},
      volume = {11},
      number = {60},
      note = {【入手先】国会図書館、【コメント等】Gelperin/Hetzel(1988)で参照。DebuggingからDemonstrationへの切り替わり。Gruenberger, Program testing : The historical perspective から参照(デバッグとテスト)。}
    }
    					
    NOTE: 【入手先】国会図書館、【コメント等】Gelperin/Hetzel(1988)で参照。DebuggingからDemonstrationへの切り替わり。Gruenberger, Program testing : The historical perspective から参照(デバッグとテスト)。
    Basili91 Basili, V.R. & Musa, J.D. The Future Engineering of Software: A Management Perspective 1991 Computer
    Vol. 24 , pp. 90-96  
    article ソフトウェア・マネジメント
    BibTeX:
    @article{Basili91,
      author = {V. R. Basili and J. D. Musa},
      title = {The Future Engineering of Software: A Management Perspective},
      journal = {Computer},
      publisher = {IEEE},
      year = {1991},
      volume = {24},
      pages = {90-96},
      note = {【入手先】Web(IEEE)}
    }
    					
    NOTE: 【入手先】Web(IEEE)
    Beizer90 Beizer, B. Software Testing Techniques (小野間彰・山浦恒央(訳), ソフトウェアテスト技法, 日経BP社, 1994) 1990   book テスト全般、カバレッジ
    BibTeX:
    @book{Beizer90,
      author = {B. Beizer},
      title = {Software Testing Techniques (小野間彰・山浦恒央(訳), ソフトウェアテスト技法, 日経BP社, 1994)},
      publisher = {Van Nostrand Reinhold},
      year = {1990},
      edition = {2nd},
      note = {【コメント等】参考文献リストのコメントで60年代にcoverage計測が使われていたことが書かれている。}
    }
    					
    NOTE: 【コメント等】参考文献リストのコメントで60年代にcoverage計測が使われていたことが書かれている。
    Beizer84 Beizer, B. Software System Testing and Quality Assurance 1984   book テスト全般
    BibTeX:
    @book{Beizer84,
      author = {B. Beizer},
      title = {Software System Testing and Quality Assurance},
      publisher = {Van Nostrand Reinhold},
      year = {1984},
      note = {【コメント等】Gelperin/Hetzel(1988)で参照。}
    }
    					
    NOTE: 【コメント等】Gelperin/Hetzel(1988)で参照。
    Beizer83 Beizer, B. Software Testing Techniques 1983   book テスト全般
    BibTeX:
    @book{Beizer83,
      author = {B. Beizer},
      title = {Software Testing Techniques},
      publisher = {Van Nostrand Reinhold},
      year = {1983},
      note = {【コメント等】Gelperin/Hetzel(1988)で参照。}
    }
    					
    NOTE: 【コメント等】Gelperin/Hetzel(1988)で参照。
    Bender06 Bender, R. In Memoriam 2006   misc 原因結果グラフ、同値分割
    BibTeX:
    @misc{Bender06,
      author = {R. Bender},
      title = {In Memoriam},
      year = {2006},
      note = {【入手先】Web、【コメント等】Richard BenderはIBM時代はElmendorfの部下。},
      url = {http://benderrbt.com/William-Elmendorf-In%20Memoriam.pdf}
    }
    					
    NOTE: 【入手先】Web、【コメント等】Richard BenderはIBM時代はElmendorfの部下。
    Bernstein93 Bernstein, L. & Yuhas, C. Testing Network Management Software 1993 Journal of Network and System Management
    Vol. 1 (1) , pp. 5-15  
    article 直交表, pairwise
    BibTeX:
    @article{Bernstein93,
      author = {L. Bernstein and C. Yuhas},
      title = {Testing Network Management Software},
      journal = {Journal of Network and System Management},
      year = {1993},
      volume = {1},
      number = {1},
      pages = {5-15},
      note = {【入手先】springerlink、【コメント等】BernsteinはAT&Tの人。T. Yoshidaの論文を参考文献にあげて、The idea for robust software test design, also known as the Taguchi Method, started at Fujitsu in 1984.と書いている。}
    }
    					
    NOTE: 【入手先】springerlink、【コメント等】BernsteinはAT&Tの人。T. Yoshidaの論文を参考文献にあげて、The idea for robust software test design, also known as the Taguchi Method, started at Fujitsu in 1984.と書いている。
    Bertolino07 Bertolino, A. Software Testing Research: Achievements, Challenges, Dreams 2007 Future of Software Engineering (FOSE’07) , pp. 85-103   article テスト理論
    BibTeX:
    @article{Bertolino07,
      author = {A. Bertolino},
      title = {Software Testing Research: Achievements, Challenges, Dreams},
      journal = {Future of Software Engineering (FOSE’07)},
      publisher = {IEEE},
      year = {2007},
      pages = {85-103}
    }
    					
    Binder99 Binder, R.V. Testing Object-Oriented Systems: Models, Patterns, and Tools 1999   book 三角形問題
    BibTeX:
    @book{Binder99,
      author = {R. V. Binder},
      title = {Testing Object-Oriented Systems: Models, Patterns, and Tools},
      publisher = {Addison-Wesley},
      year = {1999}
    }
    					
    Boehm78 Boehm, B.; Brown, J.; Kaspar, H.; Lipow, M.; Macleod, G. & Merrit, M. Characteristics of Software Quality, TRW Series of Software Technology 1 1978   book 品質モデル
    BibTeX:
    @book{Boehm78,
      author = {B.W. Boehm and J.R. Brown and H. Kaspar and M. Lipow and G. Macleod and M. Merrit},
      title = {Characteristics of Software Quality, TRW Series of Software Technology 1},
      publisher = {North-Holland},
      year = {1978},
      note = {【コメント等】1973年のTRWレポートが採録されており、1976年の2nd ICSE論文で書かれた内容も含まれている。}
    }
    					
    NOTE: 【コメント等】1973年のTRWレポートが採録されており、1976年の2nd ICSE論文で書かれた内容も含まれている。
    Boehm73 Boehm, B.; Brown, J.; Kaspar, H.; Lipow, M.; Macleod, G. & Merrit, M. Characteristics of Software Quality, TRW Software Series TRW-SS-73-09 1973   techreport 品質モデル
    BibTeX:
    @techreport{Boehm73,
      author = {B.W. Boehm and J.R. Brown and H. Kaspar and M. Lipow and G. Macleod and M. Merrit},
      title = {Characteristics of Software Quality, TRW Software Series TRW-SS-73-09},
      publisher = {TRW},
      year = {1973}
    }
    					
    Boehm06 Boehm, B.W. A view of 20th and 21st century software engineering 2006 28th ICSE   article ソフトウェア工学、V字モデル
    BibTeX:
    @article{Boehm06,
      author = {B. W. Boehm},
      title = {A view of 20th and 21st century software engineering},
      journal = {28th ICSE},
      publisher = {IEEE},
      year = {2006},
      note = {【入手先】Web},
      url = {http://csse.usc.edu/csse/TECHRPTS/2006/usccsse2006-626/usccsse2006-626.pdf}
    }
    					
    NOTE: 【入手先】Web
    Boehm84 Boehm, B.W. Verifying and Validating Software Requirements and Design Specifications 1984 IEEE Software
    Vol. 1 (1) , pp. 75-88  
    article 上流
    BibTeX:
    @article{Boehm84,
      author = {B. W. Boehm},
      title = {Verifying and Validating Software Requirements and Design Specifications},
      journal = {IEEE Software},
      publisher = {IEEE},
      year = {1984},
      volume = {1},
      number = {1},
      pages = {75-88},
      note = {【入手先】Web、【コメント等】上流工程のValidation。}
    }
    					
    NOTE: 【入手先】Web、【コメント等】上流工程のValidation。
    Boehm81 Boehm, B.W. Software Engineering Economics 1981   book 全般
    BibTeX:
    @book{Boehm81,
      author = {B. W. Boehm},
      title = {Software Engineering Economics},
      publisher = {Prentice-Hall},
      year = {1981},
      note = {【入手先】古書、【コメント等】Are we building the product right? Are we building the right product? 、COCOMO}
    }
    					
    NOTE: 【入手先】古書、【コメント等】Are we building the product right? Are we building the right product? 、COCOMO
    Boehm76 Boehm, B.W.; Brown, J.R. & Lipow, M. Quantitative Evaluation of Software Quality 1976 Proceedings of the 2nd International Conference on Software Engineering , pp. 592-605   inproceedings 品質モデル
    BibTeX:
    @inproceedings{Boehm76,
      author = {B. W. Boehm and J. R. Brown and M. Lipow},
      title = {Quantitative Evaluation of Software Quality},
      journal = {Proceedings of the 2nd International Conference on Software Engineering},
      publisher = {IEEE},
      year = {1976},
      pages = {592-605},
      note = {【コメント等】1976年の第2回 ICSEで発表された論文。1973年のTRW レポート},
      url = {http://csse.usc.edu/csse/TECHRPTS/1976/usccse76-501/usccse76-501.pdf}
    }
    					
    NOTE: 【コメント等】1976年の第2回 ICSEで発表された論文。1973年のTRW レポート
    Brown72a Brown, J.R. Practical applications of automated software tools 1972 WESCON 1972, Session 2   inproceedings カバレッジ,三角形問題
    BibTeX:
    @inproceedings{Brown72a,
      author = {J. R. Brown},
      title = {Practical applications of automated software tools},
      journal = {WESCON 1972, Session 2},
      year = {1972},
      note = {【コメント等】TER(Test Effectiveness Ratio)、三角形問題。}
    }
    					
    NOTE: 【コメント等】TER(Test Effectiveness Ratio)、三角形問題。
    Brown72 Brown, J.R.; DeSalvio, A.J.; Heine, D.E. & Purdy, J.G. Automated Software Quality Assurance: A Case Study of Three Systems 1972 presented at the ACM SIGPLAN Symposium, Chapel Hill, North Carolina, June 21-23 Program Test Methods   incollection カバレッジ,動的解析システム
    BibTeX:
    @incollection{Brown72,
      author = {J. R. Brown and A. J. DeSalvio and D. E. Heine and J. G. Purdy},
      title = {Automated Software Quality Assurance: A Case Study of Three Systems},
      booktitle = {Program Test Methods},
      journal = {presented at the ACM SIGPLAN Symposium, Chapel Hill, North Carolina, June 21-23},
      publisher = {Prentice-Hall},
      year = {1972},
      note = {【コメント等】ブランチ・カバレッジ、TRW社のカバレッジ計測システム(PACE)。}
    }
    					
    NOTE: 【コメント等】ブランチ・カバレッジ、TRW社のカバレッジ計測システム(PACE)。
    Brown72b Brown, J.R. & Hoffman, R.H. Evaluating the Effectiveness of Software Verification - Practical Experience with an Automated Tool (TRW Software Series SS-72-05) 1972 AFIPS Fall Joint Computer Conference, Anaheim, Calif   inproceedings カバレッジ
    BibTeX:
    @inproceedings{Brown72b,
      author = {J. R. Brown and R. H. Hoffman},
      title = {Evaluating the Effectiveness of Software Verification - Practical Experience with an Automated Tool (TRW Software Series SS-72-05)},
      journal = {AFIPS Fall Joint Computer Conference, Anaheim, Calif},
      year = {1972}
    }
    					
    Brownlie92 Brownlie, R.; Prowse, J. & Phadke, M.S. Robust testing of AT&T PMX/StarMAIL using OATS 1992 AT&T Technical Journal
    Vol. 71 (3) , pp. 41-47  
    article 直交表, pairwise
    BibTeX:
    @article{Brownlie92,
      author = {R. Brownlie and J. Prowse and M. S. Phadke},
      title = {Robust testing of AT&T PMX/StarMAIL using OATS},
      journal = {AT&T Technical Journal},
      publisher = {AT&T},
      year = {1992},
      volume = {71},
      number = {3},
      pages = {41-47},
      note = {【コメント等】OATS(Orthogonal Array Test System)}
    }
    					
    NOTE: 【コメント等】OATS(Orthogonal Array Test System)
    Burroughs94 Burroughs, K.; Jain, A. & Erickson, R.L. Improved quality of protocol testing through techniques of experimental design 1994 Proceedings of the IEEE International Conference on Communications (Supercomm/ICC'94), May 1-5, New Orleans, Louisiana, USA. , pp. 745-752   inproceedings 直交表, pairwise
    BibTeX:
    @inproceedings{Burroughs94,
      author = {K. Burroughs and A. Jain and R. L. Erickson},
      title = {Improved quality of protocol testing through techniques of experimental design},
      journal = {Proceedings of the IEEE International Conference on Communications (Supercomm/ICC'94), May 1-5, New Orleans, Louisiana, USA.},
      year = {1994},
      pages = {745-752},
      note = {【コメント等】AETG(Automatic Efficient Test Generator).}
    }
    					
    NOTE: 【コメント等】AETG(Automatic Efficient Test Generator).
    Chow78 Chow, T. Testing software designs modeled by finite-state machines 1978 IEEE Transactions on Software Engineering
    Vol. SE-4 (3) , pp. 178-187  
    article 状態遷移
    BibTeX:
    @article{Chow78,
      author = {T. Chow},
      title = {Testing software designs modeled by finite-state machines},
      journal = {IEEE Transactions on Software Engineering},
      publisher = {IEEE},
      year = {1978},
      volume = {SE-4},
      number = {3},
      pages = {178-187},
      note = {【入手先】Web(IEEE)}
    }
    					
    NOTE: 【入手先】Web(IEEE)
    Cobb78 Cobb, G.W. A measurement of structure for unstructured programming languages 1978 Proceedings of the software quality assurance workshop on Functional and performance issues , pp. 140-147   inproceedings グラフ理論
    BibTeX:
    @inproceedings{Cobb78,
      author = {G. W. Cobb},
      title = {A measurement of structure for unstructured programming languages},
      journal = {Proceedings of the software quality assurance workshop on Functional and performance issues},
      year = {1978},
      pages = {140-147},
      note = {【コメント等】グラフ理論の適用を最初に紹介したのがR. M. Karpの論文(1960)であることが書かれている。}
    }
    					
    NOTE: 【コメント等】グラフ理論の適用を最初に紹介したのがR. M. Karpの論文(1960)であることが書かれている。
    Cohen94 Cohen, D.M.; Dalal, S.R.; Kajla, A. & Patton, G.C. The Automatic Efficient Test Generator (AETG) System 1994 Proceedings of the Fifth International Symposium on Software Reliability Engineering (ISSRE), Monterey, California   inproceedings 直交表, pairwise
    BibTeX:
    @inproceedings{Cohen94,
      author = {D. M. Cohen and S. R. Dalal and A. Kajla and G. C. Patton},
      title = {The Automatic Efficient Test Generator (AETG) System},
      journal = {Proceedings of the Fifth International Symposium on Software Reliability Engineering (ISSRE), Monterey, California},
      year = {1994},
      note = {【入手先】Web、【コメント等】AETG},
      url = {http://aetgweb.argreenhouse.com/papers/1994-issre.pdf}
    }
    					
    NOTE: 【入手先】Web、【コメント等】AETG
    Collard04 Collard, R. Exercise: Analyzing the Triangle Problem 2004 Developing Effective Test Cases   inbook 三角形問題
    BibTeX:
    @inbook{Collard04,
      author = {R. Collard},
      title = {Exercise: Analyzing the Triangle Problem},
      booktitle = {Developing Effective Test Cases},
      year = {2004},
      note = {【入手先】Web},
      url = {http://www.testingeducation.org/conference/wtst3_collard4.pdf}
    }
    					
    NOTE: 【入手先】Web
    Craig04 Craig, R.D. & Jaskiel, S.P. 体系的ソフトウェアテスト入門 ( 成田光彰・宗雅彦(訳)) 2004   book テスト書籍
    BibTeX:
    @book{Craig04,
      author = {R. D. Craig and S. P. Jaskiel},
      title = {体系的ソフトウェアテスト入門 ( 成田光彰・宗雅彦(訳))},
      publisher = {日経BP社},
      year = {2004}
    }
    					
    Duke75 Duke, M.O. Testing in a complex systems environment 1975 IBM Systems Journal
    Vol. 14 (4) , pp. 353  
    article
    BibTeX:
    @article{Duke75,
      author = {M. O. Duke},
      title = {Testing in a complex systems environment},
      journal = {IBM Systems Journal},
      publisher = {IBM},
      year = {1975},
      volume = {14},
      number = {4},
      pages = {353},
      note = {【入手先】Web(IEEE)、【コメント等】Gelperin/Hetzel(1988)で参照されているものと同等のもの(A Guide to Testing in a Complex System Environment. Report GH20-1628. IBM, 1974)}
    }
    					
    NOTE: 【入手先】Web(IEEE)、【コメント等】Gelperin/Hetzel(1988)で参照されているものと同等のもの(A Guide to Testing in a Complex System Environment. Report GH20-1628. IBM, 1974)
    Elmendorf71 Elmendorf, W.R. Disciplined Software Testing 1971 Courant Symposium on Debugging Technique in Large Systems   incollection 初期のテスト文献
    BibTeX:
    @incollection{Elmendorf71,
      author = {W. R. Elmendorf},
      title = {Disciplined Software Testing},
      booktitle = {Courant Symposium on Debugging Technique in Large Systems},
      year = {1971},
      note = {【入手先】古書}
    }
    					
    NOTE: 【入手先】古書
    Elmendorf70 Elmendorf, W.R. Automated Design of Program Test Libraries (IBM Technical Report TR 00.2089) 1970   techreport 原因結果グラフ、他
    BibTeX:
    @techreport{Elmendorf70,
      author = {W. R. Elmendorf},
      title = {Automated Design of Program Test Libraries (IBM Technical Report TR 00.2089)},
      year = {1970},
      note = {【入手先】Web、【コメント等】原因結果グラフの論文。},
      url = {http://www.benderrbt.com/Automated%20Design%20of%20Program%20Test%20Libraries%20-%201970.pdf}
    }
    					
    NOTE: 【入手先】Web、【コメント等】原因結果グラフの論文。
    Elmendorf69 Elmendorf, W.R. Controlling the functional testing of an operating system 1969 IEEE Transactions on Systems Science and Cybernetics , pp. 284-290   article 初期のテスト文献
    BibTeX:
    @article{Elmendorf69,
      author = {W. R. Elmendorf},
      title = {Controlling the functional testing of an operating system},
      journal = {IEEE Transactions on Systems Science and Cybernetics},
      publisher = {IEEE},
      year = {1969},
      pages = {284-290},
      note = {【入手先】Web、【コメント等】Elmendorf のBibliographyにあげられている文献。1968年のカンファレンスで発表し1969年の論文誌に掲載。}
    }
    					
    NOTE: 【入手先】Web、【コメント等】Elmendorf のBibliographyにあげられている文献。1968年のカンファレンスで発表し1969年の論文誌に掲載。
    Elmendorf67 Elmendorf, W.R. Evaluation of the Functional Testing of Control Programs 1967   unpublished 同値分割
    BibTeX:
    @unpublished{Elmendorf67,
      author = {W. R. Elmendorf},
      title = {Evaluation of the Functional Testing of Control Programs},
      year = {1967},
      note = {【入手先】Web、【コメント等】Controlling the functional testing of an operating system(1968)の元の論文},
      url = {http://benderrbt.com/Evaluation%20of%20the%20Functional%20Testing%20of%20Control%20Programs%20-%201967.pdf}
    }
    					
    NOTE: 【入手先】Web、【コメント等】Controlling the functional testing of an operating system(1968)の元の論文
    Fosdick76 Fosdick, L.D. & Osterweil, L.J. Data flow analysis in software reliability 1976 Comput. Surveys
    Vol. 8 , pp. 305  
    article データフロー
    BibTeX:
    @article{Fosdick76,
      author = {L. D. Fosdick and L. J. Osterweil},
      title = {Data flow analysis in software reliability},
      journal = {Comput. Surveys},
      year = {1976},
      volume = {8},
      pages = {305}
    }
    					
    Galey64 Galey, J.M.; Norby, R.E. & Roth, J.P. Techniques for the Diagnosis of Switching Circuit Failures 1964 IEEE Trans. on Communications and Electronics
    Vol. 83 , pp. 509-514  
    article 原因結果グラフ
    BibTeX:
    @article{Galey64,
      author = {J. M. Galey and R. E. Norby and J. P. Roth},
      title = {Techniques for the Diagnosis of Switching Circuit Failures},
      journal = {IEEE Trans. on Communications and Electronics},
      publisher = {IEEE },
      year = {1964},
      volume = {83},
      pages = {509-514},
      note = {【入手先】Web(ACM)、【コメント等】原因結果グラフの考案の元になったスイッチング回路の故障点発見に使われていた手法。国立情報学研究所CiNiiに概要の紹介あり。「スイッチング回路の故障点発見法」(情報処理 6(2), 104, 1965-03-15) http://ci.nii.ac.jp/naid/110002718353}
    }
    					
    NOTE: 【入手先】Web(ACM)、【コメント等】原因結果グラフの考案の元になったスイッチング回路の故障点発見に使われていた手法。国立情報学研究所CiNiiに概要の紹介あり。「スイッチング回路の故障点発見法」(情報処理 6(2), 104, 1965-03-15) http://ci.nii.ac.jp/naid/110002718353
    Gelperin88 Gelperin, D. & Hetzel, B. The Growth of Software Testing 1988 Communications of the ACM
    Vol. 31 (6) , pp. 687-695  
    article テストの歴史全般
    BibTeX:
    @article{Gelperin88,
      author = {D. Gelperin and B. Hetzel},
      title = {The Growth of Software Testing},
      journal = {Communications of the ACM},
      publisher = {ACM},
      year = {1988},
      volume = {31},
      number = {6},
      pages = {687-695},
      note = {【入手先】Web(ACM)}
    }
    					
    NOTE: 【入手先】Web(ACM)
    Gill51 Gill, S. The Diagnosis of Mistakes in Programmes on the EDSAC 1951 Proceedings of the Royal Society of London. Ser. A, Mathematical and physical sciences
    Vol. 206 (1087) , pp. 538-554  
    inproceedings デバグ
    BibTeX:
    @inproceedings{Gill51,
      author = {S. Gill},
      title = {The Diagnosis of Mistakes in Programmes on the EDSAC},
      journal = {Proceedings of the Royal Society of London. Ser. A, Mathematical and physical sciences},
      year = {1951},
      volume = {206},
      number = {1087},
      pages = {538-554},
      note = {【入手先】国会図書館}
    }
    					
    NOTE: 【入手先】国会図書館
    Goldsmith02 Goldsmith, R.F. & Graham, D. The Forgotten Phase 2002 , pp. 45-47   article V字モデル
    BibTeX:
    @article{Goldsmith02,
      author = {R. F. Goldsmith and D. Graham},
      title = {The Forgotten Phase},
      publisher = {Dr. Dobb's Journal},
      year = {2002},
      pages = {45-47},
      note = {【入手先】Web},
      url = {http://www.gopromanagement.com/PDF/07sd.Gold45-47.pdf}
    }
    					
    NOTE: 【入手先】Web
    Goodenough75 Goodenough, J.B. & Gerhart, S.L. Toward a Theory of Test Data Selection 1975 IEEE Transactions on Software Engineering
    Vol. SE-1 (2) , pp. 156-173  
    article テスト理論
    BibTeX:
    @article{Goodenough75,
      author = {J. B. Goodenough and S. L. Gerhart},
      title = {Toward a Theory of Test Data Selection},
      journal = {IEEE Transactions on Software Engineering},
      publisher = {IEEE},
      year = {1975},
      volume = {SE-1},
      number = {2},
      pages = {156-173},
      note = {【入手先】Web}
    }
    					
    NOTE: 【入手先】Web
    Grad62 Grad, B. Decision tables in system design 1962 Proceedings of the 1962 ACM national conference on Digest of technical papers table of contents , pp. 76-77   inproceedings デシジョンテーブル
    BibTeX:
    @inproceedings{Grad62,
      author = {B. Grad},
      title = {Decision tables in system design},
      journal = {Proceedings of the 1962 ACM national conference on Digest of technical papers table of contents},
      publisher = {ACM},
      year = {1962},
      pages = {76-77},
      note = {【入手先】Web(ACM)}
    }
    					
    NOTE: 【入手先】Web(ACM)
    Grad61 Grad, B. Tabular Form in Decision Logic 1961 Datamation   article
    BibTeX:
    @article{Grad61,
      author = {Grad, B.},
      title = {Tabular Form in Decision Logic},
      journal = {Datamation},
      year = {1961},
      note = {【入手先】国会図書館、【コメント等】デシジョンテーブルの初期の歴史が書かれている。B. Gradは1957年〜1959年にデシジョンテーブルを考案したGE社のプロジェクトのリーダだったとのこと(本論文作成時はIBM社に移っている)。}
    }
    					
    NOTE: 【入手先】国会図書館、【コメント等】デシジョンテーブルの初期の歴史が書かれている。B. Gradは1957年〜1959年にデシジョンテーブルを考案したGE社のプロジェクトのリーダだったとのこと(本論文作成時はIBM社に移っている)。
    Gruenberger73 Gruenberger, F. Program testing : The historical perspective 1973 Program Test Methods   incollection デバグとテスト、三角形問題
    BibTeX:
    @incollection{Gruenberger73,
      author = {F. Gruenberger},
      title = {Program testing : The historical perspective},
      booktitle = {Program Test Methods},
      publisher = {Prentice-Hall},
      year = {1973},
      note = {【入手先】古書}
    }
    					
    NOTE: 【入手先】古書
    Gruenberger69 Gruenberger, F. COMPUTING: an introduction 1969   book 初期のテスト文献
    BibTeX:
    @book{Gruenberger69,
      author = {F. Gruenberger},
      title = {COMPUTING: an introduction},
      publisher = {Harcourt, Brace and World},
      year = {1969},
      note = {【入手先】古書、【コメント等】GruenbergerのDatamationの記事はこの書籍からの抜粋。}
    }
    					
    NOTE: 【入手先】古書、【コメント等】GruenbergerのDatamationの記事はこの書籍からの抜粋。
    Gruenberger68 Gruenberger, F. Program testing and validating 1968 Datamation
    Vol. 14 (7) , pp. 39-47  
    article 初期のテスト文献
    BibTeX:
    @article{Gruenberger68,
      author = {F. Gruenberger},
      title = {Program testing and validating},
      journal = {Datamation},
      publisher = {Datamation},
      year = {1968},
      volume = {14},
      number = {7},
      pages = {39-47},
      note = {【入手先】国会図書館、【コメント等】Myersの「ソフトウェアの信頼性」で参照されている(テストケース設計の例題)。Elmendorf のBibliographyにあげられている文献。}
    }
    					
    NOTE: 【入手先】国会図書館、【コメント等】Myersの「ソフトウェアの信頼性」で参照されている(テストケース設計の例題)。Elmendorf のBibliographyにあげられている文献。
    Hamming72 Hamming, R. Computers and society 1972   book 三角形問題
    BibTeX:
    @book{Hamming72,
      author = {R. Hamming},
      title = {Computers and society},
      publisher = {McGraw-Hill},
      year = {1972}
    }
    					
    Head64 Head, R.V. Testing Real-Time Systems, Part 1: development & management 1964 Datamation , pp. 42-48   article テスト(60年代前半)
    BibTeX:
    @article{Head64,
      author = {R. V. Head},
      title = {Testing Real-Time Systems, Part 1: development & management},
      journal = {Datamation},
      publisher = {Datamation},
      year = {1964},
      pages = {42-48},
      note = {【入手先】国会図書館、【コメント等】実践プログラミング技法(Dennie Van Tassel)に記載のあった参考文献。}
    }
    					
    NOTE: 【入手先】国会図書館、【コメント等】実践プログラミング技法(Dennie Van Tassel)に記載のあった参考文献。
    Head64a Head, R.V. Testing Real-Time Systems, Part 2: levels of testing 1964 Datamation , pp. 54-57   article テスト(60年代前半)
    BibTeX:
    @article{Head64a,
      author = {R. V. Head},
      title = {Testing Real-Time Systems, Part 2: levels of testing},
      journal = {Datamation},
      publisher = {Datamation},
      year = {1964},
      pages = {54-57},
      note = {【入手先】国会図書館、【コメント等】実践プログラミング技法(Dennie Van Tassel)に記載のあった参考文献。}
    }
    					
    NOTE: 【入手先】国会図書館、【コメント等】実践プログラミング技法(Dennie Van Tassel)に記載のあった参考文献。
    Heard62 Heard, J.B. The adequacy and efficiency of program testing 1962 Proc. 1962 Conf. Comput. Data Process. Soc. Canada. Toronto , pp. 118-126   inproceedings テスト(60年代前半)
    BibTeX:
    @inproceedings{Heard62,
      author = {J. B. Heard},
      title = {The adequacy and efficiency of program testing},
      journal = {Proc. 1962 Conf. Comput. Data Process. Soc. Canada. Toronto},
      publisher = {University of Toronto Press},
      year = {1962},
      pages = {118-126},
      note = {【入手先】国会図書館、【コメント等】Elmendorf のBibliographyにあげられている文献。}
    }
    					
    NOTE: 【入手先】国会図書館、【コメント等】Elmendorf のBibliographyにあげられている文献。
    Hennell77 Hennell, M.A.; Hedley, D. & Woodward, M.R. Quantifying the test effectiveness of Algol 68 programs 1977 ACM SIGPLAN Notices、Proc. Strathclyde Univ. Conf Algol 68
    Vol. 12 , pp. 36-41  
    inproceedings カバレッジ
    BibTeX:
    @inproceedings{Hennell77,
      author = {M. A. Hennell and D. Hedley and M. R. Woodward},
      title = {Quantifying the test effectiveness of Algol 68 programs},
      journal = {ACM SIGPLAN Notices、Proc. Strathclyde Univ. Conf Algol 68},
      publisher = {ACM},
      year = {1977},
      volume = {12},
      pages = {36-41},
      note = {【入手先】Web(ACM)、【コメント等】LCSAJ(Linear Code Sequence andd Jump)、 TER(Test Effectiveness Ratio、カバレッジ指標)の提案}
    }
    					
    NOTE: 【入手先】Web(ACM)、【コメント等】LCSAJ(Linear Code Sequence andd Jump)、 TER(Test Effectiveness Ratio、カバレッジ指標)の提案
    Hennell76 Hennell, M.A.; Woodward, M.R. & Hedley, D. On program analysis 1976 Information Processing Letters
    Vol. 5 (5) , pp. 136-140  
    article カバレッジ
    BibTeX:
    @article{Hennell76,
      author = {M. A. Hennell and M. R. Woodward, and D. Hedley},
      title = {On program analysis},
      journal = {Information Processing Letters},
      year = {1976},
      volume = {5},
      number = {5},
      pages = {136-140},
      note = {【入手先】国会図書館、【コメント等】LCSAJの提案、 TERの拡張。}
    }
    					
    NOTE: 【入手先】国会図書館、【コメント等】LCSAJの提案、 TERの拡張。
    Hirsh67 Hirsh, I.N. MEMMAP/360 (IBM TR TR-p-1168) 1967   techreport カバレッジ
    BibTeX:
    @techreport{Hirsh67,
      author = {I. N. Hirsh},
      title = {MEMMAP/360 (IBM TR TR-p-1168)},
      publisher = {IBM System Development Division, Product Test Laboratories, IBM Poughkeepsie, N.Y.},
      year = {1967},
      note = {【入手先】★不明★、【コメント等】Cross-fertilization between Hardware Verification and Software Testingで言及あり (Software系カバレッジ)。Beizerのソフトウェアテスト技法で参考文献にあり(p.409)、 「ソフトウェアのステートメントカバレージとブランチカバレージアナライザについての初期の論文」と書かれている。}
    }
    					
    NOTE: 【入手先】★不明★、【コメント等】Cross-fertilization between Hardware Verification and Software Testingで言及あり (Software系カバレッジ)。Beizerのソフトウェアテスト技法で参考文献にあり(p.409)、 「ソフトウェアのステートメントカバレージとブランチカバレージアナライザについての初期の論文」と書かれている。
    Hutchins94 Hutchins, M.; Foster, H.; Goradia, T. & Ostrand, T. Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria 1994 ICSE , pp. 191-200   inproceedings カバレッジ
    BibTeX:
    @inproceedings{Hutchins94,
      author = {M. Hutchins and H. Foster and T. Goradia and T. Ostrand},
      title = {Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria},
      journal = {ICSE},
      publisher = {IEEE},
      year = {1994},
      pages = {191-200},
      note = {【入手先】Web(IEEE)、【コメント等】60年代にcoverage計測が使われていたことが書かれている。}
    }
    					
    NOTE: 【入手先】Web(IEEE)、【コメント等】60年代にcoverage計測が使われていたことが書かれている。
    Jensen79 Jensen, R.W. & Tonies, C. Software Engineering 1979 Software Engineering   book V字モデル
    BibTeX:
    @book{Jensen79,
      author = {R. W. Jensen and C.C. Tonies},
      title = {Software Engineering},
      booktitle = {Software Engineering},
      publisher = {Prentice-Hall},
      year = {1979}
    }
    					
    Jorgensen02 Jorgensen, P.C. Software Testing: A Craftsman's Approach 2nd Ed. 2002   book 三角形問題
    BibTeX:
    @book{Jorgensen02,
      author = {P. C. Jorgensen},
      title = {Software Testing: A Craftsman's Approach 2nd Ed.},
      publisher = {CRC Press},
      year = {2002}
    }
    					
    Karp60 Karp, R.M. A note on the application of graph theory to digital computer programming 1960 Information and Control
    Vol. 3 , pp. 179-190  
    article カバレッジ、グラフ理論
    BibTeX:
    @article{Karp60,
      author = {R. M. Karp},
      title = {A note on the application of graph theory to digital computer programming},
      journal = {Information and Control},
      year = {1960},
      volume = {3},
      pages = {179-190},
      note = {【入手先】国会図書館、【コメント等】J. C. Miller and C. J. Maloney(1963)の参考文献にあり。Cobb(1978)の参考文献にあり。Cobbはグラフ理論の適用を最初に紹介したのがR. M. Karpの論文(1960)であると書いている。}
    }
    					
    NOTE: 【入手先】国会図書館、【コメント等】J. C. Miller and C. J. Maloney(1963)の参考文献にあり。Cobb(1978)の参考文献にあり。Cobbはグラフ理論の適用を最初に紹介したのがR. M. Karpの論文(1960)であると書いている。
    Kavanagh60 Kavanagh, T.F. TABSOL: A Fundamental Concept for Systems-oriented Languages 1960 Proceedings of the 1960 Eastern Joint Computer Conference   inproceedings デシジョンテーブル
    BibTeX:
    @inproceedings{Kavanagh60,
      author = {T. F. Kavanagh},
      title = {TABSOL: A Fundamental Concept for Systems-oriented Languages},
      journal = {Proceedings of the 1960 Eastern Joint Computer Conference},
      year = {1960},
      note = {【入手先】Web(ACM)、【コメント等】GE社はデシジョンテーブルから直接ソースコードを生成するプログラム言語TABSOLを開発}
    }
    					
    NOTE: 【入手先】Web(ACM)、【コメント等】GE社はデシジョンテーブルから直接ソースコードを生成するプログラム言語TABSOLを開発
    Lei98 Lei, Y. & Tai, K.C. In-Parameter-Order: A Test Generation Strategy for Pairwise Testing 1998 The third IEEE High Assurance Systems Engineering Symposium , pp. 254-261   inproceedings 直交表, pairwise
    BibTeX:
    @inproceedings{Lei98,
      author = {Y. Lei and K. C. Tai},
      title = {In-Parameter-Order: A Test Generation Strategy for Pairwise Testing},
      journal = {The third IEEE High Assurance Systems Engineering Symposium},
      year = {1998},
      pages = {254-261},
      note = {【コメント等】In Parameter Order (IPO)}
    }
    					
    NOTE: 【コメント等】In Parameter Order (IPO)
    Lombardi64 Lombardi, L.A. A general business-oriented language based on decision expressions 1964 Communications of the ACM
    Vol. 7 (2) , pp. 104-111  
    article デシジョンテーブル
    BibTeX:
    @article{Lombardi64,
      author = {L. A. Lombardi},
      title = {A general business-oriented language based on decision expressions},
      journal = {Communications of the ACM},
      publisher = {ACM},
      year = {1964},
      volume = {7},
      number = {2},
      pages = {104-111 },
      note = {【入手先】Web(ACM)}
    }
    					
    NOTE: 【入手先】Web(ACM)
    Mandl85 Mandl, R. Orthogonal latin squares: An application of experiment design to compiler testing 1985 Communications of the ACM
    Vol. 28 (10) , pp. 1054-1058  
    article 直交表, pairwise
    BibTeX:
    @article{Mandl85,
      author = {R. Mandl},
      title = {Orthogonal latin squares: An application of experiment design to compiler testing},
      journal = {Communications of the ACM},
      publisher = {ACM},
      year = {1985},
      volume = {28},
      number = {10},
      pages = {1054-1058},
      note = {【入手先】Web(ACM)}
    }
    					
    NOTE: 【入手先】Web(ACM)
    McCabe76 McCabe, T.J. A Complexity Measure 1976 IEEE Transactions on Software Engineering
    Vol. SE-2 (4) , pp. 308-320  
    article グラフ理論,複雑度
    BibTeX:
    @article{McCabe76,
      author = {T. J. McCabe},
      title = {A Complexity Measure},
      journal = {IEEE Transactions on Software Engineering},
      publisher = {IEEE},
      year = {1976},
      volume = {SE-2},
      number = {4},
      pages = {308-320},
      note = {【入手先】Web(IEEE)、【コメント等】サイクロマチック複雑度。}
    }
    					
    NOTE: 【入手先】Web(IEEE)、【コメント等】サイクロマチック複雑度。
    McCall77 McCall, J.A.; Richards, P.K. & Walters, G.F. Factors in Software Quality. Volume I. Concepts and Definitions of Software Quality 1977   techreport 品質モデル
    BibTeX:
    @techreport{McCall77,
      author = {J. A. McCall and P. K. Richards and G. F. Walters},
      title = {Factors in Software Quality. Volume I. Concepts and Definitions of Software Quality},
      publisher = {RADC},
      year = {1977},
      note = {【コメント等】いわゆる「McCallの品質モデル」。GE社のMcCallらがRADC(Rome Air Development Center)の委託を受けてまとめたレポート。},
      url = {http://www.dtic.mil/srch/doc?collection=t3&id=ADA049014}
    }
    					
    NOTE: 【コメント等】いわゆる「McCallの品質モデル」。GE社のMcCallらがRADC(Rome Air Development Center)の委託を受けてまとめたレポート。
    McCall77a McCall, J.A.; Richards, P.K. & Walters, G.F. Factors in Software Quality. Volume II. Metric Data Collection and Validation 1977   techreport 品質モデル
    BibTeX:
    @techreport{McCall77a,
      author = {J. A. McCall and P. K. Richards and G. F. Walters},
      title = {Factors in Software Quality. Volume II. Metric Data Collection and Validation},
      publisher = {RADC},
      year = {1977},
      note = {【コメント等】いわゆる「McCallの品質モデル」。GE社のMcCallらがRADC(Rome Air Development Center)の委託を受けてまとめたレポート。},
      url = {http://www.dtic.mil/srch/doc?collection=t3&id=ADA049015}
    }
    					
    NOTE: 【コメント等】いわゆる「McCallの品質モデル」。GE社のMcCallらがRADC(Rome Air Development Center)の委託を受けてまとめたレポート。
    McCall77b McCall, J.A.; Richards, P.K. & Walters, G.F. Factors in Software Quality. Volume III. Preliminary Handbook on Software Quality for an Acquisiton Manager 1977   techreport 品質モデル
    BibTeX:
    @techreport{McCall77b,
      author = {J. A. McCall and P. K. Richards and G. F. Walters},
      title = {Factors in Software Quality. Volume III. Preliminary Handbook on Software Quality for an Acquisiton Manager},
      publisher = {RADC},
      year = {1977},
      note = {【コメント等】いわゆる「McCallの品質モデル」。GE社のMcCallらがRADC(Rome Air Development Center)の委託を受けてまとめたレポート。},
      url = {http://www.dtic.mil/srch/doc?collection=t3&id=ADA049055}
    }
    					
    NOTE: 【コメント等】いわゆる「McCallの品質モデル」。GE社のMcCallらがRADC(Rome Air Development Center)の委託を受けてまとめたレポート。
    McCracken57 McCracken, D.D. Digital Computer Programming 1957   book デバグとテスト
    BibTeX:
    @book{McCracken57,
      author = {D. D. McCracken},
      title = {Digital Computer Programming},
      publisher = {John Wiley & Sons},
      year = {1957},
      note = {【入手先】古書}
    }
    					
    NOTE: 【入手先】古書
    Miller79 Miller, E.F. Workshop Report: Software Testing and Test Documentation 1979 Computer
    Vol. 12 (3) , pp. 98-107  
    article シンポジウム・会議,テスト技術全般
    BibTeX:
    @article{Miller79,
      author = {E. F. Miller},
      title = {Workshop Report: Software Testing and Test Documentation},
      journal = {Computer},
      publisher = {IEEE},
      year = {1979},
      volume = {12},
      number = {3},
      pages = {98-107},
      note = {【コメント等】Gelperin/Hetzel(1988)で言及されている1978年開催のtesting workshopsのレポート。}
    }
    					
    NOTE: 【コメント等】Gelperin/Hetzel(1988)で言及されている1978年開催のtesting workshopsのレポート。
    Miller78 Miller, E.F. Program Testing - Guest Editor's Introduction 1978 Computer
    Vol. 11 (4) , pp. 10-12  
    article テスト
    BibTeX:
    @article{Miller78,
      author = {E. F. Miller},
      title = {Program Testing - Guest Editor's Introduction},
      journal = {Computer},
      publisher = {IEEE},
      year = {1978},
      volume = {11},
      number = {4},
      pages = {10-12},
      note = {【入手先】Web(IEEE)、【コメント等】Turingの論文Checking a large routineに言及あり。}
    }
    					
    NOTE: 【入手先】Web(IEEE)、【コメント等】Turingの論文Checking a large routineに言及あり。
    Miller77 Miller, E.F. Program Testing: Art Meets Theory 1977 Computer
    Vol. 10 (7) , pp. 42-51  
    article カバレッジ
    BibTeX:
    @article{Miller77,
      author = {E. F. Miller},
      title = {Program Testing: Art Meets Theory},
      journal = {Computer},
      publisher = {IEEE},
      year = {1977},
      volume = {10},
      number = {7},
      pages = {42-51},
      note = {【入手先】Web},
      url = {http://doi.ieeecomputersociety.org/10.1109/C-M.1977.217782}
    }
    					
    NOTE: 【入手先】Web
    Miller74 Miller, E.F.; Bardens, J.A.; Benson, J.P.; Melton, R.A.; Urban, R.J. & Wisehard, W.R. Structurally based automatic program testing 1974 presented at EASCON-74, Washington, D C   inproceedings カバレッジ
    BibTeX:
    @inproceedings{Miller74,
      author = {E. F. Miller and J. A. Bardens and J. P. Benson and R. A. Melton and R. J. Urban and W. R. Wisehard},
      title = {Structurally based automatic program testing},
      journal = {presented at EASCON-74, Washington, D C},
      year = {1974},
      note = {【入手先】国会図書館}
    }
    					
    NOTE: 【入手先】国会図書館
    Miller81 Miller, E.F. & Howden, W.E. Tutorial: Software Testing & Validation Techniques 1981   book テスト技術全般
    BibTeX:
    @book{Miller81,
      author = {E. F. Miller and W. E. Howden},
      title = {Tutorial: Software Testing & Validation Techniques},
      publisher = {IEEE},
      year = {1981},
      edition = {2nd}
    }
    					
    Miller63 Miller, J.C. & Maloney, C.J. Systematic mistake analysis of digital computer programs 1963 Communications of the ACM
    Vol. 6 , pp. 58-63  
    article 制御フロー、グラフ理論の適用
    BibTeX:
    @article{Miller63,
      author = {J. C. Miller and C. J. Maloney},
      title = {Systematic mistake analysis of digital computer programs},
      journal = {Communications of the ACM},
      publisher = {ACM},
      year = {1963},
      volume = {6},
      pages = {58-63},
      note = {【入手先】Web(ACM)、【コメント等】Elmendorf のBibliographyにあげられている文献。グラフ理論をテスト設計に適用。}
    }
    					
    NOTE: 【入手先】Web(ACM)、【コメント等】Elmendorf のBibliographyにあげられている文献。グラフ理論をテスト設計に適用。
    Moore56 Moore, E.F. Gedanken-experiments on sequential machines 1956 Automata Studies , pp. 129-153   article 状態遷移テスト
    BibTeX:
    @article{Moore56,
      author = {E. F. Moore},
      title = {Gedanken-experiments on sequential machines},
      journal = {Automata Studies},
      publisher = {Princeton University Press},
      year = {1956},
      pages = {129-153},
      note = {【入手先】Web、【コメント等】この1956年のMooreの論文Gedanken-experiments on sequential machines(順序機械の思考実験)がFSMベースのテスト生成の研究の先駆け。},
      url = {http://people.mokk.bme.hu/~kornai/MatNyelv/moore_1956.pdf}
    }
    					
    NOTE: 【入手先】Web、【コメント等】この1956年のMooreの論文Gedanken-experiments on sequential machines(順序機械の思考実験)がFSMベースのテスト生成の研究の先駆け。
    Morris84 Morris, F.L. & Jones, C.B. An Early Program Proof by Alan Turing 1984 Annals of the History of Computing
    Vol. 6 (2)  
    article テスト
    BibTeX:
    @article{Morris84,
      author = {F. L. Morris and C. B. Jones},
      title = {An Early Program Proof by Alan Turing},
      journal = {Annals of the History of Computing},
      publisher = {IEEE},
      year = {1984},
      volume = {6},
      number = {2},
      note = {【入手先】Web、【コメント等】Gelperin/Hetzel(1988)で参照。},
      url = {http://www.computer.org/portal/web/csdl/doi/10.1109/MAHC.1984.10017}
    }
    					
    NOTE: 【入手先】Web、【コメント等】Gelperin/Hetzel(1988)で参照。
    Myers79 Myers, G.J. The Art of Software Testing (松尾正信(訳), 長尾真(監訳), ソフトウェア・テストの技法, 近代科学社, 1980) 1979   book 同値分割、原因結果グラフ、三角形問題
    BibTeX:
    @book{Myers79,
      author = {G. J. Myers},
      title = {The Art of Software Testing (松尾正信(訳), 長尾真(監訳), ソフトウェア・テストの技法, 近代科学社, 1980)},
      publisher = {John Wiley & Sons, New York},
      year = {1979},
      note = {【コメント等】Gelperin/Hetzel(1988)で参照。DemonstrationからDestructionへの切り替わり}
    }
    					
    NOTE: 【コメント等】Gelperin/Hetzel(1988)で参照。DemonstrationからDestructionへの切り替わり
    Myers76 Myers, G.J. Software Reliability Principles and Practices (有澤誠(訳), ソフトウェアの信頼性 ソフトウェア・エンジニアリング概説, 近代科学社, 1977) 1976   book 同値分割、原因結果グラフ、三角形問題
    BibTeX:
    @book{Myers76,
      author = {G. J. Myers},
      title = {Software Reliability Principles and Practices (有澤誠(訳), ソフトウェアの信頼性 ソフトウェア・エンジニアリング概説, 近代科学社, 1977)},
      publisher = {Wiley},
      year = {1976}
    }
    					
    NBS83 NBS Guideline for Lifecycle Validation, Verification, and Testing of Computer Software (NBS FIPS 10) 1983
    Vol. 1  
    techreport ライフサイクル
    BibTeX:
    @techreport{NBS83,
      author = {NBS},
      title = {Guideline for Lifecycle Validation, Verification, and Testing of Computer Software (NBS FIPS 10)},
      publisher = {National Bureau of Standards Report},
      year = {1983},
      volume = {1},
      note = {【入手先】Web(NIST)、【コメント等】Gelperin/Hetzel(1988)で参照。DestructionからEvaluationへの切り替わり。}
    }
    					
    NOTE: 【入手先】Web(NIST)、【コメント等】Gelperin/Hetzel(1988)で参照。DestructionからEvaluationへの切り替わり。
    Osterweil75 Osterweil, L.J. & Fosdick, L.D. DAVE - A Validation, Error Detection and Documentation System for Fortran Programs (Technical Report No. CU-CS-071-75) 1975   techreport データフロー
    BibTeX:
    @techreport{Osterweil75,
      author = {L. J. Osterweil and L. D. Fosdick},
      title = {DAVE - A Validation, Error Detection and Documentation System for Fortran Programs (Technical Report No. CU-CS-071-75)},
      publisher = {University of Colorado Department of Computer Science},
      year = {1975},
      note = {【入手先】Web},
      url = {http://www.cs.colorado.edu/department/publications/reports/docs/CU-CS-071-75.pdf}
    }
    					
    NOTE: 【入手先】Web
    Osterweil74 Osterweil, L.J. & Fosdick, L.D. Data Flow Analysis as an Aid in Documentation, Assertion Generation, Validation and Error Detection (Technical Report No. CU-CS-055-74) 1974   techreport データフロー
    BibTeX:
    @techreport{Osterweil74,
      author = {L. J. Osterweil and L. D. Fosdick},
      title = {Data Flow Analysis as an Aid in Documentation, Assertion Generation, Validation and Error Detection (Technical Report No. CU-CS-055-74)},
      publisher = {University of Colorado Department of Computer Science},
      year = {1974},
      note = {【入手先】Web},
      url = {http://www.cs.colorado.edu/department/publications/reports/docs/CU-CS-055-74.pdf}
    }
    					
    NOTE: 【入手先】Web
    Rapps85 Rapps, S. & Weyuker, E.J. Selecting software test data using data flow information 1985 IEEE Transactions on Software Engineering
    Vol. SE-11 (4) , pp. 367-375  
    article データフロー
    BibTeX:
    @article{Rapps85,
      author = {S. Rapps and E. J. Weyuker},
      title = {Selecting software test data using data flow information},
      journal = {IEEE Transactions on Software Engineering},
      publisher = {IEEE},
      year = {1985},
      volume = { SE-11},
      number = {4},
      pages = {367-375},
      note = {【入手先】Web(IEEE)}
    }
    					
    NOTE: 【入手先】Web(IEEE)
    Rapps82 Rapps, S. & Weyuker, E.J. Data Flow Analysis Techniques for Test Data Selection 1982 Proceedings of the 6th international conference on Software engineering, Tokyo, Japan , pp. 272-278   inproceedings データフロー
    BibTeX:
    @inproceedings{Rapps82,
      author = {S. Rapps and E. J. Weyuker},
      title = {Data Flow Analysis Techniques for Test Data Selection},
      journal = {Proceedings of the 6th international conference on Software engineering, Tokyo, Japan},
      publisher = {IEEE},
      year = {1982},
      pages = {272-278}
    }
    					
    Renfer62 Renfer, G.F. Automatic program testing 1962 Proc. 1962 Conf. Comput. Data Process. Soc. Canada. Toronto , pp. 127-135   inproceedings テスト(60年代前半)
    BibTeX:
    @inproceedings{Renfer62,
      author = {G. F. Renfer},
      title = {Automatic program testing},
      journal = {Proc. 1962 Conf. Comput. Data Process. Soc. Canada. Toronto},
      publisher = {University of Toronto Press},
      year = {1962},
      pages = {127-135},
      note = {【入手先】国会図書館、【コメント等】Elmendorf のBibliographyにあげられている文献。}
    }
    					
    NOTE: 【入手先】国会図書館、【コメント等】Elmendorf のBibliographyにあげられている文献。
    Rook86 Rook, P.E. Controlling software projects 1986 IEEE Software Engineering Journal
    Vol. 1 (1)  
    article V字モデル
    BibTeX:
    @article{Rook86,
      author = {P. E. Rook},
      title = {Controlling software projects},
      journal = {IEEE Software Engineering Journal},
      publisher = {IEEE},
      year = {1986},
      volume = {1},
      number = {1}
    }
    					
    Rubey68 Rubey, R. & Hartwick, R. Quantitative Measurement of Program Quality 1968 Proceedings of the ACM National Conference , pp. 671-677   inproceedings 品質モデル
    BibTeX:
    @inproceedings{Rubey68,
      author = {R.J. Rubey and R.D. Hartwick},
      title = {Quantitative Measurement of Program Quality},
      journal = {Proceedings of the ACM National Conference},
      publisher = {ACM},
      year = {1968},
      pages = {671-677},
      note = {【入手先】Web(ACM)、【コメント等】Boehmは1976年のICSE論文で、先行研究としてDevelopment of methods for evaluating software quality appears to have first been attempted in an organized way by Rubey and Hartwick.とRubeyらの論文に言及している。品質評価、メトリックスに関する初期(最初?)の論文。}
    }
    					
    NOTE: 【入手先】Web(ACM)、【コメント等】Boehmは1976年のICSE論文で、先行研究としてDevelopment of methods for evaluating software quality appears to have first been attempted in an organized way by Rubey and Hartwick.とRubeyらの論文に言及している。品質評価、メトリックスに関する初期(最初?)の論文。
    Scheff65 Scheff, B. Using a Decision-Table Structure as the Input Language Format for Programming Automatic Test Equipment Systems 1965 IEEE Transactions on Electronic Computers
    Vol. 14 (2) , pp. 248-250  
    article デシジョンテーブル
    BibTeX:
    @article{Scheff65,
      author = {B. Scheff},
      title = {Using a Decision-Table Structure as the Input Language Format for Programming Automatic Test Equipment Systems},
      journal = {IEEE Transactions on Electronic Computers},
      year = {1965},
      volume = {14},
      number = {2},
      pages = {248-250},
      note = {【コメント等】ScheffはRCA社の人。テスト設計にデシジョンテーブルを用いた論文としては初期(最初?)のもの。条件部にテストカテゴリとパラメタを、アクション部に結果とテストアクションを整理し、縦の列(ルール)をテストケースとして自動テストツールへ入力するというもの。Beizerのソフトウェアテスト技法で参考文献にあり(p.416)。}
    }
    					
    NOTE: 【コメント等】ScheffはRCA社の人。テスト設計にデシジョンテーブルを用いた論文としては初期(最初?)のもの。条件部にテストカテゴリとパラメタを、アクション部に結果とテストアクションを整理し、縦の列(ルール)をテストケースとして自動テストツールへ入力するというもの。Beizerのソフトウェアテスト技法で参考文献にあり(p.416)。
    Scheff65a Scheff, B.H. An application of decision tables as the source language for automatic testing 1965 IEEE Transactions on Aerospace , pp. 47-51   article デシジョンテーブル
    BibTeX:
    @article{Scheff65a,
      author = {B. H. Scheff},
      title = {An application of decision tables as the source language for automatic testing},
      journal = {IEEE Transactions on Aerospace},
      publisher = {IEEE},
      year = {1965},
      pages = {47-51},
      note = {【入手先】Web(IEEE)}
    }
    					
    NOTE: 【入手先】Web(IEEE)
    Schiller69 Schiller, H. Using MEMMAP to measure the extent of. program testing (IBM TR Report TR 1836) 1969   techreport カバレッジ
    BibTeX:
    @techreport{Schiller69,
      author = {H. Schiller},
      title = {Using MEMMAP to measure the extent of. program testing (IBM TR Report TR 1836)},
      publisher = {IBM Systems. Development Division, Poughkeepsie, NY},
      year = {1969},
      note = {【入手先】★不明★、【コメント等】Beizerのソフトウェアテスト技法の参考文献にあり(p.416)、「ステートメント網羅、ブランチ網羅解析についての初期の論文」と書かれている。Ostrand他の論文(1994)Experiments on the effectiveness of dataflow- andcontrol-flow-based test adequacy criteriaで60年代から制御フローテストが行われている旨の参考文献}
    }
    					
    NOTE: 【入手先】★不明★、【コメント等】Beizerのソフトウェアテスト技法の参考文献にあり(p.416)、「ステートメント網羅、ブランチ網羅解析についての初期の論文」と書かれている。Ostrand他の論文(1994)Experiments on the effectiveness of dataflow- andcontrol-flow-based test adequacy criteriaで60年代から制御フローテストが行われている旨の参考文献
    Sherwood08 Sherwood, G. Pairwise Testing Comes of Age 2008   misc 直交表, pairwise、STAREAST
    BibTeX:
    @misc{Sherwood08,
      author = {G. Sherwood},
      title = {Pairwise Testing Comes of Age},
      year = {2008},
      note = {【入手先】Web},
      url = {http://www.testcover.com/pub/background/stareast2008.ppt}
    }
    					
    NOTE: 【入手先】Web
    Sherwood94 Sherwood, G. Effective testing of factor combinations 1994 Proc. Third International Conference on Software Testing, Analysis and Review (STAR’94)   inproceedings 直交表, pairwise
    BibTeX:
    @inproceedings{Sherwood94,
      author = {G. Sherwood},
      title = {Effective testing of factor combinations},
      journal = {Proc. Third International Conference on Software Testing, Analysis and Review (STAR’94)},
      year = {1994},
      note = {【入手先】Web、【コメント等】CATS(Constrained Array Test System)},
      url = {http://www.testcover.com/pub/background/star1994_paper.htm}
    }
    					
    NOTE: 【入手先】Web、【コメント等】CATS(Constrained Array Test System)
    Stucki72 Stucki, L.G. Automatic Generation of Self Metric Software (WD2144) 1972   techreport カバレッジ、動的解析システム
    BibTeX:
    @techreport{Stucki72,
      author = {L. G. Stucki},
      title = {Automatic Generation of Self Metric Software (WD2144)},
      publisher = {McDonnell Douglas Astronautics Company, Huntington Beach, CA},
      year = {1972},
      note = {【入手先】国会図書館}
    }
    					
    NOTE: 【入手先】国会図書館
    Tassel74 van Tassel, D. Program Style, Design, Efficiency, Debugging, and Testing (戸田巌(監訳), 実践プログラミング技法−様式・設計・効率・デバグ・テスト, 日刊工業新聞社, 1976) 1974   book 初期のテスト書籍
    BibTeX:
    @book{Tassel74,
      author = {D. van Tassel},
      title = {Program Style, Design, Efficiency, Debugging, and Testing (戸田巌(監訳), 実践プログラミング技法−様式・設計・効率・デバグ・テスト, 日刊工業新聞社, 1976)},
      publisher = {Prentice-Hall},
      year = {1974},
      note = {【入手先】古書}
    }
    					
    NOTE: 【入手先】古書
    Tatsumi87 Tatsumi, K. Test Case Design Support System 1987 Proc. International Conference on Quality Control(ICQC'87) , pp. 615-620   inproceedings 直交表, pairwise
    BibTeX:
    @inproceedings{Tatsumi87,
      author = {K. Tatsumi},
      title = {Test Case Design Support System},
      journal = {Proc. International Conference on Quality Control(ICQC'87)},
      year = {1987},
      pages = {615-620},
      note = {【入手先】Web},
      url = {http://www.pairwise.org/docs/icqc87.pdf}
    }
    					
    NOTE: 【入手先】Web
    Tatsumi87a Tatsumi, K.; Watanabe, S.; Takeuchi, Y. & Shimokawa, H. Conceptual support for test case design 1987 Proc. 11th International Computer Software and Applications Conference (COMPSAC'87) , pp. 285-290   inproceedings 直交表, pairwise
    BibTeX:
    @inproceedings{Tatsumi87a,
      author = {K. Tatsumi and S. Watanabe and Y. Takeuchi and H. Shimokawa},
      title = {Conceptual support for test case design},
      journal = {Proc. 11th International Computer Software and Applications Conference (COMPSAC'87)},
      publisher = {IEEE},
      year = {1987},
      pages = {285-290}
    }
    					
    Turing50 Turing, A. Checking a Large Routine 1950 Report of a Conference on High Speed Automatic Calculating-Machines , pp. 67-69   inproceedings テスト
    BibTeX:
    @inproceedings{Turing50,
      author = {A. Turing},
      title = {Checking a Large Routine},
      journal = {Report of a Conference on High Speed Automatic Calculating-Machines},
      year = {1950},
      pages = {67-69},
      note = {【入手先】Web、【コメント等】Miller(1978)、Gelperin/Hetzel(1988)で参照。},
      url = {http://www.turingarchive.org/browse.php/B/8}
    }
    					
    NOTE: 【入手先】Web、【コメント等】Miller(1978)、Gelperin/Hetzel(1988)で参照。
    Turing50a Turing, A. Computing Machinery and Intelligence 1950 Mind
    Vol. 59 , pp. 433-460  
    article テスト
    BibTeX:
    @article{Turing50a,
      author = {A. Turing},
      title = {Computing Machinery and Intelligence},
      journal = {Mind},
      year = {1950},
      volume = {59},
      pages = {433-460},
      note = {【入手先】Web},
      url = {http://www.loebner.net/Prizef/TuringArticle.html}
    }
    					
    NOTE: 【入手先】Web
    Ur02 Ur, S. & Ziv, A. Cross-Fertilization between Hardware Verification and Software Testing 2002 in Software Engineering and Applications (SEA)   techreport カバレッジ
    BibTeX:
    @techreport{Ur02,
      author = {S. Ur and A. Ziv},
      title = {Cross-Fertilization between Hardware Verification and Software Testing},
      journal = {in Software Engineering and Applications (SEA)},
      publisher = {IBM Research Laboratory in Haifa},
      year = {2002},
      note = {【入手先】Web、【コメント等】IBMでは60年代にcoverage計測が使われていたことが書かれている。},
      url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.11.4003&rep=rep1&type=pdf}
    }
    					
    NOTE: 【入手先】Web、【コメント等】IBMでは60年代にcoverage計測が使われていたことが書かれている。
    Verhelst06 Verhelst, M. Decision tables, past and present 2006 Pioneering Software in the 1960s in Germany, The Netherlands, and Belgium   misc デシジョンテーブル
    BibTeX:
    @misc{Verhelst06,
      author = {M. Verhelst},
      title = {Decision tables, past and present},
      journal = {Pioneering Software in the 1960s in Germany, The Netherlands, and Belgium},
      year = {2006},
      note = {【入手先】Web},
      url = {http://www.horst-zuse.homepage.t-online.de/informatik-geschichte-html-2008/Amsterdam-Software-Tagung-2006-abstracts.pdf}
    }
    					
    NOTE: 【入手先】Web
    Warner64 Warner, Jr., C.D. Evaluation of program testing (IBM TR TR 00.1171) 1964   techreport カバレッジ
    BibTeX:
    @techreport{Warner64,
      author = {Warner, Jr., C. D.},
      title = {Evaluation of program testing (IBM TR TR 00.1171)},
      publisher = {IBM Data Systems Devision Development Laboratories, IBM Poughkeepsie, N.Y.},
      year = {1964},
      note = {【入手先】★不明★、【コメント等】Cross-fertilization between Hardware Verification and Software Testingで言及あり (Hardware系カバレッジ)。Beizerのソフトウェアテスト技法で参考文献にあり(p.418)、 「COBOLとFORTRANソースプログラムを対象にしたハードウェアの命令語モニタについてのいちばん最初の解説書」と書かれている。}
    }
    					
    NOTE: 【入手先】★不明★、【コメント等】Cross-fertilization between Hardware Verification and Software Testingで言及あり (Hardware系カバレッジ)。Beizerのソフトウェアテスト技法で参考文献にあり(p.418)、 「COBOLとFORTRANソースプログラムを対象にしたハードウェアの命令語モニタについてのいちばん最初の解説書」と書かれている。
    Williams00 Williams, A.W. Determination of test configurations for pair-wise interaction coverage 2000 In Proceedings of the 13th International Conference on the Testing of Communicating Systems (TestCom 2000), Ottawa, Canada , pp. 59-74   inproceedings 直交表, pairwise
    BibTeX:
    @inproceedings{Williams00,
      author = {A. W. Williams},
      title = {Determination of test configurations for pair-wise interaction coverage},
      journal = {In Proceedings of the 13th International Conference on the Testing of Communicating Systems (TestCom 2000), Ottawa, Canada},
      year = {2000},
      pages = {59-74},
      note = {【コメント等】Covering Array}
    }
    					
    NOTE: 【コメント等】Covering Array
    Woodward79 Woodward, M.R.; Hennell, M.A. & Hedley, D. A Measure of Control Flow Complexity in Program Text 1979 IEEE Transactions on Software Engineering
    Vol. 5 (1)  
    article 複雑度
    BibTeX:
    @article{Woodward79,
      author = {M. R. Woodward and M. A. Hennell and D. Hedley},
      title = {A Measure of Control Flow Complexity in Program Text},
      journal = {IEEE Transactions on Software Engineering},
      publisher = {IEEE },
      year = {1979},
      volume = {5},
      number = {1},
      note = {【入手先】Web(IEEE)、【コメント等】複雑度の指標Knotを提案}
    }
    					
    NOTE: 【入手先】Web(IEEE)、【コメント等】複雑度の指標Knotを提案
    Wulf73 Wulf, W.A. Report of a Workshop on Programming Methodology 1973 Proceedings of a Symposium on the High Cost of Software   inproceedings 品質モデル
    BibTeX:
    @inproceedings{Wulf73,
      author = {W. A. Wulf},
      title = {Report of a Workshop on Programming Methodology},
      journal = {Proceedings of a Symposium on the High Cost of Software},
      publisher = {Stanford Research Institute},
      year = {1973},
      note = {【入手先】国会図書館(ADレポート番号はAD777121)、【コメント等】いわゆる「Wulfの品質モデル」。1973年9月に開催されたHigh Cost of Softwareシンポジウムの論文集に採録されているworkshopレポート。},
      url = {http://www.ntis.gov/search/product.aspx?ABBR=AD777121}
    }
    					
    NOTE: 【入手先】国会図書館(ADレポート番号はAD777121)、【コメント等】いわゆる「Wulfの品質モデル」。1973年9月に開催されたHigh Cost of Softwareシンポジウムの論文集に採録されているworkshopレポート。
    Yoshida85 Yoshida, T. Attaining higher quality in software development - Evaluation in practice 1985 Fujitsu Scientific and Technical Journal
    Vol. 21 , pp. 305-316  
    article 直交表, pairwise
    BibTeX:
    @article{Yoshida85,
      author = {T. Yoshida},
      title = {Attaining higher quality in software development - Evaluation in practice},
      journal = {Fujitsu Scientific and Technical Journal},
      publisher = {Fujitsu},
      year = {1985},
      volume = {21},
      pages = {305-316}
    }
    					
    井上健蔵58 井上健蔵 新著紹介 1958 日本物理學會誌
    Vol. 13 (10) , pp. 658-660  
    misc デバグとテスト
    BibTeX:
    @misc{井上健蔵58,
      author = {井上健蔵},
      title = {新著紹介},
      journal = {日本物理學會誌},
      publisher = {社団法人日本物理学会},
      year = {1958},
      volume = {13},
      number = {10},
      pages = {658-660},
      note = {【入手先】国立情報学研究所CiNii、【コメント等】McCrackenの Digital Computer Programming などの書籍紹介。},
      url = {http://ci.nii.ac.jp/lognavi?name=nels&lang=ja&type=pdf&id=ART0002352236}
    }
    					
    NOTE: 【入手先】国立情報学研究所CiNii、【コメント等】McCrackenの Digital Computer Programming などの書籍紹介。
    佐藤忍84 佐藤忍 & 下川浩樹 実験計画法を用いたソフトウェアのテスト項目設定法 1984 第4 回ソフトウェア生産における品質管理シンポジウム発表報文集 , pp. 1-8   inproceedings 直交表, pairwise
    BibTeX:
    @inproceedings{佐藤忍84,
      author = {佐藤忍 and 下川浩樹},
      title = {実験計画法を用いたソフトウェアのテスト項目設定法},
      journal = {第4 回ソフトウェア生産における品質管理シンポジウム発表報文集},
      publisher = {日科技連},
      year = {1984},
      pages = {1-8}
    }
    					
    古川善吾80 古川善吾; 野木兼六 & 越智毅 機能テストのためのテスト項目作成手法について 1980 情報処理学会ソフトウェア工学研究会資料16-2 (31)   article 原因結果グラフ、 AGENT
    BibTeX:
    @article{古川善吾80,
      author = {古川善吾 and 野木兼六 and 越智毅},
      title = {機能テストのためのテスト項目作成手法について},
      journal = {情報処理学会ソフトウェア工学研究会資料16-2},
      publisher = {情報処理学会},
      year = {1980},
      number = {31},
      note = {【入手先】Web},
      url = {http://fw8.bookpark.ne.jp/cm/ipsj/search.asp?flag=6&keyword=IPSJ-SE80016002&mode=PDF}
    }
    					
    NOTE: 【入手先】Web
    吉田征94 吉田征 技術の伝承と移転 1994   book 直交表, pairwise
    BibTeX:
    @book{吉田征94,
      author = {吉田征},
      title = {技術の伝承と移転},
      publisher = {日科技連},
      year = {1994},
      note = {【コメント等】直交表の適用の開発の経緯、AT&Tへの技術移転の経緯が書いてある}
    }
    					
    NOTE: 【コメント等】直交表の適用の開発の経緯、AT&Tへの技術移転の経緯が書いてある
    宮本勲79 宮本勲 ソフトウェアの信頼性向上策 (特集:実践的ソフトウェア・エンジニアリングへのアプローチ) 1979 ビジネスコミュニケーション
    Vol. 16 (5)  
    article カバレッジ
    BibTeX:
    @article{宮本勲79,
      author = {宮本勲},
      title = {ソフトウェアの信頼性向上策 (特集:実践的ソフトウェア・エンジニアリングへのアプローチ)},
      journal = {ビジネスコミュニケーション},
      year = {1979},
      volume = {16},
      number = {5},
      note = {【入手先】ビジコミ図書館コピーサービス}
    }
    					
    NOTE: 【入手先】ビジコミ図書館コピーサービス
    宮本勲77 宮本勲 & 東谷秀夫 ソフトウェア・エンジニアリングとは、ソフトウェア・エンジニアリングへの道(1) 1977 bit
    Vol. 9 (4)  
    article シンポジウム・会議
    BibTeX:
    @article{宮本勲77,
      author = {宮本勲 and 東谷秀夫},
      title = { ソフトウェア・エンジニアリングとは、ソフトウェア・エンジニアリングへの道(1)},
      journal = {bit},
      publisher = {共立出版},
      year = {1977},
      volume = {9},
      number = {4}
    }
    					
    岸田孝一79 岸田孝一 テストの新技術 (特集:実践的ソフトウェア・エンジニアリングへのアプローチ) 1979 ビジネスコミュニケーション
    Vol. 16 (5)  
    article カバレッジ
    BibTeX:
    @article{岸田孝一79,
      author = {岸田孝一},
      title = {テストの新技術 (特集:実践的ソフトウェア・エンジニアリングへのアプローチ)},
      journal = {ビジネスコミュニケーション},
      year = {1979},
      volume = {16},
      number = {5},
      note = {【入手先】ビジコミ図書館コピーサービス}
    }
    					
    NOTE: 【入手先】ビジコミ図書館コピーサービス
    有賀貞一80 有賀貞一 実践的ソフトウェアのテスト技法 1980 ビジネスコミュニケーション
    Vol. 17 (2)  
    article カバレッジ
    BibTeX:
    @article{有賀貞一80,
      author = {有賀貞一},
      title = {実践的ソフトウェアのテスト技法},
      journal = {ビジネスコミュニケーション},
      year = {1980},
      volume = {17},
      number = {2},
      note = {【入手先】国会図書館、【コメント等】Millerのカバレッジツールを野村コンピュータサービスで適用した報告。}
    }
    					
    NOTE: 【入手先】国会図書館、【コメント等】Millerのカバレッジツールを野村コンピュータサービスで適用した報告。
    Hetzel73 Hetzel, W.C. (Ed.) Program Test Methods (鳥居 宏次(訳) ,プログラム・テスト法,近代科学社,1974) 1973   book シンポジウム・会議
    BibTeX:
    @book{Hetzel73,,
      title = {Program Test Methods (鳥居 宏次(訳) ,プログラム・テスト法,近代科学社,1974)},
      publisher = {Prentice-Hall},
      year = {1973}
    }
    					
    Naur69 Naur, P. & Randell, B. (Ed.) Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7-11 Oct. 1968 1969   techreport シンポジウム・会議
    BibTeX:
    @techreport{Naur69,,
      title = {Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7-11 Oct. 1968},
      publisher = {Scientific Affairs Division, NATO },
      year = {1969},
      note = {【入手先】Web},
      url = {http://homepages.cs.ncl.ac.uk/brian.randell/NATO/}
    }
    					
    NOTE: 【入手先】Web
    Randell70 Randell, B. & Buxton, J. (Ed.) Software Engineering Techniques: Report of a conference sponsored by the NATO Science Committee, Rome, Italy, 27-31 Oct. 1969 1970   techreport シンポジウム・会議
    BibTeX:
    @techreport{Randell70,,
      title = {Software Engineering Techniques: Report of a conference sponsored by the NATO Science Committee, Rome, Italy, 27-31 Oct. 1969},
      publisher = {Scientific Affairs Division, NATO },
      year = {1970},
      note = {【入手先】Web},
      url = {http://homepages.cs.ncl.ac.uk/brian.randell/NATO/}
    }
    					
    NOTE: 【入手先】Web
    Rustin71 Rustin, R. (Ed.) Debugging Techniques in Large Systems 1971   book シンポジウム・会議
    BibTeX:
    @book{Rustin71,,
      title = {Debugging Techniques in Large Systems},
      publisher = {Prentice-Hall},
      year = {1971},
      note = {【コメント等】実践プログラミング技法(Dennie Van Tassel)に記載のあった参考文献。}
    }
    					
    NOTE: 【コメント等】実践プログラミング技法(Dennie Van Tassel)に記載のあった参考文献。
    Westley79 Westley, A.E. (Ed.) Infotech State of the Art Report: Software Testing, Volume 1: Analysis and Bibliography 1979   book カバレッジ
    BibTeX:
    @book{Westley79,,
      title = {Infotech State of the Art Report: Software Testing, Volume 1: Analysis and Bibliography},
      publisher = {Infotech International},
      year = {1979}
    }
    					
    森口繁一90 森口繁一 (Ed.) ソフトウェア品質管理ガイドブック 1990   book V字モデル
    BibTeX:
    @book{森口繁一90,,
      title = {ソフトウェア品質管理ガイドブック},
      publisher = {日本規格協会},
      year = {1990}
    }
    					
    石井康雄86 石井康雄 (Ed.) ソフトウェアの検査と品質保証 1986   book V字モデル
    BibTeX:
    @book{石井康雄86,,
      title = {ソフトウェアの検査と品質保証},
      publisher = {日科技連出版社},
      year = {1986}
    }
    					
    Catalyst A History of Decision Tables   misc デシジョンテーブル
    BibTeX:
    @misc{Catalyst,,
      title = {A History of Decision Tables},
      publisher = {Catalyst Development Corporation},
      note = {【入手先】Web、【コメント等】1950年後半にデシジョンテーブルが考案された。Tabular forms for computer programming dates back to the late 1950's when General Electric, the Sutherland Corporation, and the United States Air Force worked on a complex file maintenance project. Attempts at using flowcharts and traditional narratives failed to define the problem after more than six labor-years of effort. This was typical of most large projects at that time. Then, in 1958 four analysts using decision tables successfully defined the problem in less than four weeks. When the right tool was used the problem was solved almost immediately.},
      url = {http://www.catalyst.com/products/logicgem/overview.html}
    }
    					
    NOTE: 【入手先】Web、【コメント等】1950年後半にデシジョンテーブルが考案された。Tabular forms for computer programming dates back to the late 1950's when General Electric, the Sutherland Corporation, and the United States Air Force worked on a complex file maintenance project. Attempts at using flowcharts and traditional narratives failed to define the problem after more than six labor-years of effort. This was typical of most large projects at that time. Then, in 1958 four analysts using decision tables successfully defined the problem in less than four weeks. When the right tool was used the problem was solved almost immediately.
    ISSTA International Symposium on Software Testing and Analysis (ISSTA)   misc シンポジウム・会議,テスト技術全般
    BibTeX:
    @misc{ISSTA,,
      title = {International Symposium on Software Testing and Analysis (ISSTA)},
      note = {【入手先】Web},
      url = {http://www.informatik.uni-trier.de/~ley/db/conf/issta/index.html}
    }
    					
    NOTE: 【入手先】Web
    cam99 EDSAC99
    1999   misc コンピュータの歴史
    BibTeX:
    @misc{cam99,,
      title = {EDSAC99
    }, publisher = {University of Cambridge Computer Laboratory}, year = {1999}, note = {【入手先】Web}, url = {http://www.cl.cam.ac.uk/conference/EDSAC99/} }
    NOTE: 【入手先】Web
    IEEE90 IEEE Std 610-1990 IEEE Standard Glossary of Software Engineering Terminology 1990   techreport 用語の規格
    BibTeX:
    @techreport{IEEE90,,
      title = {IEEE Std 610-1990 IEEE Standard Glossary of Software Engineering Terminology},
      publisher = {IEEE},
      year = {1990},
      note = {【入手先】Web、【コメント等】Validationの定義。}
    }
    					
    NOTE: 【入手先】Web、【コメント等】Validationの定義。
    IEEE83 IEEE Std 729-1983 IEEE Standard Glossary of Software Engineering Terminology 1983   techreport 用語の規格
    BibTeX:
    @techreport{IEEE83,,
      title = {IEEE Std 729-1983 IEEE Standard Glossary of Software Engineering Terminology},
      year = {1983},
      note = {【入手先】Web、【コメント等】Validationの定義。}
    }
    					
    NOTE: 【入手先】Web、【コメント等】Validationの定義。
    IEEE75 International Conference on Reliable Software, Los Angeles, California, April 1975 1975   proceedings シンポジウム・会議
    BibTeX:
    @proceedings{IEEE75,,
      title = {International Conference on Reliable Software, Los Angeles, California, April 1975},
      year = {1975},
      note = {【コメント等】この分野では初めて世界的な規模の国際会議が開かれたわけである。(このとき、各国から約900人の参加があった。実質的に、後のソフトウェア・エンジニアリングの国際会議へと引き継がれることになる。)[宮本勲・東谷秀夫, ソフトウェア・エンジニアリングとは、ソフトウェア・エンジニアリングへの道(1)、 bit, vol.9, No.4, 1977]}
    }
    					
    NOTE: 【コメント等】この分野では初めて世界的な規模の国際会議が開かれたわけである。(このとき、各国から約900人の参加があった。実質的に、後のソフトウェア・エンジニアリングの国際会議へと引き継がれることになる。)[宮本勲・東谷秀夫, ソフトウェア・エンジニアリングとは、ソフトウェア・エンジニアリングへの道(1)、 bit, vol.9, No.4, 1977]
    IEEE75a Proceedings of the 1st National Conference on Software Engineering, Washington, D.C., September 11-12, 1975 1975   proceedings シンポジウム・会議
    BibTeX:
    @proceedings{IEEE75a,,
      title = {Proceedings of the 1st National Conference on Software Engineering, Washington, D.C., September 11-12, 1975},
      year = {1975},
      note = {【コメント等】第2回からはICSE(International Conference on Software Engineering)に改称され現在に続く.}
    }
    					
    NOTE: 【コメント等】第2回からはICSE(International Conference on Software Engineering)に改称され現在に続く.
    IEEE73 IEEE Symposium on Computer Software Reliability 1973   proceedings シンポジウム・会議
    BibTeX:
    @proceedings{IEEE73,,
      title = {IEEE Symposium on Computer Software Reliability},
      year = {1973},
      note = {【入手先】国会図書館}
    }
    					
    NOTE: 【入手先】国会図書館

    Created by JabRef on 20/05/2011.