@inproceedings{2009wwwinternet,
  author    = {Boni Garc\'ia and Juan C. Due{\~n}as and Hugo A. Parada },  
  title     = {{Functional Testing based on Web Navigation with Contracts}},
  booktitle = {IADIS International Conference on WWW/INTERNET},
  year      = {2009},
  month     = {November},
  pages     = {168--173},
  address   = {Rome, Italy},
  isbn      = {978-972-8924-93-5}
}