50 search results - page 5 / 10 » Perspectives on bugs in the Debian bug tracking system |
92
Voted
CSAC
2004
14 years 11 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...
85
Voted
ESOP
2010
Springer
15 years 7 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...
79
Voted
COMPUTER
1999
14 years 10 months 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...
91
Voted
CSMR
2008
IEEE
15 years 4 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...
80
Voted
PLDI
2009
ACM
15 years 5 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...