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
- Title:
- 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)
- Main Title:
- Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.513312
- Ingest File:
- 03_095.xml