488 search results - page 21 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
149
click to vote
SCN
2011
Springer
14 years 6 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
115
click to vote
CIBSE
2009
ACM
15 years 6 months ago
2009
ACM
Nowadays building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a domain specific language aimed to simpl...
113
click to vote
SCESM
2006
ACM
15 years 5 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
106
Voted
ACL
2003
15 years 1 months ago
2003
An investment of effort over the last two years has begun to produce a wealth of data concerning computational psycholinguistic models of syntax acquisition. The data is generated...
102
click to vote
MTV
2003
IEEE
15 years 5 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...