Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Tracking down software bugs using automatic anomaly detection
Proceedings of the 24th International Conference on Software Engineering
Computer
Regression Testing for Web Applications Based on Slicing
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Leveraging User-Session Data to Support Web Application Testing
IEEE Transactions on Software Engineering
Automated replay and failure detection for web applications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
From daikon to agitator: lessons and challenges in building a commercial tool for developer testing
Proceedings of the 2006 international symposium on Software testing and analysis
The Daikon system for dynamic detection of likely invariants
Science of Computer Programming
DySy: dynamic symbolic execution for invariant inference
Proceedings of the 30th international conference on Software engineering
State-Based Testing of Ajax Web Applications
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Automated Session Data Repair for Web Application Regression Testing
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Regression Testing Web Applications
ICACTE '08 Proceedings of the 2008 International Conference on Advanced Computer Theory and Engineering
Guidelines for conducting and reporting case study research in software engineering
Empirical Software Engineering
Using static analysis for Ajax intrusion detection
Proceedings of the 18th international conference on World wide web
Automated security testing of web widget interactions
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Regression Testing Ajax Applications: Coping with Dynamism
ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
GATEKEEPER: mostly static enforcement of security and reliability policies for javascript code
SSYM'09 Proceedings of the 18th conference on USENIX security symposium
DoDOM: Leveraging DOM Invariants for Web 2.0 Application Robustness Testing
ISSRE '10 Proceedings of the 2010 IEEE 21st International Symposium on Software Reliability Engineering
Statically locating web application bugs caused by asynchronous calls
Proceedings of the 20th international conference on World wide web
A framework for automated testing of javascript web applications
Proceedings of the 33rd International Conference on Software Engineering
Searching for invariants using genetic programming and mutation testing
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Program verification using automatic generation of invariants
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Crawling Ajax-Based Web Applications through Dynamic Analysis of User Interface State Changes
ACM Transactions on the Web (TWEB)
Invariant-Based Automatic Testing of Modern Web Applications
IEEE Transactions on Software Engineering
AutoFLox: An Automatic Fault Localizer for Client-Side JavaScript
ICST '12 Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
Hi-index | 0.00 |
Web 2.0 applications rely heavily on JavaScript and client-side runtime manipulation of the DOM tree. One way to provide assurance about the correctness of such highly evolving and dynamic applications is through regression testing. However, JavaScript is loosely typed, dynamic, and notoriously challenging to analyze and test. We propose an automated technique for JavaScript regression testing, which is based on on-the-fly JavaScript source code instrumentation and dynamic analysis to infer invariant assertions. These obtained assertions are injected back into the JavaScript code to uncover regression faults in subsequent revisions of the web application under test. Our approach is implemented in a tool called Jsart. We present our case study conducted on nine open source web applications to evaluate the proposed approach. The results show that our approach is able to effectively generate stable assertions and detect JavaScript regression faults with a high degree of accuracy and minimal performance overhead.