3792 search results - page 647 / 759 » Techniques for Trusted Software Engineering |
140
click to vote
FASE
2010
Springer
16 years 12 days ago
2010
Springer
Multithreaded concurrent programs often exhibit bugs due to unintended interferences among the concurrent threads. Such bugs are often hard to reproduce because they typically hap...
143
click to vote
LCTRTS
2010
Springer
16 years 12 days ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
157
click to vote
LCTRTS
2010
Springer
16 years 12 days ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...
129
click to vote
PLDI
2009
ACM
16 years 11 days ago
2009
ACM
Unchecked errors are especially pernicious in operating system file management code. Transient or permanent hardware failures are inevitable, and error-management bugs at the fi...
190
click to vote
CGO
2006
IEEE
15 years 11 months ago
2006
IEEE
The majority of security vulnerabilities published in the literature are due to software bugs. Many researchers have developed program transformation and analysis techniques to au...