3167 search results - page 377 / 634 » Blog search engines |
157
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
173
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Modeling and quantifying diļ¬erent human factors continue to be one of the major challenges in introducing new biometric systems. For example, drivers of some of our behavior diļ...
169
click to vote
ESSOS
2009
Springer
16 years 1 months ago
2009
Springer
In the search for metrics that can predict the presence of vulnerabilities early in the software life cycle, there may be some benefit to choosing metrics from the non-security rea...
152
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
AbstractāDecisions regarding the mapping of software components to hardware nodes affect the quality of the resulting system. Making these decisions is hard when considering the ...
152
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Formal speciļ¬cation languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...