5182 search results - page 774 / 1037 » COTS-Based Requirements Engineering |
174
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
The application of Evolutionary Algorithms to structural test data generation, known as Evolutionary Testing, has to date largely focused on programs with input-output behavior. H...
177
click to vote
ICFEM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
184
click to vote
SPW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract Fabio Massacci1 and Nicola Zannone1 Department of Information and Communication Technology University of Trento - Italy {massacci,zannone} at dit.unitn.it The last years h...
152
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
: A modern special-purpose processor (e.g., for image and graphical applications) usually contains a set of instructions supporting complex multiply-operations. These instructions ...
163
click to vote
NSPW
2003
ACM
15 years 12 months ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...