@article{DBLP:journals/stvr/AlalfiCD09,
  author       = {Manar H. Alalfi and
                  James R. Cordy and
                  Thomas R. Dean},
  title        = {Modelling methods for web application verification and testing: state
                  of the art},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {19},
  number       = {4},
  pages        = {265--296},
  year         = {2009},
  url          = {https://doi.org/10.1002/stvr.401},
  doi          = {10.1002/STVR.401},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/AlalfiCD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ohfsvdydJGxKYGLq3","bibbaseid":"alalfi-cordy-dean-modellingmethodsforwebapplicationverificationandtestingstateoftheart-2009","downloads":3,"creationDate":"2017-10-15T15:19:43.674Z","title":"Modelling methods for web application verification and testing: state of the art","author_short":["Alalfi, M. H.","Cordy, J. R.","Dean, T. R."],"year":2009,"bibtype":"article","biburl":"https://dblp.org/pid/49/2794.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Manar","H."],"propositions":[],"lastnames":["Alalfi"],"suffixes":[]},{"firstnames":["James","R."],"propositions":[],"lastnames":["Cordy"],"suffixes":[]},{"firstnames":["Thomas","R."],"propositions":[],"lastnames":["Dean"],"suffixes":[]}],"title":"Modelling methods for web application verification and testing: state of the art","journal":"Softw. Test. Verification Reliab.","volume":"19","number":"4","pages":"265–296","year":"2009","url":"https://doi.org/10.1002/stvr.401","doi":"10.1002/STVR.401","timestamp":"Wed, 01 Apr 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/stvr/AlalfiCD09.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/stvr/AlalfiCD09,\n author = {Manar H. Alalfi and\n James R. Cordy and\n Thomas R. Dean},\n title = {Modelling methods for web application verification and testing: state\n of the art},\n journal = {Softw. Test. Verification Reliab.},\n volume = {19},\n number = {4},\n pages = {265--296},\n year = {2009},\n url = {https://doi.org/10.1002/stvr.401},\n doi = {10.1002/STVR.401},\n timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/stvr/AlalfiCD09.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Alalfi, M. H.","Cordy, J. R.","Dean, T. R."],"key":"DBLP:journals/stvr/AlalfiCD09","id":"DBLP:journals/stvr/AlalfiCD09","bibbaseid":"alalfi-cordy-dean-modellingmethodsforwebapplicationverificationandtestingstateoftheart-2009","role":"author","urls":{"Paper":"https://doi.org/10.1002/stvr.401"},"metadata":{"authorlinks":{}},"downloads":3},"search_terms":["modelling","methods","web","application","verification","testing","state","art","alalfi","cordy","dean"],"keywords":[],"authorIDs":["4fdK8DFhrjpifuSFR","8sk37xqL7eqWDyoKr","C5A8Tqvwg6ujKkf8g","NPMgnuNnBGNvaqQ6z","RYzxG2au8GskAksXz","ff63nmQSfuYXzAxrf","gKHoRLQbfvZ8YkBE5","jd4EhtRNHKgCr7myY","x9JwHGytBnCP2mnuZ"],"dataSources":["sruHQc7MdEddqHEe4","kFhnZvM2M4gH47q7m"]}