Filter Based Analysis Papers

Software developers attempt to assess the quality of their designs and implementations throughout the development process. It is common-practice to test individual software units in isolation as they become available. We intend to support the application of finite-state verification techniques to individual software units as well. To achieve this one must define a verification harness (like a test harness) that establishes the environment in which the unit will execute and exercises that unit to expose defects or assess functionality.