Amoeba: A methodology for modeling and evolving cross-organizational business processes
- Nirmit Desai
- Amit K. Chopra
- et al.
- 2009
- ACM TOSEM
Publications
Date
Featured collections
Popular topics
14 results at ACM TOSEM
Effective typestate verification in the presence of aliasing
- Stephen J. Fink
- Eran Yahav
- et al.
- 2008
- 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