2488 search results - page 129 / 498 » An improvement in formal verification |
118
Voted
LOGCOM
2010
14 years 7 months ago
2010
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
113
click to vote
JOT
2008
15 years 23 days ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
129
Voted
JUCS
2002
15 years 14 days ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
109
Voted
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
143
Voted
CIBSE
2008
ACM
15 years 2 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...