3302 search results - page 64 / 661 » Software Is More Than Code |
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
Automated localization of software bugs is one of the essential issues in debugging aids. Previous studies indicated that the evaluation history of program predicates may disclose...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
The earlier in the software process a fault is detected, the cheaper the cost of fixing the fault. Automated fault detection tools can provide developers with information througho...
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
ICSM
2002
IEEE
14 years 2 months ago
2002
IEEE
Assertions, or more generally “Programming by contract”, have gained widespread acceptance in the computer science community as a means for correct program development. Howeve...
SQJ
2008
13 years 10 months ago
2008
Abstract. One key to several quality factors of software is the way components are connected. Software coupling can be used to estimate a number of quality factors, including maint...