3889 search results - page 681 / 778 » The Use of Program Dependence Graphs in Software Engineering |
189
Voted
ECEASST
2010
15 years 1 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
122
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
Since the invention of the Web, the browser has become more and more powerful. By now, it is a programming and execution environment in itself. The predominant language to program...
210
Voted
POPL
2011
ACM
14 years 6 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
124
Voted
IUI
2010
ACM
16 years 15 days ago
2010
ACM
The Web makes it possible for news readers to learn more about virtually any story that interests them. Media outlets and search engines typically augment their information with l...
187
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...