| 書目名稱 | Formal Approaches to Software Testing and Runtime Verification | | 副標(biāo)題 | First Combined Inter | | 編輯 | Klaus Havelund,Manuel Nú?ez,Burkhart Wolff | | 視頻video | http://file.papertrans.cn/346/345644/345644.mp4 | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to discuss formal approaches to test and analyze programs and monitor and guide their executions. Formal approaches to test may cover techniques from areas like theorem proving, model checking, constraint resolution, static program analysis, abstract interpretation, Markov chains, and various others. Formal approaches to runtime veri?cation use formal techniques to improve traditional ad-hoc monitoring techniques used in testing, debugging, performance monitoring, fault protection, etc. The FATES/RV 2006 workshop selected 14 high-quality papers out of 31 submissions. Each paper underwent at least three anonymous reviews by either PCmembersorexternalreviewersselectedbythem.Inadditiontothe14regular papers, the proceedings contain two papers corresponding to the invited talks by Wolfgang Grieskamp (Microsoft Research, USA) and Oege de Moor (Oxford University, UK). This was the ?rst time that the two workshops, FATES and RV, were held together. The success of this joint edition shows that the | | 出版日期 | Conference proceedings 2006 | | 關(guān)鍵詞 | Debugging; Resolution; logic; model checking; structured analysis; testing; theorem proving; verification | | 版次 | 1 | | doi | https://doi.org/10.1007/11940197 | | isbn_softcover | 978-3-540-49699-1 | | isbn_ebook | 978-3-540-49703-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2006 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 22:14
發(fā)表于 2025-3-21 17:09:18
