78 search results - page 14 / 16 » Inspecting Automated Test Code: A Preliminary Study |
NDSS
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we present an approach for realizing a safe execution environment (SEE) that enables users to “try out” new software (or configuration changes to existing soft...
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
FMICS
2009
Springer
14 years 3 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
ICSM
2003
IEEE
14 years 1 months ago
2003
IEEE
Software maintainers and auditors would benefit from a tool to help them focus their attention on functions that are likely to be the source of security vulnerabilities. However,...
AMS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we presents a project that is developing a mobile service robot to assist users in biological and pharmaceutical laboratories by executing routine jobs such...