3316 search results - page 111 / 664 » Mining Software Engineering Data |
111
click to vote
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...
101
click to vote
WCRE
2007
IEEE
15 years 6 months ago
2007
IEEE
As the useful life expectancy of software continues to increase, the task of maintaining the source code has become the dominant phase of the software life-cycle. In order to impr...
103
click to vote
EUROMICRO
2011
IEEE
13 years 11 months ago
2011
IEEE
— The development of a software product in an organization involves various groups of stakeholders who may prioritize the qualities of the product differently. This paper present...
DAGSTUHL
2006
15 years 1 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
SAC
2005
ACM
15 years 5 months ago
2005
ACM
: A learning system to facilitate the integration of Geographical Information Systems (GIS) into the Civil Engineering curriculum is described in this paper. The principal learning...