5 search results - page 1 / 1 » Slicing the SCAM Mug: A Case Study in Semantic Slicing |
SCAM
2003
IEEE
13 years 9 months ago
2003
IEEE
In this paper we describe an improved formalisation of slicing in WSL transformation theory and apply the result to a particularly challenging slicing problem: the SCAM mug [1]. W...
SCAM
2007
IEEE
13 years 10 months ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
SAS
1998
Springer
13 years 8 months ago
1998
Springer
TSE
2011
12 years 11 months ago
2011
In this paper we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper)...
ICSM
2007
IEEE
13 years 10 months ago
2007
IEEE
Recent software systems usually feature an automated failure reporting component, with which a huge number of failures are collected from software end-users. With a proper support...