606 search results - page 64 / 122 » A Comparative Study of Industrial Static Analysis Tools |
108
click to vote
FMICS
2008
Springer
15 years 2 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
116
click to vote
JSS
2010
14 years 7 months ago
2010
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
81
Voted
BILDMED
2009
15 years 1 months ago
2009
Abstract. Carefully studied in-situ hybridization Gene expression patterns (GEP) can provide a first glance at possible relationships among genes. Automatic comparative analysis to...
121
Voted
BMCBI
2011
14 years 7 months ago
2011
Background: The accurate determination of orthology and inparalogy relationships is essential for comparative sequence analysis, functional gene annotation and evolutionary studie...
TOSEM
1998
15 years 7 days ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...