Sciweavers

1776 search results - page 20 / 356
» Hypothesis Testing for Module Test in Software Development
Sort
View
COMPSAC
2005
IEEE
14 years 2 months ago
Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Hai Hu...
ITC
1996
IEEE
96views Hardware» more  ITC 1996»
14 years 24 days ago
A Roadmap for Boundary-Scan Test Reuse
This paper proposes a Layered Model for boundaryscan testing to help identify opportunities for standardization. Serial Vector Format [1] and an accompanying Application Programmi...
D. Eugene Wedge, Tom Conner
IANDC
2006
117views more  IANDC 2006»
13 years 8 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
AGILEDC
2007
IEEE
14 years 3 months ago
Automated Recognition of Test-Driven Development with Zorro
Zorro is a system designed to automatically determine whether a developer is complying with an operational definition of Test-Driven Development (TDD) practices. Automated recogn...
Philip M. Johnson, Hongbing Kou
FORTE
2004
13 years 10 months ago
Generation of Integration Tests for Self-Testing Components
Internet software tightly integrates classic computation with communication software. Heterogeneity and complexity can be tackled with a component-based approach, where components ...
Leonardo Mariani, Mauro Pezzè, David Willmo...