1226 search results - page 24 / 246 » Generating Abstractions from Static Domain Analysis |
SAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
ICSE
2010
IEEE-ACM
14 years 3 months ago
2010
IEEE-ACM
The efficacy of mutation analysis depends heavily on its capability to mutate programs in such a way that they remain executable and exhibit deviating behaviour. Whereas the forme...
WCRE
2002
IEEE
14 years 3 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
ECIR
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. In the community of sentiment analysis, supervised learning techniques have been shown to perform very well. When transferred to another domain, however, a supervised sen...
SP
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—Unfortunately, malicious software is still an unsolved problem and a major threat on the Internet. An important component in the fight against malicious software is the...