Amazon cover image
Image from Amazon.com

Tests and proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / Margus Veanes, Luca Viganò (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 7942. | LNCS sublibrary. SL 2, Programming and software engineering.Publication details: Berlin ; New York : Springer, ©2013.Description: 1 online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642389160
  • 3642389163
  • 3642389155
  • 9783642389153
Other title:
  • TAP 2013
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 005.1/4 23
LOC classification:
  • QA76.76.T48 .T37 2013
NLM classification:
  • QA 76.76.T48
Other classification:
  • 54.52
Online resources:
Contents:
Incremental Refinement Checking for Test Case Generation / Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele -- Time for Mutants -- Model-Based Mutation Testing with Timed Automata / Bernhard K. Aichernig, Florian Lorber, Dejan Ničković -- Model-Based Testing for Verification Back-Ends / Cyrille Artho, Armin Biere, Martina Seidl -- A Metric for Testing Program Verification Systems / Bernhard Beckert, Thorsten Bormer, Markus Wagner -- Test Program Generation for a Microprocessor / Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi -- A Declarative Debugger for Sequential Erlang Programs / Rafael Caballero, Enrique Martin-Martin, Adrián Riesco -- Initiating a Benchmark for UML and OCL Analysis Tools / Martin Gogolla, Fabian Büttner, Jordi Cabot -- Speeding Up Algorithmic Debugging Using Balanced Execution Trees / David Insa, Josep Silva, Adrián Riesco -- Generating Test Suites with Augmented Dynamic Symbolic Execution / Konrad Jamrozik, Gordon Fraser, Nikolai Tillman, Jonathan de Halleux -- A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper / Nikolai Kosmatov, Virgile Prevosto, Julien Signoles -- Evaluation of ASLan Mutation Operators / Johan Oudinet, Alberto Calvi, Matthias Büchler -- Solving Constraints for Generational Search / Daniel Pötzl, Andreas Holzer -- Divergent Quiescent Transition Systems / Willem G.J. Stokkink, Mark Timmer, Mariëlle I.A. Stoelinga.
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Incremental Refinement Checking for Test Case Generation / Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele -- Time for Mutants -- Model-Based Mutation Testing with Timed Automata / Bernhard K. Aichernig, Florian Lorber, Dejan Ničković -- Model-Based Testing for Verification Back-Ends / Cyrille Artho, Armin Biere, Martina Seidl -- A Metric for Testing Program Verification Systems / Bernhard Beckert, Thorsten Bormer, Markus Wagner -- Test Program Generation for a Microprocessor / Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi -- A Declarative Debugger for Sequential Erlang Programs / Rafael Caballero, Enrique Martin-Martin, Adrián Riesco -- Initiating a Benchmark for UML and OCL Analysis Tools / Martin Gogolla, Fabian Büttner, Jordi Cabot -- Speeding Up Algorithmic Debugging Using Balanced Execution Trees / David Insa, Josep Silva, Adrián Riesco -- Generating Test Suites with Augmented Dynamic Symbolic Execution / Konrad Jamrozik, Gordon Fraser, Nikolai Tillman, Jonathan de Halleux -- A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper / Nikolai Kosmatov, Virgile Prevosto, Julien Signoles -- Evaluation of ASLan Mutation Operators / Johan Oudinet, Alberto Calvi, Matthias Büchler -- Solving Constraints for Generational Search / Daniel Pötzl, Andreas Holzer -- Divergent Quiescent Transition Systems / Willem G.J. Stokkink, Mark Timmer, Mariëlle I.A. Stoelinga.

International conference proceedings.

Includes author index.

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.

Includes bibliographical references and index.

Powered by Koha