Data Model Bugs

  • Ivan BocićEmail author
  • Tevfik Bultan
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9058)


In today’s internet-centric world, web applications have replaced desktop applications. Cloud systems are frequently used to store and manage user data. Given the complexity inherent in web applications, it is imperative to ensure that this data is never corrupted. We overview existing techniques for data model verification in web applications, list bugs discovered by these tools, and discuss the impact, difficulty of detection, and prevention of these bugs.


Data Model Access Control Policy Invalid Data Corrupted Data Open Source Application 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bocić, I., Bultan, T.: Inductive verification of data model invariants for web applications. In: Proceedings of the 36th International Conference on Software Engineering (ICSE 2014), May 2014Google Scholar
  2. 2.
    Deutsch, A., Sui, L., Vianu, V.: Specification and verification of data-driven web applications. Journal of Computer and System Sciences 73(3), 442–474 (2007)CrossRefzbMATHMathSciNetGoogle Scholar
  3. 3.
    Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Enginnering and Methodology (TOSEM 2002) 11(2), 256–290 (2002)Google Scholar
  4. 4.
    Near, J.P., Jackson, D.: Rubicon: bounded verification of web applications. In: Proceedings of the ACM SIGSOFT 20th Int. Symp. Foundations of Software Engineering (FSE 2012), pp. 60:1–60:11 (2012)Google Scholar
  5. 5.
    Nijjar, J.: Analysis and Verification of Web Application Data Models. PhD thesis, University of California, Santa Barbara, January 2014Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of CaliforniaSanta BarbaraUSA

Personalised recommendations