6719 search results - page 1226 / 1344 » A Generalization of Automatic Sequences |
150
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
135
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
138
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already...
111
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Automatic bug-finding tools have a high false positive rate: most warnings do not indicate real bugs. Usually bug-finding tools assign important warnings high priority. However, t...
134
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...