Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings /: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings. (2020)

• Record Type: Book
• Further Information: Note: Wolfgang Ahrendt, Heike Wehrheim.
• Editors: Ahrendt, Wolfgang; Wehrheim, Heike
• Contents: Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning.- Mutation Testing of Smart Contracts at Scale.- Deductive Binary Code Verification Against Source-Code-Level Specifications.- Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries.- SAT Modulo Differential Equation Simulations.- Verified Runtime Assertion Checking for Memory Properties.- Testing for Race Conditions in Distributed Systems via SMT Solving.- SASA: a SimulAtor of Self-stabilizing Algorithms.- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems.- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games.
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Copyright Date: 2020
• Extent: 1 online resource (181 pages)
• Subjects: Computer science; Software engineering; Programming languages (Electronic computers); Special purpose computers; Architecture, Computer; Artificial intelligence; Computers -- Programming Languages -- General; Computers -- Expert Systems; Computers -- Information Technology; Computers -- Intelligence (AI) & Semantics; Programming & scripting languages: general; Expert systems / knowledge-based systems; Systems analysis & design; Artificial intelligence; Computers -- Software Development & Engineering -- General; Software Engineering
• Languages: English
• ISBNs: 9783030509958
• Related ISBNs: 9783030509941
• 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.