You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Oxford » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Oxford

Return to search Previous output Next output

Output 4 of 263 in the submission

Article title

A data-flow approach to test multi-agent ASMs

Type

D - Journal article

DOI

10.1007/s00165-009-0134-7

Title of journal

Formal Aspects of Computing

Article number

Volume number

Issue number

First page of article

ISSN of journal

0934-5043

Year of publication

2011

URL

http://link.springer.com/article/10.1007/s00165-009-0134-7

Number of additional authors

Additional information

<09>

This paper illustrates an approach to apply data-flow testing techniques to ASMs, defines a family of data-flow coverage criteria for multi-agent ASMs, and provides a model checking-based approach to generate test cases satisfying given coverage criteria. The problem of testing ASM models has been addressed by other groups (Microsoft Redmond, University of Milan), but never from this perspective; moreover, a comparative study showed that our coverage criteria are generally stronger. A paper introducing our initial results was presented at ABZ08 and was one of only seven selected for publication in FAC.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract