3404 search results - page 260 / 681 » C Programming Tutorial |
111
click to vote
PLDI
2005
ACM
15 years 8 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...
115
Voted
ACSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Detection of malicious software (malware) by the use of static signatures is often criticized for being overly simplistic. Available methods of obfuscating code (so-called metamor...
123
click to vote
ICLP
2001
Springer
15 years 6 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
126
click to vote
SIGSOFT
1998
ACM
15 years 6 months ago
1998
ACM
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data...
124
click to vote
ISHPC
2000
Springer
15 years 6 months ago
2000
Springer
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...