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 / Dirk Beyer, Chantal Keller (eds.).
TAP (Conference) (13th : 2019 : Porto, Portugal); Beyer, Dirk, 1972- editor.; Keller, Chantal, editor.
2019
QA76.76.T48 .T37 2019eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title 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 / Dirk Beyer, Chantal Keller (eds.).
Meeting Name TAP (Conference) (13th : 2019 : Porto, Portugal)
ISBN 9783030311575 (electronic book)
3030311570 (electronic book)
9783030311568
DOI https://doi.org/10.1007/978-3-030-31157-5
Published Cham, Switzerland : Springer, 2019.
Language English
Description 1 online resource (x, 207 pages) : illustrations.
Item Number 10.1007/978-3-030-31157-5 doi
Call Number QA76.76.T48 .T37 2019eb
Dewey Decimal Classification 005.1/4
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed September 26, 2019).
Added Author Beyer, Dirk, 1972- editor.
Keller, Chantal, editor.
Series Lecture notes in computer science ; 11823.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export