2419 search results - page 147 / 484 » A Formal Approach to Software Testing |
97
Voted
ICSM
2007
IEEE
15 years 9 months ago
2007
IEEE
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...
138
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
127
Voted
HVC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
132
Voted
METRICS
2003
IEEE
15 years 8 months ago
2003
IEEE
Predicting stability in object-oriented (OO) software, i.e., the ease with which a software item evolves while preserving its design, is a key feature for software maintenance. In...
139
click to vote
ICSM
2000
IEEE
15 years 8 months ago
2000
IEEE
Software evolution in a cooperative environment, where a pool of maintainers/developers contribute to the overall system changes, is challanging due to several factors, such as th...