200 search results - page 8 / 40 » A Global Algorithm for Model-Based Test Suite Generation |
87
Voted
NAR
2010
14 years 4 months ago
2010
PROSESS (PROtein Structure Evaluation Suite and Server) is a web server designed to evaluate and validate protein structures generated by X-ray crystallography, NMR spectroscopy o...
DATE
2007
IEEE
15 years 3 months ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
72
Voted
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
AMOST
2005
ACM
15 years 3 months ago
2005
ACM
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
There has recently been a great deal of interest in search? based test data generation, with many local and global search algorithms being proposed. However, to date, there has be...