Work

Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols

Year: 2008

Type: article

Source: International Journal of Agent-Oriented Software Engineering

DOI: 10.1504/ijaose.2008.020139

Authors: Farid Mokhati, Mourad Badri, Linda Badri, Fathi Hamidane, Sofiane Bouazdia

Institutions: Larbi Ben M'hidi University of Oum El Bouaghi, Université du Québec à Trois-Rivières, Université Larbi Tébessi

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1997693579

FWCI: 4.457

Cites: 18

Cited by: 4

Related to: 10