Automated verification of pattern-based interaction invariants in Ajax applications

@article{Maezawa2013AutomatedVO,
  title={Automated verification of pattern-based interaction invariants in Ajax applications},
  author={Yuta Maezawa and Hironori Washizaki and Yoshinori Tanabe and Shinichi Honiden},
  journal={2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)},
  year={2013},
  pages={158-168}
}
When developing asynchronous JavaScript and XML (Ajax) applications, developers implement Ajax design patterns for increasing the usability of the applications. However, unpredictable contexts of running applications might conceal faults that will break the design patterns, which decreases usability. We propose a support tool called JSVerifier that auto-matically verifies interaction invariants; the applications handle their interactions in invariant occurrence and order. We also present a… CONTINUE READING

References

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

May) Property pattern mappings for ltl

Alavi, Hamid, +9 authors Corina
  • patterns.projects.cis.ksu.edu/documentation/patterns/ltl.shtml
  • 2013
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Code patterns for automatically validating requirements-to-code traces

  • 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
  • 2012
VIEW 1 EXCERPT

Extracting Interaction-Based Stateful Behavior in Rich Internet Applications

  • 2012 16th European Conference on Software Maintenance and Reengineering
  • 2012
VIEW 2 EXCERPTS

Mirshokraie, “Automated analysis of css rules to support style maintenance,

S. A. Mesbah
  • in Proc. Int’l Conf. on Software Engineering
  • 2012
VIEW 1 EXCERPT

and F

A. Marchetto, P. Tonella
  • Ricca, “Reajax: a reverse engineering tool for ajax web applications,” Software, IET, vol. 6, no. 1, pp. 33–49
  • 2012
VIEW 1 EXCERPT

and F

A. Marchetto, P. Tonella
  • Ricca, “Reajax: a reverse engineering tool for ajax web applications,” Software, IET, vol. 6, no. 1, pp. 33–49
  • 2012
VIEW 1 EXCERPT

A framework for automated testing of javascript web applications

  • 2011 33rd International Conference on Software Engineering (ICSE)
  • 2011
VIEW 3 EXCERPTS

Assessing Web Site Usability in Retail Electronic Commerce

  • 2011 IEEE 35th Annual Computer Software and Applications Conference
  • 2011
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…