157 search results - page 1 / 32 » Debugging formal specifications using simple counterstrategi... |
157
Voted
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
108
Voted
ERLANG
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
149
Voted
TOSEM
2008
15 years 1 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...
97
Voted
ICSE
2004
IEEE-ACM
16 years 1 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,...
94
Voted
CSUR
1999
15 years 23 days ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...