↓ Skip to main content

Fundamental Approaches to Software Engineering

Overview of attention for book
Cover of 'Fundamental Approaches to Software Engineering'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Formal Framework for Incremental Model Slicing
  3. Altmetric Badge
    Chapter 2 Multiple Model Synchronization with Multiary Delta Lenses
  4. Altmetric Badge
    Chapter 3 Controlling the Attack Surface of Object-Oriented Refactorings
  5. Altmetric Badge
    Chapter 4 Effective Analysis of Attack Trees: A Model-Driven Approach
  6. Altmetric Badge
    Chapter 5 ROLA: A New Distributed Transaction Protocol and Its Formal Analysis
  7. Altmetric Badge
    Chapter 6 A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism
  8. Altmetric Badge
    Chapter 7 Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems
  9. Altmetric Badge
    Chapter 8 EventHandler -Based Analysis Framework for Web Apps Using Dynamically Collected States
  10. Altmetric Badge
    Chapter 9 Hierarchical Specification and Verification of Architectural Design Patterns
  11. Altmetric Badge
    Chapter 10 Supporting Verification-Driven Incremental Distributed Design of Components
  12. Altmetric Badge
    Chapter 11 Summarizing Software API Usage Examples Using Clustering Techniques
  13. Altmetric Badge
    Chapter 12 Fast Computation of Arbitrary Control Dependencies
  14. Altmetric Badge
    Chapter 13 Iterative Generation of Diverse Models for Testing Specifications of DSL Tools
  15. Altmetric Badge
    Chapter 14 Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications
  16. Altmetric Badge
    Chapter 15 TCM: Test Case Mutation to Improve Crash Detection in Android
  17. Altmetric Badge
    Chapter 16 CRETE: A Versatile Binary-Level Concolic Testing Framework
  18. Altmetric Badge
    Chapter 17 Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL $$^{\star }$$ ⋆
  19. Altmetric Badge
    Chapter 18 FPH: Efficient Non-commutativity Analysis of Feature-Based Systems
  20. Altmetric Badge
    Chapter 19 Taming Multi-Variability of Software Product Line Transformations
Attention for Chapter 8: EventHandler -Based Analysis Framework for Web Apps Using Dynamically Collected States
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
4 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
EventHandler -Based Analysis Framework for Web Apps Using Dynamically Collected States
Chapter number 8
Book title
Fundamental Approaches to Software Engineering
Published by
Springer, Cham, April 2018
DOI 10.1007/978-3-319-89363-1_8
Book ISBNs
978-3-31-989362-4, 978-3-31-989363-1
Authors

Joonyoung Park, Kwangwon Sun, Sukyoung Ryu, Park, Joonyoung, Sun, Kwangwon, Ryu, Sukyoung

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Unspecified 1 25%
Student > Master 1 25%
Unknown 2 50%
Readers by discipline Count As %
Unspecified 1 25%
Computer Science 1 25%
Unknown 2 50%