Static Specification Mining Using Automata-Based Abstractions
Shoham S., Yahav E., Fink S., Pistoia M.
ISSTA'07: International Symposium on Software Testing and Analysis 2007
best paper award
[bib][abstract][ps][pdf][slides]

Effective Typestate Verification in the Presence of Aliasing
Fink S.J., Yahav E., Dor N., Ramalingam G., and Geay E.
ISSTA '06:International Symposium on Software Testing and Analysis 2006
best paper award
[bib][abstract][ps][pdf][slides]

Role-Based Access Control Consistency Validation,
Centonze, P., Naumovich, G., Fink, S. J., and Pistoia, M.
ISSTA 2006: International Symposium on Software Testing and Analysis 2006
[bib][abstract][ps][pdf][slides]

Verifying Safety Properties Using Separation and Heterogeneous Abstractions,
Yahav E. and Ramalingam G.
PLDI 2004 [bib][abstract][ps][pdf][slides]

Typestate Verification: Abstraction Techniques and Complexity Results,
Field J., Goyal D., Ramalingam G., and Yahav E., 
SAS 2003  [bib][abstract][ps][pdf][slides]