↓ Skip to main content
What is this page? Embed badge

Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers

Overview of attention for book
Cover of 'Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Multi-paradigmatic Model-Based Testing
  3. Altmetric Badge
    Chapter 2 Aspects for Trace Monitoring
  4. Altmetric Badge
    Chapter 3 A Symbolic Framework for Model-Based Testing
  5. Altmetric Badge
    Chapter 4 A Test Calculus Framework Applied to Network Security Policies
  6. Altmetric Badge
    Chapter 5 Hybrid Input-Output Conformance and Test Generation
  7. Altmetric Badge
    Chapter 6 Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement
  8. Altmetric Badge
    Chapter 7 Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems
  9. Altmetric Badge
    Chapter 8 Model-Based Testing of Thin-Client Web Applications
  10. Altmetric Badge
    Chapter 9 Synthesis of Scenario Based Test Cases from B Models
  11. Altmetric Badge
    Chapter 10 State-Identification Problems for Finite-State Transducers
  12. Altmetric Badge
    Chapter 11 Deterministic Dynamic Monitors for Linear-Time Assertions
  13. Altmetric Badge
    Chapter 12 Robustness of Temporal Logic Specifications
  14. Altmetric Badge
    Chapter 13 Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets
  15. Altmetric Badge
    Chapter 14 Dynamic Architecture Extraction
  16. Altmetric Badge
    Chapter 15 Safety Property Driven Test Generation from JML Specifications
  17. Altmetric Badge
    Chapter 16 Online Testing with Reinforcement Learning
Attention for Chapter 15: Safety Property Driven Test Generation from JML Specifications
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Safety Property Driven Test Generation from JML Specifications
Chapter number 15
Book title
Formal Approaches to Software Testing and Runtime Verification
Published by
Springer, Berlin, Heidelberg, January 2006
DOI 10.1007/11940197_15
Book ISBNs
978-3-54-049699-1, 978-3-54-049703-5
Authors

Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Indonesia 1 50%
Unknown 1 50%

Demographic breakdown

Readers by professional status Count As %
Professor 1 50%
Researcher 1 50%
Readers by discipline Count As %
Arts and Humanities 1 50%
Computer Science 1 50%

This page is provided by Altmetric.