2132 search results - page 34 / 427 » Automated software winnowing |
DAC
2002
ACM
14 years 10 months ago
2002
ACM
TASE
2007
IEEE
14 years 4 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...
SEKE
2010
Springer
13 years 8 months ago
2010
Springer
— This paper presents an automated environment configuration testing strategy developed as part of an action research project to deal with issues of staging environment instabili...
GECCO
2009
Springer
14 years 4 months ago
2009
Springer
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...