Skip to main content
SpringerLink
Log in
Book cover

Tests and Proofs

7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Margus Veanes

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luca Viganò

    1. Università di Verona, Verona, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

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

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

Included in the following conference series:

Conference proceedings info: TAP 2013.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
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 (13 papers)

  1. Front Matter

    Download chapter PDF

  2. Incremental Refinement Checking for Test Case Generation

    • Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele
    Pages 1-19

  3. Time for Mutants — Model-Based Mutation Testing with Timed Automata

    • Bernhard K. Aichernig, Florian Lorber, Dejan Ničković
    Pages 20-38

  4. Model-Based Testing for Verification Back-Ends

    • Cyrille Artho, Armin Biere, Martina Seidl
    Pages 39-55

  5. A Metric for Testing Program Verification Systems

    • Bernhard Beckert, Thorsten Bormer, Markus Wagner
    Pages 56-75

  6. Test Program Generation for a Microprocessor

    • Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff
    Pages 76-95

  7. A Declarative Debugger for Sequential Erlang Programs

    • Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
    Pages 96-114

  8. Initiating a Benchmark for UML and OCL Analysis Tools

    • Martin Gogolla, Fabian Büttner, Jordi Cabot
    Pages 115-132

  9. Speeding Up Algorithmic Debugging Using Balanced Execution Trees

    • David Insa, Josep Silva, Adrián Riesco
    Pages 133-151

  10. Generating Test Suites with Augmented Dynamic Symbolic Execution

    • Konrad Jamrozik, Gordon Fraser, Nikolai Tillman, Jonathan de Halleux
    Pages 152-167

  11. A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper

    • Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
    Pages 168-177

  12. Evaluation of ASLan Mutation Operators

    • Johan Oudinet, Alberto Calvi, Matthias Büchler
    Pages 178-196

  13. Solving Constraints for Generational Search

    • Daniel Pötzl, Andreas Holzer
    Pages 197-213

  14. Divergent Quiescent Transition Systems

    • Willem G. J. Stokkink, Mark Timmer, Mariëlle I. A. Stoelinga
    Pages 214-231

  15. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Tests and Proofs

Keywords

About this book

This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.

Editors and Affiliations

  • Microsoft Research, Redmond, USA

    Margus Veanes

  • Università di Verona, Verona, Italy

    Luca Viganò

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation