Sciweavers

516 search results - page 62 / 104
» A Critical Analysis of Empirical Research in Software Testin...
Sort
View
FOSSACS
2006
Springer
13 years 11 months ago
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
Michael Backes, Sebastian Mödersheim, Birgit ...
WCRE
2008
IEEE
14 years 2 months ago
A Bayesian Network Based Approach for Change Coupling Prediction
Source code coupling and change history are two important data sources for change coupling analysis. The popularity of public open source projects in recent years makes both sourc...
Yu Zhou, Michael Würsch, Emanuel Giger, Haral...
HCI
2009
13 years 5 months ago
Trust in Online Technology: Towards Practical Guidelines Based on Experimentally Verified Theory
Abstract. A large amount of research attempts to define trust, yet relatively little research attempts to experimentally verify what makes trust needed in interactions with humans ...
Christian Detweiler, Joost Broekens
ICSE
2009
IEEE-ACM
14 years 2 months ago
Using Bayesian statistical methods to determine the level of error in large spreadsheets
Spreadsheets are ubiquitous with evidence that Microsoft Excel, the leading application in the area, has an install base of 90% on end-user desktops. Nowhere is the usage of sprea...
Leslie Bradley, Kevin McDaid
ICONS
2008
IEEE
14 years 2 months ago
A Systems Engineering Approach to Exception Handling
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...
Herbert Hecht