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

Structured Object-Oriented Formal Language and Method

Overview of attention for book
Cover of 'Structured Object-Oriented Formal Language and Method'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction
  3. Altmetric Badge
    Chapter 2 A Formal Technique for Concurrent Generation of Software’s Functional and Security Requirements in SOFL Specifications
  4. Altmetric Badge
    Chapter 3 Distortion and Faults in Machine Learning Software
  5. Altmetric Badge
    Chapter 4 A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude
  6. Altmetric Badge
    Chapter 5 An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL
  7. Altmetric Badge
    Chapter 6 Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework
  8. Altmetric Badge
    Chapter 7 UMC4M: A Verification Tool via Program Execution
  9. Altmetric Badge
    Chapter 8 Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads
  10. Altmetric Badge
    Chapter 9 A Planning Approach Based on APTL
  11. Altmetric Badge
    Chapter 10 Solving Constraint Optimization Problems Based on Mathematica and Abstraction
  12. Altmetric Badge
    Chapter 11 A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge
  13. Altmetric Badge
    Chapter 12 Formal Development and Verification of Reusable Component in PAR Platform
  14. Altmetric Badge
    Chapter 13 A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction
  15. Altmetric Badge
    Chapter 14 Formal Specification and Model Checking of a Ride-sharing System in Maude
  16. Altmetric Badge
    Chapter 15 Model Checking Python Programs with MSVL
  17. Altmetric Badge
    Chapter 16 Prediction of Function Removal Propagation in Linux Evolution
  18. Altmetric Badge
    Chapter 17 Regression Models for Performance Ranking of Configurable Systems: A Comparative Study
  19. Altmetric Badge
    Chapter 18 Combining Model Learning and Model Checking to Analyze Java Libraries
  20. Altmetric Badge
    Chapter 19 Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning
  21. Altmetric Badge
    Chapter 20 Metamorphic Testing in Fault Localization of Model Transformations
  22. Altmetric Badge
    Chapter 21 A Fault Localization Method Based on Dynamic Failed Execution Blocks
  23. Altmetric Badge
    Chapter 22 Adaptive Random Testing by Bisection and Comprehensive Distance
  24. Altmetric Badge
    Chapter 23 CMM: A Combination-Based Mutation Method for SQL Injection
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
1 patent
Summary Patents
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.
Title
Structured Object-Oriented Formal Language and Method
Published by
Springer International Publishing, May 2020
DOI 10.1007/978-3-030-41418-4
ISBNs
978-3-03-041417-7, 978-3-03-041418-4
Editors

Miao, Huaikou, Tian, Cong, Liu, Shaoying, Duan, Zhenhua

View on publisher site

This page is provided by Altmetric.