Sciweavers

3031 search results - page 149 / 607
» Model Driven Testing Based on Test History
Sort
View
102
Voted
IASTEDSEA
2004
15 years 2 months ago
A software reliability model for web services
This paper proposes a service-oriented software reliability model that dynamically evaluates the reliability of Web services. There are two kinds of Web services: atomic services ...
Wei-Tek Tsai, Dawei Zhang, Yinong Chen, Hai Huang,...
ITC
2003
IEEE
120views Hardware» more  ITC 2003»
15 years 6 months ago
High Quality ATPG for Delay Defects
: The paper presents a novel technique for generating effective vectors for delay defects. The test set achieves high path delay fault coverage to capture smalldistributed delay de...
Puneet Gupta, Michael S. Hsiao
ISSRE
2007
IEEE
15 years 2 months ago
Using Machine Learning to Support Debugging with Tarantula
Using a specific machine learning technique, this paper proposes a way to identify suspicious statements during debugging. The technique is based on principles similar to Tarantul...
Lionel C. Briand, Yvan Labiche, Xuetao Liu
136
Voted
ECAI
2008
Springer
15 years 2 months ago
Salience-driven Contextual Priming of Speech Recognition for Human-Robot Interaction
Abstract. The paper presents an implemented model for priming speech recognition, using contextual information about salient entities. The underlying hypothesis is that, in human-r...
Pierre Lison, Geert-Jan M. Kruijff
LPAR
2012
Springer
13 years 8 months ago
The TPTP Typed First-Order Form with Arithmetic
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Pe...