The paper Automated Detection of Client-State Manipulation Vulnerabilities is accepted at ICSE'12 2 January 2012 by Ann Eg Mølhave Link to the paper