Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Modeling Web application architectures with UML
Communications of the ACM
Web Modeling Language (WebML): a modeling language for designing Web sites
Proceedings of the 9th international World Wide Web conference on Computer networks : the international journal of computer and telecommunications netowrking
Extending UML for Modeling Web Applications
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 3 - Volume 3
Modeling Web-Based Dialog Flows for Automatic Dialog Control
Proceedings of the 19th IEEE international conference on Automated software engineering
Formal Framework for Automated Analysis and Verification of Web-Based Applications
Proceedings of the 19th IEEE international conference on Automated software engineering
Validating ORA-SS Data Models using Alloy
ASWEC '06 Proceedings of the Australian Software Engineering Conference
A system for specification and verification of interactive, data-driven web applications
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Provable Protection against Web Application Vulnerabilities Related to Session Data Dependencies
IEEE Transactions on Software Engineering
Generation of policy-rich websites from declarative models
Generation of policy-rich websites from declarative models
Mapping between Alloy Specifications and Database Implementations
SEFM '09 Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
A Model Checking-based Method for Verifying Web Application Design
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the IEEE/ACM international conference on Automated software engineering
Design verification of web applications using symbolic model checking
ICWE'05 Proceedings of the 5th international conference on Web Engineering
MDA and analysis of web applications
TEAA'05 Proceedings of the 31st VLDB conference on Trends in Enterprise Application Architecture
Relating navigation and request routing models in web applications
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Unbounded data model verification using SMT solvers
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Rubicon: bounded verification of web applications
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Data model property inference and repair
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Hi-index | 0.00 |
The use of scripting languages to build web applications has increased programmer productivity, but at the cost of degrading dependability. In this paper we focus on a class of bugs that appear in web applications that are built based on the Model-View-Controller architecture. Our goal is to automatically discover data model errors in Ruby on Rails applications. To this end, we created an automatic translator that converts data model expressions in Ruby on Rails applications to formal specifications. In particular, our translator takes Active Records specifications (which are used to specify data models in Ruby on Rails applications) as input and generates a data model in Alloy language as output. We then use bounded verification techniques implemented in the Alloy Analyzer to look for errors in these formal data model specifications. We applied our approach to two open source web applications to demonstrate its feasibility.