3667 search results - page 472 / 734 » Software Rejuvenation - Modeling and Analysis |
169
click to vote
ENTCS
2010
15 years 4 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
193
click to vote
NAR
2010
15 years 1 months ago
2010
The Freiburg RNA tools web server integrates three tools for the advanced analysis of RNA in a common webbased user interface. The tools IntaRNA, ExpaRNA, and LocARNA support the ...
153
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Because of the strong coupling of classes and the proliferation of unneeded class members induced by inheritance, the suggestion to use composition and delegation instead has beco...
178
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
In software development, bug reports provide crucial information to developers. However, these reports widely differ in their quality. We conducted a survey among developers and u...
200
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...