Sciweavers

Share
SIGSOFT   2007 Foundations of Software Engineering
Wall of Fame | Most Viewed SIGSOFT-2007 Paper
SIGSOFT
2007
ACM
9 years 10 months ago
Finding bugs efficiently with a SAT solver
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
Julian Dolby, Mandana Vaziri, Frank Tip
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source1173
2Download preprint from source310
3Download preprint from source267
4Download preprint from source255
5Download preprint from source213
6Download preprint from source212
7Download preprint from source198
8Download preprint from source191
9Download preprint from source186
10Download preprint from source178
11Download preprint from source173
12Download preprint from source169
13Download preprint from source167
14Download preprint from source165
15Download preprint from source162
16Download preprint from source160
17Download preprint from source159
18Download preprint from source153
19Download preprint from source152
20Download preprint from source149
21Download preprint from source148
22Download preprint from source148
23Download preprint from source148
24Download preprint from source147
25Download preprint from source147
26Download preprint from source145
27Download preprint from source141
28Download preprint from source138
29Download preprint from source138
30Download preprint from source134
31Download preprint from source133
32Download preprint from source133
33Download preprint from source132
34Download preprint from source131
35Download preprint from source129
36Download preprint from source129
37Download preprint from source129
38Download preprint from source128
39Download preprint from source128
40Download preprint from source127
41Download preprint from source124
42Download preprint from source124
43Download preprint from source124
44Download preprint from source119
45Download preprint from source119
46Download preprint from source118
47Download preprint from source118
48Download preprint from source117
49Download preprint from source116
50Download preprint from source116
51Download preprint from source114
52Download preprint from source112
books