191 search results - page 28 / 39 » Automatic detection of software defects: an industrial exper... |
CISIS
2008
IEEE
15 years 6 months ago
2008
IEEE
—Techniques for detecting synthetic lethal mutations in double gene deletion experiments are emerging as powerful tool for analysing genes in parallel or overlapping pathways wit...
106
click to vote
AADEBUG
1997
Springer
15 years 3 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
103
click to vote
ECOOPW
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
SIGSOFT
2009
ACM
16 years 13 days ago
2009
ACM
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...
114
click to vote
ECOOP
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. One of the costs of reusing software components is updating applications to use the new version of the components. Updating an application can be error-prone, tedious, an...