@InProceedings{ChenMSWW07,
  author = 	 {Shuo Chen, Jos{\'e} Meseguer, Ralf Sasse, Helen J. Wang, Yi-Min Wang},
  title = 	 {A Systematic Approach to Uncover Security Flaws in GUI Logic},
  booktitle = 	 {IEEE Symposium on Security and Privacy},
  address =      {Oakland CA},
  month =        {May},
  year = 	 {2007},
}