2631 search results - page 306 / 527 » Software Development with Code Maps |
123
click to vote
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
136
click to vote
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
137
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
High mask and production costs for the newest CMOS silicon technologies increase the pressure to develop hardware platforms useable for different applications or variants of the s...
119
click to vote
GI
2004
Springer
15 years 8 months ago
2004
Springer
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
Program differencing tools such as GNU diff identify individual differences but do not determine how those differences are related to each other. For example, an extract super...