277 search results - page 14 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
STTT
2008
14 years 11 months ago
2008
Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...
110
Voted
SOFTVIS
2010
ACM
14 years 12 months ago
2010
ACM
Object oriented software development is designed to be modular, with code reuse being very common. When bugs are introduced, they can manifest themselves in one or more sections o...
76
Voted
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
IEEEPACT
2006
IEEE
15 years 5 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
118
click to vote
SE
2007
15 years 1 months ago
2007
Abstract: Today’s enterprise applications are based on numerous interrelated components that capture domain-specific, generic or infrastructural functionality. Each component is...