612 search results - page 90 / 123 » Using Static Analysis to Improve Automatic Test Generation |
106
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Currently, a number of bioinformatics methods are available to generate appropriate lists of genes from a microarray experiment. While these lists represent an accurat...
JSS
2002
14 years 11 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
The research presented in this article is aimed at the development of an automated imaging system for classification of tissues in medical images obtained from Computed Tomography...
92
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Identifying the true type of a computer file can be a difficult problem. Previous methods of file type recognition include fixed file extensions, fixed “magic numbers” stored ...
146
click to vote
AAIP
2009
15 years 27 days ago
2009
Inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming ...