| 书目名称 | Formal Approaches to Software Testing and Runtime Verification | | 副标题 | 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 | | 关键词 | 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|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-9-8 03:26
发表于 2025-3-21 17:09:18
