904 search results - page 104 / 181 » The State Problem for Evolutionary Testing |
RECOMB
2008
Springer
15 years 10 months ago
2008
Springer
Understanding the variation of recombination rates across a given genome is crucial for disease gene mapping and for detecting signatures of selection, to name just a couple of app...
ECOOP
2007
Springer
15 years 4 months ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
BMCBI
2010
14 years 10 months ago
2010
Background: In recent years, gene order data has attracted increasing attention from both biologists and computer scientists as a new type of data for phylogenetic analysis. If ge...
IJFCS
2006
14 years 10 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
HASE
2007
IEEE
15 years 4 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...