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.
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.
2005. And away we go: understanding the complexity of launching complex HPC applications. Proceedings of the second international workshop on Software engineering for high performance computing system applications. :45-49.
2002. A recognition algorithm for Chinese characters in diverse fonts. Image Processing. 2002. Proceedings. 2002 International Conference on. 3:981-984vol.3-981-984vol.3.
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.
2002. What we have learned about fighting defects. Software Metrics, 2002. Proceedings. Eighth IEEE Symposium on. :249-258.
2003. User interface evaluation and empirically-based evolution of a prototype experience management tool. Software Engineering, IEEE Transactions on. 29(9):838-850.
2006. Balancing Systematic and Flexible Exploration of Social Networks. IEEE Transactions on Visualization and Computer Graphics. 12(5):693-700.
1997. Comments on "Towards a framework for software measurement validation". Software Engineering, IEEE Transactions on. 23(3):187-189.
2001. Hierarchical GUI test case generation using automated planning. Software Engineering, IEEE Transactions on. 27(2):144-155.
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.
2002. Maintaining software with a security perspective. Software Maintenance, 2002. Proceedings. International Conference on. :194-203.
2012. InterPro in 2011: new developments in the family and domain prediction database.. Nucleic Acids Res. 40(Database issue):D306-12.
2008. The ASC-Alliance Projects: A Case Study of Large-Scale Parallel Scientific Code Development. Computer. 41(3):50-58.
2011. Evaluating Dynamic Software Update Safety Using Systematic Testing. IEEE Transactions on Software Engineering. PP(99):1-1.
2008. 1st ACM workshop on hot topics in software upgrades (HotSWUp 2008). OOPSLA Companion'08 Companion to the 23rd ACM SIGPLAN Conference on Object-Oriented Programming Systems Languages and Applications. :837-838.