166 search results - page 13 / 34 » Identifying State Transitions and their Functions in Source ... |
ICSE
2010
IEEE-ACM
13 years 4 months ago
2010
IEEE-ACM
Developers change source code to add new functionality, fix bugs, or refactor their code. Many of these changes have immediate impact on quality or stability. However, some impact...
BIOINFORMATICS
2007
13 years 7 months ago
2007
Motivation: High-throughput expression profiling allows researchers to study gene activities globally. Genes with similar expression profiles are likely to encode proteins that ma...
BMCBI
2005
13 years 7 months ago
2005
Background: Protein kinases are a well defined family of proteins, characterized by the presence of a common kinase catalytic domain and playing a significant role in many importa...
VMCAI
2004
Springer
14 years 26 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...