Robyn R. Lutz, Ines Carmen Mikulski. Requirements Discovery during the Testing of Safety-Critical Software. In Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA. pages 578-585, IEEE Computer Society, 2003. [doi]
Abstract is missing.