Publication Date
2-2019
Abstract
When designing a system, we need to perform testing and checking on all levels of the system hierarchy, from the most general system level to the most detailed level. Our resources are limited, so we need to find the best way to allocate these resources, i.e., we need to decide how much efforts to use of each of the levels. In this paper, we formulate this problem in precise terms, and provide a solution to the resulting optimization problem.
Comments
Technical Report: UTEP-CS-19-06