1100 search results - page 117 / 220 » An Approach to Test Aspect-oriented Programs |
150
click to vote
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...
121
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
140
click to vote
COLOGNETWENTE
2009
15 years 4 months ago
2009
Abstract Within the context of solving Mixed-Integer Linear Programs by a Branch-andCut algorithm, we propose a new strategy for branching. Computational experiments show that, on ...
112
click to vote
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
156
click to vote
ITICSE
2005
ACM
15 years 8 months ago
2005
ACM
concepts more concrete. The method has two main learning outcomes: • Language Specification – The goal of the assignment is to be able to build LEGO® creations on a standard g...