1516 search results - page 118 / 304 » Trends in Software Verification |
124
Voted
ICSM
2002
IEEE
15 years 8 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
118
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
The paper describes a generic, open-source infrastructure called SearchBestie (or S'Bestie for short) that we propose as a platform for experimenting with search-based techni...
161
Voted
REFSQ
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. [Context and motivation] With increasing use of software, quality attributes grow in relative importance. Robustness is a software quality attribute that has not received...
117
Voted
DAC
1999
ACM
15 years 7 months ago
1999
ACM
We present our practical experience in the modeling and integration of cycle/phase-accurate instruction set architecture (ISA) models of digital signal processors (DSPs) with othe...
118
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...