Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting☆
Under a Creative Commons license
open access
Keywords
Testing and verification
asynchronous method calls
active objects
rewriting logic
formal semantics
Cited by (0)
- ☆
Part of this work has been supported by the EU-project IST-33826 Credo: Modeling and analysis of evolutionary structures for distributed services, HATS: Highly Adaptable and Trustworthy Software using Formal Methods (http://www.hats-project.eu), and the German-Norwegian DAAD-NWO exchange project Avabi (Automated validation for behavioral interfaces of asynchronous active objects).
Copyright © 2010 Elsevier B.V.