Effective typestate verification in the presence of aliasing
- Stephen J. Fink
- Eran Yahav
- et al.
- 2008
- ACM TOSEM
Publications
Date
Featured collections
Popular topics
14 results at ACM TOSEM
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications
- Avik Sinha
- Carol Smidts
- 2006
- ACM TOSEM
A Slicing-Based Approach for Locating Type Errors
- F. Tip
- T.B. Dinesh
- 2001
- ACM TOSEM
Supporting the Restructuring of Data Abstractions through Manipulation of a Program Visualization
- Robert W. Bowdidge
- William G. Griswold
- 1998
- ACM TOSEM