↓ 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 Fundamental Approaches to Software Engineering
  3. Altmetric Badge
    Chapter 2 Towards a Distributed Modeling Process Based on Composite Models
  4. Altmetric Badge
    Chapter 3 Change Propagation due to Uncertainty Change
  5. Altmetric Badge
    Chapter 4 A Model-Based Synthesis Process for Choreography Realizability Enforcement
  6. Altmetric Badge
    Chapter 5 Fundamental Approaches to Software Engineering
  7. Altmetric Badge
    Chapter 6 On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets
  8. Altmetric Badge
    Chapter 7 Quality of Merge-Refactorings for Product Lines
  9. Altmetric Badge
    Chapter 8 Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs
  10. Altmetric Badge
    Chapter 9 Discovering Branching Conditions from Business Process Execution Logs
  11. Altmetric Badge
    Chapter 10 Exposing Behavioral Differences in Cross-Language API Mapping Relations
  12. Altmetric Badge
    Chapter 11 Explicit-State Software Model Checking Based on CEGAR and Interpolation
  13. Altmetric Badge
    Chapter 12 Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks
  14. Altmetric Badge
    Chapter 13 Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification
  15. Altmetric Badge
    Chapter 14 Scenario Realizability with Constraint Optimization
  16. Altmetric Badge
    Chapter 15 Andromeda : Accurate and Scalable Security Analysis of Web Applications
  17. Altmetric Badge
    Chapter 16 VerChor: A Framework for Verifying Choreographies
  18. Altmetric Badge
    Chapter 17 Javanni: A Verifier for JavaScript
  19. Altmetric Badge
    Chapter 18 Model-Based Implementation of Parallel Real-Time Systems
  20. Altmetric Badge
    Chapter 19 A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications
  21. Altmetric Badge
    Chapter 20 A Mechanized Model for CAN Protocols
  22. Altmetric Badge
    Chapter 21 Enforcing QVT-R with mu-Calculus and Games
  23. Altmetric Badge
    Chapter 22 Implementing QVT-R Bidirectional Model Transformations Using Alloy
  24. Altmetric Badge
    Chapter 23 Abstraction and Training of Stochastic Graph Transformation Systems
  25. Altmetric Badge
    Chapter 24 Discovering Math APIs by Mining Unit Tests
  26. Altmetric Badge
    Chapter 25 POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications
  27. Altmetric Badge
    Chapter 26 Testing with Inputs and Outputs in CSP
Attention for Chapter 19: A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications
Altmetric Badge

Mentioned by

patent
2 patents

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
159 Mendeley
citeulike
2 CiteULike
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
A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications
Chapter number 19
Book title
Fundamental Approaches to Software Engineering
Published by
Springer, Berlin, Heidelberg, March 2013
DOI 10.1007/978-3-642-37057-1_19
Book ISBNs
978-3-64-237056-4, 978-3-64-237057-1
Authors

Wei Yang, Mukul R. Prasad, Tao Xie, Yang, Wei, Prasad, Mukul R., Xie, Tao

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 3 2%
Portugal 1 <1%
Malaysia 1 <1%
France 1 <1%
Brazil 1 <1%
Germany 1 <1%
Mexico 1 <1%
Malta 1 <1%
Spain 1 <1%
Other 1 <1%
Unknown 147 92%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 42 26%
Student > Master 39 25%
Student > Bachelor 19 12%
Researcher 10 6%
Student > Postgraduate 9 6%
Other 18 11%
Unknown 22 14%
Readers by discipline Count As %
Computer Science 118 74%
Engineering 12 8%
Unspecified 1 <1%
Business, Management and Accounting 1 <1%
Psychology 1 <1%
Other 3 2%
Unknown 23 14%