Skip to main content
SpringerLink
Log in
Book cover

Tests and Proofs

6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Achim D. Brucker

    1. SAP Research, Karlsruhe, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jacques Julliand

    1. LIFC UFR ST, Besançon Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

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

Included in the following conference series:

Conference proceedings info: TAP 2012.

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 69.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 (16 papers)

  1. Front Matter

    Download chapter PDF

  3. Research Papers

    1. From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap

      • Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo, Davide Balzarotti
      Pages 3-18

    2. Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites

      • Valeria Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias
      Pages 19-34

    3. A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest

      • Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
      Pages 35-50

    4. Testing Library Specifications by Verifying Conformance Tests

      • Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland
      Pages 51-66

    5. Incremental Model-Based Testing of Delta-Oriented Software Product Lines

      • Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity
      Pages 67-82

    6. Conformance Relations for Labeled Event Structures

      • Hernán Ponce de León, Stefan Haar, Delphine Longuet
      Pages 83-98

    7. Test Generation from Recursive Tiles Systems

      • Sébastien Chédor, Thierry Jéron, Christophe Morvan
      Pages 99-114

    8. Generation of Test Data Structures Using Constraint Logic Programming

      • Valerio Senni, Fabio Fioravanti
      Pages 115-131

    9. Constructive Finite Trace Analysis with Linear Temporal Logic

      • Martin Sulzmann, Axel Zechner
      Pages 132-148

  4. Short Papers

    1. Towards Scenario-Based Testing of UML Diagrams

      • Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits et al.
      Pages 149-155

    2. Evaluating and Debugging OCL Expressions in UML Models

      • Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann
      Pages 156-162

    3. A Framework for the Specification of Random SAT and QSAT Formulas

      • Nadia Creignou, Uwe Egly, Martina Seidl
      Pages 163-168

    4. A Lesson on Structural Testing with PathCrawler-online.com

      • Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro
      Pages 169-175

  5. Tutorials

    1. Tutorial on Automated Structural Testing with PathCrawler

      • Nikolai Kosmatov, Nicky Williams
      Pages 176-176

  6. 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 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application that support engineers in building secure, safe, and reliable systems. Among the topics covered are model-based testing; scenario-based testing; complex data structure generation; and the validation of protocols and libraries.

Editors and Affiliations

  • SAP Research, Karlsruhe, Germany

    Achim D. Brucker

  • LIFC UFR ST, Besançon Cedex, France

    Jacques Julliand

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation