Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods

Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) ◽

10.1109/sefm.2007.31 ◽

2007 ◽

Cited By ~ 19

Author(s):

Bernhard K. Aichernig ◽

Bernhard Peischl ◽

Martin Weiglhofer ◽

Franz Wotawa

Keyword(s):

Formal Methods ◽

Industrial Application ◽

Conformance Testing ◽

Protocol Conformance Testing

Download Full-text

Finite state machine based formal methods in protocol conformance testing: from theory to implementation

Computer Networks and ISDN Systems ◽

10.1016/0169-7552(91)90079-r ◽

1991 ◽

Vol 22 (1) ◽

pp. 7-33 ◽

Cited By ~ 59

Author(s):

Barry S. Bosik ◽

M. Ümit Uyar

Keyword(s):

Formal Methods ◽

Finite State Machine ◽

State Machine ◽

Conformance Testing ◽

Finite State ◽

Protocol Conformance Testing

Download Full-text

Extending ASN.1 into a full-fledged constraint language in the context of OSI protocol conformance testing

Computer Networks and ISDN Systems ◽

10.1016/0169-7552(93)90030-8 ◽

1993 ◽

Vol 25 (11) ◽

pp. 1243-1263 ◽

Cited By ~ 3

Author(s):

A.P. Varvitsiotis ◽

G.I. Stassinopoulos

Keyword(s):

Conformance Testing ◽

Constraint Language ◽

Protocol Conformance Testing

Download Full-text

The Study and Application of Protocol Conformance Testing Based on TTCN-3

Advances in Intelligent Systems and Computing - Proceedings of International Conference on Computer Science and Information Technology ◽

10.1007/978-81-322-1759-6_91 ◽

2014 ◽

pp. 791-798 ◽

Cited By ~ 1

Author(s):

Meijia Xu ◽

Honghui Li ◽

Jiwei Zheng

Keyword(s):

Conformance Testing ◽

Protocol Conformance Testing

Download Full-text

The role of education and training in the industrial application of formal methods

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-60043-4_45 ◽

1995 ◽

pp. 41-49 ◽

Cited By ~ 2

Author(s):

Ted Ralston ◽

Susan Gerhart ◽

Dan Craigen

Keyword(s):

Formal Methods ◽

Industrial Application ◽

Education And Training ◽

And Training

Download Full-text