3792 search results - page 144 / 759 » Techniques for Trusted Software Engineering |
154
Voted
IWPC
2008
IEEE
16 years 16 days 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...
154
click to vote
COMPSAC
2007
IEEE
16 years 14 days 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...
137
click to vote
UIST
1996
ACM
15 years 10 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.
149
click to vote
COMPSAC
2004
IEEE
15 years 10 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 ...
153
click to vote
APSEC
2001
IEEE
15 years 9 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...