Sciweavers

1776 search results - page 20 / 356
» Hypothesis Testing for Module Test in Software Development
Sort
View
COMPSAC
2005
IEEE
15 years 10 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»
15 years 8 months 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»
15 years 4 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
15 years 10 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
15 years 5 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...