Jewgenij Botaschanjan, Benjamin Hummel. Specifying the worst case: orthogonal modeling of hardware errors. In Gregg Rothermel, Laura K. Dillon, editors, Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009. pages 273-284, ACM, 2009. [doi]
Abstract is missing.