Model Inference of Mobile Applications with Dynamic State Abstraction

@inproceedings{Salva2015ModelIO,
  title={Model Inference of Mobile Applications with Dynamic State Abstraction},
  author={S{\'e}bastien Salva and Patrice Laurençot and Stassia R. Zafimiharisoa},
  booktitle={SNPD},
  year={2015}
}
We propose an automatic testing method of mobile applications, which also learns formal models expressing navigational paths and application states. We focus on the quality of the models to later perform analysis (verification or test case generation). In this context, our algorithm infers formal and exact models that capture the events applied while testing, the content of the observed screens and the application environment changes. A key feature of the algorithm is that it avoids the state… CONTINUE READING

Figures, Tables, and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-4 OF 4 CITATIONS

AMOGA: A Static-Dynamic Model Generation Strategy for Mobile Apps Testing

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A Static-dynamic Approach for UI Model Generation for Mobile Applications

VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 12 REFERENCES

Dynodroid: an input generation system for Android apps

VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

GUI ripping: reverse engineering of graphical user interfaces for testing

VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

A GUI Crawling-Based Technique for Android Mobile Application Testing

VIEW 3 EXCERPTS

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking

VIEW 1 EXCERPT

Constructing test suites for interaction testing

VIEW 2 EXCERPTS