1199 search results - page 80 / 240 » Software Verification and Software Engineering a Practitione... |
146
click to vote
ISSRE
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...
143
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
127
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
107
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
118
click to vote
EWSA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...