2132 search results - page 37 / 427 » Automated software winnowing |
102
Voted
WOSP
2005
ACM
15 years 4 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
89
Voted
ENVSOFT
2007
14 years 10 months ago
2007
The paper describes a new software package for automated estimation, display and analyses of various drought indices – continuous functions of precipitation that allow quantitat...
72
Voted
LPAR
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
GI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract: The goals of organic computing are difficult to achieve due to the heterogenity of current software components. We believe that in the long term more advanced software a...
ICSE
2005
IEEE-ACM
15 years 4 months ago
2005
IEEE-ACM
This report addresses some of our observations made in a dozen of projects in the area of software testing, and more specifically, in automated testing. It documents, analyzes and...