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 /: 13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings. (2019)

• Record Type: Book
• Other Titles: TAP 2019
• Further Information: Note: Dirk Beyer, Chantal Keller (eds.).
• Editors: Beyer, Dirk, 1972-; Keller, Chantal
• Other Names: TAP (Conference), 13th
• Contents: 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (x, 207 pages), illustrations (some color)
• Subjects: 005.1/4; Computer software -- Testing -- Congresses; Computer software -- Verification -- Congresses; Software engineering -- Congresses; Electronic books
• Languages: English
• ISBNs: 9783030311575; 3030311570
• Related ISBNs: 9783030311568
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 26, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.