713 search results - page 64 / 143 » Formalization, Testing and Execution of a Use Case Diagram |
ISSRE
2006
IEEE
15 years 5 months ago
2006
IEEE
The widespread deployment of graphical-user interfaces (GUIs) has increased the overall complexity of testing. A GUI test designer needs to perform the daunting task of adequately...
137
click to vote
DAC
1994
ACM
15 years 3 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
125
click to vote
FTCS
1998
15 years 1 months ago
1998
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper describes a new automated technique to generate test cases for GUIs by using covering arrays (CAs). The key motivation is to generate long GUI event sequences that are ...
106
click to vote
WER
2010
Springer
14 years 9 months ago
2010
Springer
Real-time scheduling theory has made a great progress in the last decades. From small devices to enormous satellites or industrial plants take advantage of this ongoing research. H...