15 search results - page 3 / 3 » Deterministic Parsing of Languages with Dynamic Operators |
104
Voted
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
114
click to vote
SOSP
2007
ACM
15 years 10 months ago
2007
ACM
The rise of the software-as-a-service paradigm has led to the development of a new breed of sophisticated, interactive applications often called Web 2.0. While web applications ha...
136
click to vote
SP
2010
IEEE
14 years 11 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
185
Voted
VEE
2012
ACM
13 years 9 months ago
2012
ACM
Time Of Check To Time Of Use (TOCTTOU) race conditions for file accesses in user-space applications are a common problem in Unix-like systems. The mapping between filename and i...
137
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...