15885 search results - page 2467 / 3177 » The Modest Software Engineer |
186
click to vote
SIGSOFT
2009
ACM
16 years 8 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
210
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...
198
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...
214
Voted
SIGSOFT
2006
ACM
16 years 8 months ago
2006
ACM
Fixing runtime bugs in long running programs using trace based analyses such as dynamic slicing was believed to be prohibitively expensive. In this paper, we present a novel execu...
183
Voted
SIGSOFT
2006
ACM
16 years 8 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...