44 search results - page 8 / 9 » A General Model of Unit Testing Efficacy |
CCS
2007
ACM
15 years 3 months ago
2007
ACM
Security researchers are applying software reliability models to vulnerability data, in an attempt to model the vulnerability discovery process. I show that most current work on t...
85
Voted
ISMVL
2007
IEEE
15 years 3 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
SIMULATION
2010
14 years 4 months ago
2010
We introduce and describe a novel network simulation tool called NeSSi (Network Security Simulator). NeSSi incorporates a variety of features relevant to network security distingu...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
The primary function of current Web search engines is essentially relevance ranking at the document level. However, myriad structured information about real-world objects is embed...
EMSOFT
2011
Springer
13 years 9 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...