To main content
Your browser doesn't have JavaScript enabled. The website works, but some functionality may be limited
Norsk
English
Menu
Search
Search
Close
Menu
Menu
Menu
Close
Contact us
Our services
Career
Research areas
Research areas
Research areas
Building and construction
Climate and environment
Digitalisation
Food and agriculture
Health and medicine
Materials
Microsystems and nanotechnology
Ocean space
Renewable energy
Society and security
Sustainable production
Transport and mobility
Research areas
All about SINTEF
All about SINTEF
All about SINTEF
Show more
Contact us
Contact information
Press contacts
All employees
Invoice information
Media archive
Show more
Our services
Expertise
Laboratories
Events and courses
SINTEF projects
Publications
Software
All our services ▸
Show more
Career
Vacant positions
Students
The SINTEF School
Development opportunities
Benefits
Show more
Sustainability
Sustainability in SINTEF
UN Sustainable Development Goals
Research projects and sustainability
Start-up companies and sustainability
Show more
Management and board
Management and board
A certified institute
Annual Reports and brochures
HSE
Ethics
Show more
Institutes
SINTEF Community
SINTEF Digital
SINTEF Energy Research
SINTEF Industry
SINTEF Manufacturing
SINTEF Ocean
Show more
Other units
SINTEF Helgeland
SINTEF Nord
SINTEF Nordvest
SINTEF TTO
SINTEF’s Brussels Office
Show more
About us
About us
Our employees
Latest news from SINTEF
Show more
Follow us
LinkedIn
Facebook
Twitter
Instagram
All about SINTEF
Home
Our services
Publications
Publication
Modeling and Verifying Combinatorial Interactions to Test Data Intensive Systems: Experience at the Norwegian Customs Directorate
Category
Academic article
Language
English
Author(s)
Sagar Sen
Carlo Ieva
Dusica Marijan
Affiliation
SINTEF Digital / Sustainable Communication Technologies
Unknown
Year
2016
Published in
IEEE Transactions on Reliability
ISSN
0018-9529
DOI
https://doi.org/10.1109/tr.2016.2618121
View this publication at Cristin
