scientific article; zbMATH DE number 140248

MaRDI QIDQ4028637zbMATH OpenFDO

Authors

Publication date 28 March 1993

zbMATH Keywords

Estelleprotocol testingtest case generationtrace analysis

Mathematics Subject Classification ID

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

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

Cited in

(8)

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

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)