scientific article; zbMATH DE number 140248

zbMATH Open0765.68012MaRDI QIDQ4028637FDOQ4028637

Authors:

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3980447
• Formal description and test cases generation of protocols based on input/output sequence
• Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos
• scientific article; zbMATH DE number 3980446
• scientific article; zbMATH DE number 47856

zbMATH Keywords

test case generationtrace analysisprotocol testingEstelle

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Theory of software (68N99)

Cited In (8)

• Computer Aided Systems Theory – EUROCAST 2005
• Title not available (Why is that?)
• Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos
• Specification and analysis of a composition of protocols
• Efficient protocol testing under temporal uncertain event using discrete-event network simulations
• The formalization and analysis of a communications protocol
• Network event recognition
• Analyzing the Impact of Protocol Changes on Tests

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028637)