Skip to main content
SpringerLink
Log in

Tests and Proofs

15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Frédéric Loulergue

    1. Université d’Orléans, Orléans, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Franz Wotawa

    1. Graz University of Technology, Graz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12740)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: TAP 2021.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 papers)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Learning, Test Resource Allocation and Benchmarks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Use Case Testing: A Constrained Active Machine Learning Approach

      • Karl Meinke, Hojat Khosrowjerdi
      Pages 3-21

    3. Architecture-Guided Test Resource Allocation via Logic

      • Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo et al.
      Pages 22-38

    4. A Benchmarks Library for Extended Parametric Timed Automata

      • Étienne André, Dylan Marinho, Jaco van de Pol
      Pages 39-50

  3. Testing

    1. Front Matter

      Pages 51-51
      Download chapter PDF

    2. Generating Timed UI Tests from Counterexamples

      • Dominik Diner, Gordon Fraser, Sebastian Schweikl, Andreas Stahlbauer
      Pages 53-71

    3. Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs

      • Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Păsăreanu
      Pages 72-84

    4. FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs

      • Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
      Pages 85-105

  4. Back Matter

    Pages 107-107
    Download chapter PDF
Back to top

Other volumes

  1. Tests and Proofs

Keywords

About this book

This book constitutes the proceedings of the 15th International Conference on Tests and Proofs, TAP 2021, which was held as part of Software Technologies: Applications and Foundations, STAF 2021, and took place online during June 12-25, 2021.

The 6 full papers included in this volume were carefully reviewed and selected from 10 submissions. They were organized in topical sections on learning, test resource allocation and benchmarks and on testing.

Editors and Affiliations

  • Université d’Orléans, Orléans, France

    Frédéric Loulergue

  • Graz University of Technology, Graz, Austria

    Franz Wotawa

Bibliographic Information

  • Book Title: Tests and Proofs

  • Book Subtitle: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings

  • Editors: Frédéric Loulergue, Franz Wotawa

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-79379-1

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2021

  • Softcover ISBN: 978-3-030-79378-4Published: 18 June 2021

  • eBook ISBN: 978-3-030-79379-1Published: 17 June 2021

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 107

  • Number of Illustrations: 10 b/w illustrations

  • Topics: Software Engineering/Programming and Operating Systems

Publish with us

Policies and ethics

Back to top

Search

Navigation