Publications
2001. The role of independent verification and validation in maintaining a safety critical evolutionary software in a complex environment: the NASA Space Shuttle program. Software Maintenance, 2001. Proceedings. IEEE International Conference on. :118-126.
1999. Using a goal-driven approach to generate test cases for GUIs. Software Engineering, 1999. Proceedings of the 1999 International Conference on. :257-266.
1997. Comments on "Towards a framework for software measurement validation". Software Engineering, IEEE Transactions on. 23(3):187-189.
1995. Complexity measure evaluation and selection. Software Engineering, IEEE Transactions on. 21(8):641-650.
1992. An improved classification tree analysis of high cost modules based upon an axiomatic definition of complexity. Software Reliability Engineering, 1992. Proceedings., Third International Symposium on. :164-172.
1992. On the nature of bias and defects in the software specification process. Computer Software and Applications Conference, 1992. COMPSAC '92. Proceedings., Sixteenth Annual International. :17-24.