Model Based Testing for Real: The Inhouse Card Case Study

Metadata only

Author

Date

2004

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

Book title

FMICS 2001 - Formal Methods for Industrial Critical Systems: Proceedings

Pages / Article No.

79 - 94

Publisher

INRIA

Event

6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001), Paris, France, July 16-17, 2001

Subject

Automatic test case generation; CASE; Reactive systems; Validation

Organisational unit

03634 - Basin, David / Basin, David

Notes

Conference lecture on July 16, 2001.

More

ETH Bibliography

yes

Altmetrics

Research Collection