↓ Skip to main content

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings

Overview of attention for book
Cover of 'Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Realising the Benefits of Formal Methods
  3. Altmetric Badge
    Chapter 2 A Compositional Framework for Service Interaction Patterns and Interaction Flows
  4. Altmetric Badge
    Chapter 3 An Evidential Tool Bus
  5. Altmetric Badge
    Chapter 4 Derivation of UML Class Diagrams as Static Views of Formal B Developments
  6. Altmetric Badge
    Chapter 5 29 New Unclarities in the Semantics of UML 2.0 State Machines
  7. Altmetric Badge
    Chapter 6 The Semantics and Tool Support of OZTA
  8. Altmetric Badge
    Chapter 7 An Abstract Model for Process Mediation
  9. Altmetric Badge
    Chapter 8 How Symbolic Animation Can Help Designing an Efficient Formal Model
  10. Altmetric Badge
    Chapter 9 A Theory of Secure Control Flow
  11. Altmetric Badge
    Chapter 10 Game Semantics Model for Security Protocols
  12. Altmetric Badge
    Chapter 11 Towards Dynamically Communicating Abstract Machines in the B Method
  13. Altmetric Badge
    Chapter 12 Formal Methods and Software Engineering
  14. Altmetric Badge
    Chapter 13 2/3 Alternating Simulation Between Interface Automata
  15. Altmetric Badge
    Chapter 14 Formal Model-Driven Development of Communicating Systems
  16. Altmetric Badge
    Chapter 15 Jahuel : A Formal Framework for Software Synthesis
  17. Altmetric Badge
    Chapter 16 Modelling and Refinement of an On-Chip Communication Architecture
  18. Altmetric Badge
    Chapter 17 Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics
  19. Altmetric Badge
    Chapter 18 Adaptive Random Testing by Bisection with Restriction
  20. Altmetric Badge
    Chapter 19 Testing Real-Time Multi Input-Output Systems
  21. Altmetric Badge
    Chapter 20 Formal Verification of a Memory Model for C -Like Imperative Languages
  22. Altmetric Badge
    Chapter 21 Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations
  23. Altmetric Badge
    Chapter 22 An Improved Rule for While Loops in Deductive Program Verification
  24. Altmetric Badge
    Chapter 23 Using Stålmarck’s Algorithm to Prove Inequalities
  25. Altmetric Badge
    Chapter 24 Automatic Refinement Checking for B
  26. Altmetric Badge
    Chapter 25 Slicing an Integrated Formal Method for Verification
  27. Altmetric Badge
    Chapter 26 A Static Communication Elimination Algorithm for Distributed System Verification
  28. Altmetric Badge
    Chapter 27 Incremental Verification of Owicki/Gries Proof Outlines Using PVS
  29. Altmetric Badge
    Chapter 28 Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry
  30. Altmetric Badge
    Chapter 29 An Automated Approach to Specification-Based Program Inspection
  31. Altmetric Badge
    Chapter 30 Visualizing and Simulating Semantic Web Services Ontologies
  32. Altmetric Badge
    Chapter 31 A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing
  33. Altmetric Badge
    Chapter 32 ClawZ: Cost-Effective Formal Verification for Control Systems
  34. Altmetric Badge
    Chapter 33 SVG Web Environment for Z Specification Language
Attention for Chapter 18: Adaptive Random Testing by Bisection with Restriction
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
6 Mendeley
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
Adaptive Random Testing by Bisection with Restriction
Chapter number 18
Book title
Formal Methods and Software Engineering
Published by
Springer, Berlin, Heidelberg, November 2005
DOI 10.1007/11576280_18
Book ISBNs
978-3-54-029797-0, 978-3-54-032250-4
Authors

Johannes Mayer, Mayer, Johannes

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 6 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 3 50%
Lecturer 1 17%
Student > Doctoral Student 1 17%
Unknown 1 17%
Readers by discipline Count As %
Computer Science 5 83%
Unknown 1 17%