FASE
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challeng...
FASE
2009
Springer
14 years 6 months ago
2009
Springer
FASE
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Pure methods and model fields are useful and common speci
FASE
2009
Springer
14 years 6 months ago
2009
Springer
Reuse of existing libraries simplifies software development efforts. However, these libraries are often complex and reusing the APIs in the libraries involves a steep learning cu...
FASE
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
FASE
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
FASE
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
FASE
2009
Springer
14 years 6 months ago
2009
Springer
FASE
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...
FASE
2009
Springer
14 years 6 months ago
2009
Springer