396 search results - page 43 / 80 » Using Refinement Checking as System Testing |
RE
2007
Springer
15 years 3 months ago
2007
Springer
Aspects promote a clear separation of concerns so that tangled and scattered concerns are modularized throughout software development. We propose a framework to trace aspects iden...
107
click to vote
SP
2006
IEEE
15 years 3 months ago
2006
IEEE
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
CHARME
2003
Springer
15 years 1 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents a simple and intuitive method for mining search engine query logs to get fast query recommendations on a large scale industrial-strength search engine. In orde...