303 search results - page 49 / 61 » Robust Test Generation and Coverage for Hybrid Systems |
SOUPS
2009
ACM
14 years 2 months ago
2009
ACM
Randomness is a necessary ingredient in various computational tasks and especially in Cryptography, yet many existing mechanisms for obtaining randomness suffer from numerous pro...
USS
2008
13 years 10 months ago
2008
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
ISD
1999
Springer
13 years 12 months ago
1999
Springer
This paper describes an ongoing collaborative research program between the Computer Science and the Forestry and Wildlife Management Departments at the University of Massachusetts...
SP
2010
IEEE
13 years 11 months ago
2010
IEEE
The computer systems security arms race between attackers and defenders has largely taken place in the domain of software systems, but as hardware complexity and design processes ...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...