The journal version of Automated Detection of Client-State Manipulation Vulnerabilities is accepted at ACM TOSEM 2 September 2013 by Ann Eg Mølhave Link to the paper