Tests and proofs = 13th Internationa...
Beyer, Dirk.

FindBook      Google Book      Amazon      博客來     
  • Tests and proofs = 13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Tests and proofs/ edited by Dirk Beyer, Chantal Keller.
    其他題名: 13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings /
    其他題名: TAP 2019
    其他作者: Beyer, Dirk.
    團體作者: TAP (Conference)
    出版者: Cham :Springer International Publishing : : 2019.,
    面頁冊數: x, 207 p. :ill. (some col.), digital ;24 cm.
    內容註: When are Software Verification Results Valid for Approximate Hardware -- Testing Robots using CSP -- Constraints in Dynamic Symbolic Execution: Bitvectors or Integers -- Fast, Automatic and Nearly Complete Structural Unit Test Generation Combining Genetic Algorithms and Formal Methods -- Coverage-Based Testing with Symbolic Transition Systems -- BTestBox - A tool for testing B translators and coverage of B models -- Predicting and Testing Latencies with Deep Learning: an IoT Case Study -- Learning Communicating State Machines -- Repairing Timed Automata Clock Guards through Abstraction and Testing -- Proving a Non-Blocking Algorithm for Process Renaming with TLA+ -- Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties -- Property-Based Test Case Generators for Free.
    Contained By: Springer eBooks
    標題: Computer software - Congresses. - Testing -
    電子資源: https://doi.org/10.1007/978-3-030-31157-5
    ISBN: 9783030311575
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
 
W9375463 電子資源 11.線上閱覽_V 電子書 EB QA76.76.T48 T37 2019 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入