Model Testing – Combining Model Checking and Coverage Testing

@inproceedings{Heckel2005ModelT,
  title={Model Testing – Combining Model Checking and Coverage Testing},
  author={Reiko Heckel},
  year={2005}
}

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 27 references

Similar Papers

Loading similar papers…