ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
1 Feature Oriented Programming (FOP) is an emerging paradigm for application synthesis, analysis, and optimization. A target application is specified declaratively as a set of feat...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Aspects are behaviours that are tangled and scattered across a system. In requirements documentation, aspects manifest themselves as descriptions of behaviours that are intertwine...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Current peer-to-peer architectures are hardly resistant against unanticipated exceptions such as the failure of single peers. This can be justified by the absence of sophisticated...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Financial companies, engineering firms and even scientists create increasingly larger spreadsheets and spreadsheet programs. The creators of large spreadsheets make errors and mus...
ICSE
2003
IEEE-ACM
14 years 11 months ago
2003
IEEE-ACM
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...