851 search results - page 65 / 171 » History Effects and Verification |
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
DAC
1994
ACM
15 years 4 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
121
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
CCS
2006
ACM
15 years 3 months ago
2006
ACM
Email List Services (or simply, mailing lists) are becoming increasingly common for collaborative computing. In order to enable their use for official purposes with increased effe...
SIGIR
2009
ACM
15 years 6 months ago
2009
ACM
Topics form a crucial component of a test collection. We show, through visualization, that the INEX 2008 topics have shortcomings, which questions their validity for evaluating XM...