Sciweavers

1776 search results - page 130 / 356
» Hypothesis Testing for Module Test in Software Development
Sort
View
KBSE
2000
IEEE
15 years 6 months ago
Mutation Operators for Specifications
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
Paul E. Black, Vadim Okun, Yaacov Yesha
125
Voted
SIAMAM
2011
14 years 10 months ago
Imaging Schemes for Perfectly Conducting Cracks
We consider the problem of locating perfectly conducting cracks and estimating their geometric features from multi-static response matrix measurements at a single or multiple frequ...
Habib Ammari, Josselin Garnier, Hyeonbae Kang, Won...
ICSM
2006
IEEE
15 years 9 months ago
Software Assurance During Maintenance
Software development, testing, and maintenance tools must yield assurance information in a standardized form. Developers can use this information to argue that the software is ade...
Paul E. Black
CCS
2006
ACM
15 years 7 months ago
TCG inside?: a note on TPM specification compliance
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...
Ahmad-Reza Sadeghi, Marcel Selhorst, Christian St&...
ICML
2005
IEEE
16 years 4 months ago
A martingale framework for concept change detection in time-varying data streams
In a data streaming setting, data points are observed one by one. The concepts to be learned from the data points may change infinitely often as the data is streaming. In this pap...
Shen-Shyang Ho