Model Checking Graphical User Interfaces Using Abstractions

Matthew B. Dwyer, Vicki Carr, Laura Hines

Abstract elided by the publisher.

BibTeX

@inproceedings{Dwyer-al:FSE97,
  author    = {Matthew B. Dwyer and
               Vicki Carr and
               Laura Hines},
  title     = {Model Checking Graphical User Interfaces Using Abstractions},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {244--261},
  series    = {LNCS},
  volume    = {1301},
  publisher = {Springer},
  year      = {1997},
  doi       = {10.1007/3-540-63531-9\_18},
}

Model Checking Graphical User Interfaces Using Abstractions

Related papers