Derivation of Useful Execution Trees from LOTOS by using an Interpreter

Authors:
Renaud Guillemot;Luigi Logrippo
Affiliations:
-;-
Venue:
Proceedings of the First International Conference on Formal Description Techniques
Year:
1988

Citing 0
Cited 3

Test Generation from LOTOS Specifications

IEEE Transactions on Computers - Special issue on protocol engineering
An Application of Explanation-Based Learning to Protocol Conformance Testing

IEEE Expert: Intelligent Systems and Their Applications
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract