4895 search results - page 144 / 979 » Tools for Grammar Engineering |
203
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
191
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
Designing complex multi-tier applications that must meet strict performance requirements is a challenging software engineering problem. Ideally, the application architect could de...
154
click to vote
IOLTS
2007
IEEE
16 years 1 months ago
2007
IEEE
Security of cryptographic circuits is a major concern. Fault attacks are a mean to obtain critical information with the use of physical disturbance and cryptanalysis. We propose a...
186
click to vote
SE
2007
15 years 8 months ago
2007
: We present our refactoring plug-ins for Eclipse’s Ruby Development Tools IDE. Refactoring is a very important technique for every software engineer and a cornerstone of agile s...
194
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...