TY - BOOK ID - 65157339 TI - Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings AU - Ahrendt, Wolfgang. AU - Wehrheim, Heike. PY - 2020 SN - 3030509958 303050994X PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Computer software KW - Testing KW - Software engineering. KW - Programming languages (Electronic computers). KW - Special purpose computers. KW - Architecture, Computer. KW - Artificial intelligence. KW - Software Engineering. KW - Programming Languages, Compilers, Interpreters. KW - Special Purpose and Application-Based Systems. KW - Computer System Implementation. KW - Artificial Intelligence. KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Architecture, Computer KW - Special purpose computers KW - Computers KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Computer software engineering KW - Engineering UR - https://www.unicat.be/uniCat?func=search&query=sysid:65157339 AB - This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability. ER -