1069 search results - page 107 / 214 » Automatic Generation of Language-based Tools |
107
click to vote
NDSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...
105
click to vote
FM
2006
Springer
15 years 3 months ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
128
click to vote
FMICS
2010
Springer
15 years 2 days ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
PLDI
2005
ACM
15 years 5 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...
ICCD
2002
IEEE
15 years 8 months ago
2002
IEEE
VLIW processors are statically scheduled processors and their performance depends on the quality of the compiler’s scheduler. We propose a scheduling scheme where the applicatio...