3227 search results - page 376 / 646 » Software engineering and performance: a road-map |
148
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Generalization tasks are important for continual improvement to the design of an evolving code base, eliminating redundancy where it has accumulated. An important step in generali...
161
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
153
Voted
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
Recently, several innovative tools have found their way into mainstream use in modern development environments. However, most of these tools have focused on creating and modifying...
182
Voted
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
148
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Analyzing a program run can provide important insights about its correctness. Dynamic analysis of complex correctness properties, however, usually results in significant run-time ...