26 search results - page 1 / 6 » SpecDiff: debugging formal specifications |
KBSE
2010
IEEE
13 years 2 months ago
2010
IEEE
FMCAD
2009
Springer
13 years 11 months ago
2009
Springer
TOSEM
2008
13 years 4 months ago
2008
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in tho...
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
Despite their benefits, programmers rarely use formal specifications, because they are difficult to write and they require an up front investment in time. To address these issues,...
FAC
2008
13 years 4 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...