4107 search results - page 187 / 822 » The Generalized Lambda Test |
195
click to vote
SPIN
2007
Springer
16 years 19 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
166
click to vote
GLVLSI
2006
IEEE
16 years 18 days ago
2006
IEEE
Process variations have become a serious concern for nanometer technologies. The interconnect and device variations include interand intra-die variations of geometries, as well as...
168
click to vote
ISESE
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper discusses software development using the Test Driven Development (TDD) methodology in two different environments (Windows and MSN divisions) at Microsoft. In both these...
178
click to vote
ACL2
2006
ACM
16 years 16 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
165
click to vote
ISSTA
2006
ACM
16 years 15 days ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....