3792 search results - page 144 / 759 » Techniques for Trusted Software Engineering |
127
click to vote
IWPC
2008
IEEE
15 years 10 months ago
2008
IEEE
To support understanding a specific GUI functionality in a program, we propose a visualization technique that presents the correspondence between the screens before and after the...
133
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. ls for abst...
115
click to vote
UIST
1996
ACM
15 years 8 months ago
1996
ACM
We describe a PostScript viewer that provides navigation and annotation functionality similar to that of paper documents using simple unified user-interface techniques.
122
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper provides an overview of fault injection techniques and their applicability to testing SOAP RPC based web service systems. We also give a detailed example of the WS-FIT ...
129
click to vote
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...