Browsing Artificial Intelligence Lab Publications by Subject "testing"

Now showing items 1-1 of 1

    • System Validation via Constraint Modeling 

      Waters, Richard C. (1988-02-01)
      Constraint modeling could be a very important system validation method, because its abilities are complementary to both testing and code inspection. In particular, even though the ability of constraint modeling to ...