An abstract framework for choreographic testing 2021 (English)In: The Journal of logical and algebraic methods in programming, ISSN 2352-2208, E-ISSN 2352-2216, Vol. 123, article id 100712Article in journal (Refereed) Published

Abstract [en]

We present a tool-supported approach for the model-driven testing of message-passing applications. Our approach envisages choreographies as a particularly suited model to derive tests in order to tame the problems of correctness of distributed applications.

Place, publisher, year, edition, pages

Elsevier BV , 2021. Vol. 123, article id 100712

Keywords [en]

Model-based testing, Choreography, Communicating finite state machines, Projection, Well-formedness

National Category

Computer Sciences

Identifiers

URN: urn:nbn:se:kth:diva-303760DOI: 10.1016/j.jlamp.2021.100712ISI: 000703561100005Scopus ID: 2-s2.0-85119875099OAI: oai:DiVA.org:kth-303760DiVA, id: diva2:1605985

Note

QC 20211026

Available from: 2021-10-26 Created: 2021-10-26 Last updated: 2022-06-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Guanciale, Roberto

Search in DiVA

By author/editor

Guanciale, Roberto

By organisation

Theoretical Computer Science, TCS

In the same journal

The Journal of logical and algebraic methods in programming

On the subject

Computer Sciences

Search outside of DiVA

GoogleGoogle ScholarTotal: 53 hits