A data-flow approach to test multi-agent ASMs.

This paper illustrates the theoretical basis of an approach to apply data flow testing techniques to abstract state machines (ASMs). In particular, we focus on multi-agent ASMs extended with the seq construct for turbo ASMs. We explain why traditional data flow analysis can not simply be applied to...

Full description

Bibliographic Details
Main Author: Cavarra, A
Format: Journal article
Language:English
Published: 2011

Similar Items