Concepedia

Verification and test generation for the SSCOP protocol

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, P. Morel, Laurent Mounier

Science of Computer Programming · 2000 · 35 citations · 6 references

DOIFull text

Open access

Concepts

References

6

Results on the propositional μ-calculus

Dexter Kozen · Theoretical Computer Science · 1983 · 1.8K citations

, , +4

Constant propagation with conditional branches

Mark N. Wegman, F. Kenneth Zadeck · ACM Transactions on Programming Languages and Systems · 1991 · 602 citations · Full text

, , +6

Test Generation with Inputs, Outputs and Repetitive Quiescence

Jan Tretmans · 1996 · 487 citations

, , +17

An experiment in automatic generation of test suites for protocols with verification technology

Jean-Claude Fernandez, Claude Jard, Thierry Jéron et al. · Science of Computer Programming · 1997 · 146 citations · Full text

, , +16

Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract).

Rob J. van Glabbeek, W. P. Weijland · IFIP Congress · 1989 · 138 citations

, , +14