50 search results - page 5 / 10 » Perspectives on bugs in the Debian bug tracking system |
116
click to vote
CSAC
2004
15 years 2 months ago
2004
Free/Libre Open Source Software (FLOSS) is primarily developed by distributed teams. Developers contribute from around the world and coordinate their activity almost exclusively by...
103
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
100
click to vote
COMPUTER
1999
15 years 26 days ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
108
click to vote
CSMR
2008
IEEE
15 years 7 months ago
2008
IEEE
To understand the evolution of software researchers have developed a plethora of tools to parse, model, and analyze the history of systems. Despite their usefulness, a common down...
PLDI
2009
ACM
15 years 8 months 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...