3792 search results - page 482 / 759 » Techniques for Trusted Software Engineering |
155
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Buffer overflow (BOF) is one of the major vulnerabilities that leads to non-secure software. Testing an implementation for BOF vulnerabilities is challenging as the underlying rea...
171
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
Automated static analysis is a promising technique to detect defects in software. However, although considerable effort has been spent for developing sophisticated detection possi...
166
click to vote
MOMPES
2008
IEEE
16 years 1 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
200
Voted
IWPSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software systems need to change over time to cope with new requirements, and due to design decisions, the changes happen to crosscut the system’s structure. Understanding how ch...
175
Voted
OOPSLA
2007
Springer
16 years 26 days ago
2007
Springer
We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on largescale code repositories. With CodeGenie, developers design test c...