Publications
2003. The virtual microscope. IEEE Transactions on Information Technology in Biomedicine. 7(4):230-248.
2003. User interface evaluation and empirically-based evolution of a prototype experience management tool. Software Engineering, IEEE Transactions on. 29(9):838-850.
2005. Software process improvement in small organizations: a case study. Software, IEEE. 22(6):68-75.
2011. ProPhylo: partial phylogenetic profiling to guide protein family construction and assignment of biological process.. BMC Bioinformatics. 12:434.
2002. An operational process for goal-driven definition of measures. Software Engineering, IEEE Transactions on. 28(12):1106-1125.
2012. InterPro in 2011: new developments in the family and domain prediction database.. Nucleic Acids Res. 40(Database issue):D306-12.
2001. Hierarchical GUI test case generation using automated planning. Software Engineering, IEEE Transactions on. 27(2):144-155.
2011. Evaluating Dynamic Software Update Safety Using Systematic Testing. IEEE Transactions on Software Engineering. PP(99):1-1.
1995. Complexity measure evaluation and selection. Software Engineering, IEEE Transactions on. 21(8):641-650.
1997. Comments on "Towards a framework for software measurement validation". Software Engineering, IEEE Transactions on. 23(3):187-189.
2006. Balancing Systematic and Flexible Exploration of Social Networks. IEEE Transactions on Visualization and Computer Graphics. 12(5):693-700.
2008. The ASC-Alliance Projects: A Case Study of Large-Scale Parallel Scientific Code Development. Computer. 41(3):50-58.
2002. What we have learned about fighting defects. Software Metrics, 2002. Proceedings. Eighth IEEE Symposium on. :249-258.
1999. Using a goal-driven approach to generate test cases for GUIs. Software Engineering, 1999. Proceedings of the 1999 International Conference on. :257-266.
2003. On the use of flow migration for handling short-term overloads. Global Telecommunications Conference, 2003. GLOBECOM '03. IEEE. 6:3108-3112vol.6-3108-3112vol.6.
2009. Tool supported detection and judgment of nonconformance in process execution. Empirical Software Engineering and Measurement, 2009. ESEM 2009. 3rd International Symposium on. :312-323.
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.