Modelling and Verifying Combinatorial Interactions to Test Data Intensive Systems: Experience with Optimal Archiving at the Norwegian Customs and Excise Directorate
- Authors
- S. Sen, D. Marijan, C. Ieva, A. Grime and A. Sander
- Status
- Published
- Publication type
- Journal Article
- Year of publication
- 2016
- Journal
- IEEE Transaction on Reliability
- Publisher
- IEEE
- Citation key
- 13417