Reference:

Corneliu Popeea and Wei-Ngan Chin. Dual analysis for proving safety and finding bugs. In SAC, pages 2137–2143, March 2010.

Suggested BibTeX entry:

@inproceedings{PopeeaSAC10,
    author = {Corneliu Popeea and Wei-Ngan Chin},
    booktitle = {SAC},
    month = {March},
    pages = {2137-2143},
    title = {Dual analysis for proving safety and finding bugs},
    year = {2010}
}