4079 search results - page 512 / 816 » Differential Testing for Software |
182
click to vote
CODES
2011
IEEE
14 years 4 months ago
2011
IEEE
The paper presents an overview of a major research project on dependable embedded systems that has started in Fall 2010 and is running for a projected duration of six years. Aim i...
135
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
As the number of system vulnerabilities multiplies in recent years, vulnerability assessment has emerged as a powerful system security administration tool that can identify vulner...
134
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Software engineering researchers have long been interested in where and why bugs occur in code, and in predicting where they might turn up next. Historical bug-occurence data has ...
167
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
151
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
SCIRun is a general purpose problem solving environment that seeks to integrate the steps of preparing, executing, and visualizing simulations of physical and biological systems. ...