scientific article; zbMATH DE number 140248

MaRDI QIDQ4028637zbMATH OpenFDO

Authors

Publication date 28 March 1993

zbMATH Keywords

test case generationtrace analysisprotocol testingEstelle

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)

• Computer Aided Systems Theory – EUROCAST 2005
• scientific article; zbMATH DE number 2013773 (Why is no real title available?)
• 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)