277 search results - page 14 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
151
click to vote
STTT
2008
15 years 5 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...
181
click to vote
SOFTVIS
2010
ACM
15 years 6 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...
156
click to vote
PPDP
2009
Springer
16 years 12 days 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...
155
click to vote
IEEEPACT
2006
IEEE
15 years 12 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...
193
click to vote
SE
2007
15 years 7 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...