713 search results - page 53 / 143 » Formalization, Testing and Execution of a Use Case Diagram |
ICST
2009
IEEE
14 years 5 months ago
2009
IEEE
Developers write and execute ad-hoc tests as they implement software. While these tests reflect important insights of the developers (e.g., which parts of the software need testi...
INFSOF
2007
13 years 10 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
VLDB
2007
ACM
14 years 5 months ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
WETICE
2005
IEEE
14 years 4 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
DAC
2005
ACM
14 years 25 days ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...