1376 search results - page 200 / 276 » Model-Driven Software Verification |
115
Voted
CC
2006
Springer
15 years 7 months ago
2006
Springer
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...
132
click to vote
ESEM
2008
ACM
15 years 5 months ago
2008
ACM
Benchmarks provide an experimental basis for evaluating software engineering processes or techniques in an objective and repeatable manner. We present the FAULTBENCH v0.1 benchmar...
132
click to vote
IIWAS
2008
15 years 4 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
127
Voted
POPL
2010
ACM
16 years 26 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
131
Voted
POPL
2000
ACM
15 years 7 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...