Now showing items 1-2 of 2

    • Finding Bugs In Dynamic Web Applications 

      Artzi, Shay; Kiezun, Adam; Dolby, Julian; Tip, Frank; Dig, Danny; e.a. (2008-02-06)
      Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact usability of web applications. Currenttools for web-page validation cannot handle the dynamically-generatedpages ...
    • 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 ...