FASE
2011
Springer
12 years 8 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
FASE
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. Container classes such as lists, sets, or maps are elementary data structures common to many programming languages. Since they are a part of standard libraries, they are ...
FASE
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of ...
FASE
2011
Springer
12 years 8 months ago
2011
Springer
FASE
2011
Springer
12 years 8 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
FASE
2011
Springer
12 years 8 months ago
2011
Springer
With the evolution of an API library, its documentation also evolves. The evolution of API documentation is common knowledge for programmers and library developers, but not in a qu...