Nonparametric Statistics with Applications to Science and Engineering (Wiley Series in Probability and Statistics)

Requirements Coverage as an Adequacy Measure for Conformance Testing

ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering

Nonparametric statistical tests for exploration of correlation and nonstationarity in images

DSP'09 Proceedings of the 16th international conference on Digital Signal Processing

Understanding user understanding: determining correctness of generated program invariants

Proceedings of the 2012 International Symposium on Software Testing and Analysis

Automated oracle creation support, or: how I learned to stop worrying about fault propagation and love mutation testing

Proceedings of the 34th International Conference on Software Engineering

A case for real-time calibration of data-driven microscopic traffic simulation tools

Proceedings of the Winter Simulation Conference

Total variation regularization algorithms for images corrupted with different noise models: a review

Journal of Electrical and Computer Engineering