507 search results - page 21 / 102 » A tabu search algorithm for structural software testing |
DAGSTUHL
2006
13 years 9 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
CSMR
2004
IEEE
13 years 11 months ago
2004
IEEE
Software systems need to evolve as business requirements, technology and environment change. As software is modified to accommodate the required changes, its structure deteriorate...
MSR
2006
ACM
14 years 1 months ago
2006
ACM
Similarity analysis of source code is helpful during development to provide, for instance, better support for code reuse. Consider a development environment that analyzes code whi...
CIKM
2005
Springer
14 years 1 months ago
2005
Springer
Search engines process queries conjunctively to restrict the size of the answer set. Further, it is not rare to observe a mismatch between the vocabulary used in the text of Web p...
BIBE
2007
IEEE
13 years 7 months ago
2007
IEEE
While much research has been done on finding similarities between protein sequences, there has not been the same progress on finding similarities between protein structures. Here ...