Mendeley出力
＜図書＞
Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
| 責任表示 | Jens Grabowski, Brian Nielsen (eds.) |
|---|---|
| シリーズ | Lecture notes in computer science ; 3395 |
| データ種別 | 図書 |
| 出版情報 | Berlin ; Tokyo : Springer , c2005 |
| 本文言語 | 英語 |
| 大きさ | x, 224 p. : ill. ; 24 cm |
| 概要 | This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Formal Approaches to Software Testing, FATES 2004, held in Linz, Austria in September 2004. The 14 ...evised fullpapers presented were carefully selected during two rounds of reviewing and improvement; they are organized in topical sections on symbolic test generation, testing non-functional properties, test development with modelchecking techniques, and test optimization. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/6947728 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | 408/L 49 | 2005 |
|
061212005000808 |
|
書誌詳細
| 一般注記 | "In affiliation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2004)"--P. [v] Includes bibliographical references and index |
|---|---|
| 著者標目 | *International Workshop on Formal Approaches to Testing of Software (4th : 2004 : Linz, Austria) Grabowski, Jens Nielsen, Brian |
| 分 類 | LCC:QA76.9.F67 DC22:005.13/1 |
| 書誌ID | 1001268175 |
| ISBN | 354025109X |
| NCID | BA71421024 |
| 巻冊次 | ISBN:354025109X |
| 登録日 | 2009.09.18 |
| 更新日 | 2017.02.18 |