Book Chapters:


[1] Li, J. J. and Weiss, D. M., “Software Testing Tools”, A book chapter in Software Engineering Encyclopedia, Sept 2010.

[2] Li, J. J., “Use of Visualization to Aid Redesign and Testing”, A book chapter in Software Visualization – From Theory to Practice, Kluwer Academic Publishers 2003.



Journal Articles:


[1] Bertolino, A., Foster, H., Li, J. J., and Zhu, H., “Special section on automation of software test”, the Journal of System and Software (JSS), pp1977-2220, editorial Volume 86, Issue 8, August 2013.

[2] Li, J. J., “Using Testing Trace for Automatic User Categorization” (extended journal version), IET Software journal, Aug. 2009.

[3] Li, J. J., “An Automatically-Generated Run-Time Instrumenter to Reduce Coverage Testing Overhead”, Journal of Software Technology May 2008.

[4] Li, J. J., and Weiss, D. M., “A Survey of Coverage Based Testing Tools” (extended journal version), The Computer Journal, Dec 2006.

[5] Li, J. J., Yee, H. and Weiss, D. M., “Code-Coverage Guided Prioritized Test Generation” Information and Software Technology Journal, March 2006.

[6] Li, J. J., Krishnan, P. and Karol, P., “VoIP Protection and Performance Improvement”, Communication Systems journal, 2004.

[7] Li, J. J. and Wong, E., “Redesigning Legacy Systems into the Object-Oriented Paradigm”, Software Engineering and Knowledge Engineering (SEKE) journal, 2004.

[8] Li, J. J., “Coverage Testing Software Design in SDL,” Journal of Computer Networks, Elsevier, 2003.

[9] Li, J. J., “A scalable tool for protocol testing and validation”, Journal of Computer Communication, Elsevier, Dec 2002.

[10] Li, J. J., and Horgan, J. R., “Applying Formal Description Technique to Software Architecture”, Journal of Computer Communication, Elsevier, July 2000.

[11] Li, J. J., and Horgan, J. R., “A Toolsuite for Testing Software Architectural Specification”, Software Quality Journal, vol. 8, no. 4, June 2000.

[12] Li, J. J., and Horgan, J. R., “A Tool for Software Performance Profiling”, Lecture Notes in Computer Science, no. 1786, Springer, March 2000.

[13] Agrawal, H; Alberi, J.; Horgan, J. R.; Li, J. J.; et al., “Mining System Tests to Aid Software Maintenance”, IEEE Computer, July 1998.



Conference Publications:


[1] Li, J. J. and Morreale, P., “Enhancing Computer Science Programming Courses to Prepare Students for Software Engineering”, International Annual Conference on Software Engineering Education, invited submission and to appear June 2014.

[2] Li, J. J., Mallows, C., and Landwehr, J., “Capacity Evaluation of Multi-Modal Network Notification Service”, Proc. of IEEE COMPSAC2012, July 2012.

[3] Devine, T. R., Goseva, K. Krishnan, S., Lutz, R. R. and Li, J. J.,“An empirical study of pre-release software faults in an industrial product line”, Proc. of IEEE ICST2012, April. 2012.

[4] Li, J. J., Palframan, J. and Landwehr, J., “SoftWare IMmunization (SWIM) – A Combination of Static Analysis and Automatic Testing”, Proc. of IEEE COMPSAC2011, Aug. 2011.

[5] Li, J. J., Palframan, J. and Landwehr, J., “Towards a common coverage testing tool for multiple programming languages”, Proc. of IEEE ISSRE2010, Nov. 2010.

[6] Li, J. J., Palframan, J. and Landwehr, J., “A program structure recovery tool for various programming languages”, Proc. of IEEE COMPSAC 2010, July 2010.

[7] Bertolino, A., Foster, H. and Li, J. J., “Automation of Software Test”, Proc. of IEEE ICSE2011-AST, co-chair editorial, May 2011.

[8] Li, J. J., “Using Testing Trace for Automatic User Categorization”, Proc. of IEEE ICSE2009-AST, May 2009.

[9] Li, J. J., Slye, H., Trung, D. and Weiss, D. M., “Decision-model-based Code Generation for PLE”, Proc. of IEEE SPLC2008, Sept 2008.

[10] Li, J. J., Geppert, B., Roessler, F., and Trung, D., “Looking for more Confidence in Refactoring? How to Assess Adequacy of Your Refactoring Test”, Proc. of IEEE QSIC2008, July 2008.

[11] Li, J. J., Weiss, D. M. and Slye, H., “Automatic Integration Test Generation for eXVantage Product Family”, Proc. of IEEE SPLC-SPLiT2007, Sept 2007.

[12] Li, J. J., Geppert, B. and Roessler, F., “Reuse Trace to Reduce Software Product Line Testing”, Proc. of IEEE SPLC-SPLiT2007, Sept 2007.

[13] Li, J. J., Weiss, D. M. and Wu, D., “Coverage-Based Testing on Embedded Systems”, Proc. of IEEE ICSE2007-AST, May 2007.

[14] Li, J. J., Ma, X., and Weiss, D. M., “Prioritized Constraints with Data Sampling Scores for Automatic Test Data Generation”, Proc. of IEEE SNPD2007, March 2007.

[15] Yang, Q., Li, J. J. and Weiss, D. M., “A Survey of Coverage Based Testing Tools”, Proc. of IEEE ICSE-AST2006, May 2006.

[16] Li, J. J., “Prioritize Code for Testing to Improve Code Coverage of Complex Software”, Proc. of IEEE ISSRE2005, Nov 2005.

[17] Li, J. J., Ma, X. and Weiss, D. M., “An Integrated Solution for Testing and Analyzing Java Applications in an Industrial Setting”, Proc. of IEEE APSEC2005, Sept 2005.

[18] Li, J. J., Yee, H. and Weiss, D. M., “A Study of Software Instrumentation Overhead in Coverage Testing”, Proc. of IEEE COMPSAC2005, July 2005)

[19] Li, J. J., Yee, H. and Weiss, D. M., “A Constraint Solver for Automatic Test Generation”, Proc. of IEEE SEKE2005, March 2005.

[20] Li, J. J., Yee, H. and Weiss, D. M., “Code-Coverage Guided Prioritized Test Generation”, Proc. of IEEE COMPSAC2004, Aug 2004.

[21] Li, J. J., Krishnan, P. and Karol, P., “Using Overlay Networks to Improve VoIP Reliability”, Proc. of IEEE ATVA2004.

[22] Li, J. J., Krishnan, P. and Karol, P., “Rapid Fault Detection and Recovery for IP Telephony”, Proc. of IEEE ICC2004, June 2004.

[23] Li, J. J. and Wong, E., “Case Study of a Multimedia Wireless System”, Proc. of IEEE ICME2004.

[24] Li, J. J., Chou, W. and Liu, F., “WSIP – Web Service SIP Endpoint for Converged Communication over IP” Proc. of IEEE ICWS2004.

[25] Li, J. J., Chou, W. and Liu, F., “An Architecture of Wireless Web and Dialogue System Convergence for Multimodal Service Interaction Over Converged Networks” Proc. of IEEE COMPSAC2003, Nov 2003.

[26] Li, J. J., Krishnan, P. and Karol, P., “VoIP Network Failure Detection and User Notification” Proc. of IEEE IC3N2003, Oct 2003.

[27] Li, J. J., Krishnan, P. and Karol, M., “VoIP Protection and Performance Improvement”, Proc. of IEEE IC3N2003, Oct 2003.

[28] Li, J. J., “An Adaptable Architecture for Secure Delivery of Converged Services,” ISADS’03, April 8-11, 2003.

[29] Li, J. J., “Performance Evaluation of Predictive Handoff Scheme with Cellular Channel Borrowing,” IPCCC’03, April 9-11, 2003.

[30] Li, J. J., Krishnan, P. and Karol, M., “enProtect: Enterprise-Based Network Protection and Performance Improvement” Proc. of IEEE ICC2003.

[31] Li, J. J., Krishnan, P. and Karol, M., “Notification of VoIP Users About Transient Faults in Converged Networks”, Proc. of IEEE IC3N2002, Oct 2002.

[32] Li, J. J. and et al., “An Architecture of Wireless Web and Dialogue System Convergence for Multimodal Service Interaction Over Converged Networks”, Proc. of IEEE IC3N2002, Oct 2002.

[33] Li, J. J. and Xueshan Shan, “A Case Study of Dependable On-Line Upgrade”, Proc. of IEEE COMPSAC2002, Oxford, UK, Aug. 2002.

[34] Li, J. J. and E. Wong, “Automatic test generation from CEFSM models”, Proc. of IEEE ISORC2002, Washington DC, May 2002.

[35] Li, J. J and Xueshan Shan, “Real-time wireless network monitoring system”, Proc. of IEEE IC3N2001, Pheonix AZ, Oct. 2001.

[36] Li, J. J., E. Wong and et al., “Automatic model construction for on-line simulation”, Proc. of IEEE IC3N2001, Pheonix AZ, Oct. 2001.

[37] Li, J. J., “A Tool For Efficient Protocol Validation and Testing”, Proc. of IEEE International Conference of Computer Communication and Networking (IC3N2000), Oct 2000.

[38] Li, J. J., and Mulcare, D., “Dependability of Complex Software Systems with Component Upgrading”, Proc. of COMPSAC2000, Oct 2000.

[39] Li, J. J., and Horgan, J. R., “A Tool Suite for Diagnosis and Testing Software Design Specifications”, Proc. of Dependable Systems and Networks 2000 (FTCS31), June 2000.

[40] Li, J. J., and Horgan, J. R., “Simulation-Trace-Based Software Component Performance Prediction”, Proc. 33rd Annual Simulation Symposium, April 2000.

[41] Li, J. J., and Horgan, J. R., “Using SDL to Model an Object-Oriented Real-Time System”, Proc. of IEEE/OMG International Symposium of Object-Oriented Real-Time Computing (ISORC2000), March 2000.

[42] Li, J. J., and Horgan, J. R., “A Supervision Approach for Reused Component Performance Modeling”, Proc. of IEEE IPCCC2000, Feb. 2000.

[43] Li, J. J., and Horgan, J. R., “Applying Formal Description Technique to Software Architecture”, Proc. of Asian Pacific Software Engineering Conference (APSEC99), Nov. 1999

[44] Li, J. J., and Segal, M., “Abstracting Security Specifications for Building Survivable Systems”, Proc. of 22nd National Information System Security Conference, Oct. 1999.

[45] Li, J. J., “Performance Prediction Based on Semi-Formal Architecture Description”, Proc. of IEEE International Performance, Computer, Communication Conference, Feb. 98, Phoenix, AZ.

[46] Li, J. J., “On-Line Simulation to Improve Fault-Tolerance”, Proc. of SCS International Conference on Computer Network and Distributed Systems, pp. 81-86, Jan. 1998, San Diego, CA.

[47] Li, J. J., et al., “Reliability Prediction based on Software Architecture”, Proc. of ISSRE97, Nov. 1997.

[48] Li, J. J., et al., “Interface Fault Injection to Measure Fault-Tolerance”, Proc. of First European Software Quality Week (QWE97), Nov. 1997.

[49] Li, J. J.; Liu, H.; et al. “An Automated Protocol Testing Oracle”, Proc. of 1997 IEEE International Conference of Computer Communication Network (IC3N), Sept. 1997, Las Vagas, NV.

[50] Li, J. J.; Micallef, J.; and Horgan, J. R., “Automatic Simulation from a Macro Software Architecture Description” Proc. 1997 Summer Computer Simulation Conference, May 1997.

[51] Li, J. J., and Seviora, R. E., “Automatic Failure Detection with Conditional-Belief Supervisors”, Proc. of the 7th International Symposium on Software Reliability Engineering (ISSRE’96), pp. 4-13, Oct. 1996.

[52] Li, J. J., “Real-Time Software Component Supervision”, invited paper, Proc. of the Conference on Performability in Computing Systems, pp. 63-78, April 1996.

[53] Hlady, M.; Kovacevic, R.; Li, J. J., et al., “An Approach to Automatic Detection of Software Failures”, Proc. 6th International Symposium on Software Reliability Engineering (ISSRE’95), pp. 314-323, Oct. 1995.

[54] Simser, D.A.; Li, J. J.; and Seviora, R. E., “Real-Time Supervision of Software Systems Using the Belief Method”, Proc. IEEE Globecom’94, pp. 1586-1591, Nov. 1994.

[55] Li, J. J., and Seviora, R. E., “An Extension to a Real-Time Supervisor for Complex Software”, Proc. of the 3rd International Conference on Reliability, Quality and Risk Assessment, pp. 72-77, Oct. 1994.

[56] Li, J. J., and Seviora, R. E., “A Real-Time Supervision Approach to the Improvement of Software Reliability”, Proc. 2nd International Conference on Reliability, Quality and Risk Assessment, pp. 38-43, Oct. 1993.

[57] Li, J. J., and Seviora, R. E., “A Real-Time Supervisor with Reduced Space&Time Requirements”, Proc. IEE International Workshop on Systems Engineering for Real-Time Applications, pp. 90-95, Sept. 1993.

[58] Li, J. J., “Using Constraint Logic Programming in Software Validation”, Proc. 3rd International Conference for Young Computer Scientists, pp. 9.83-9.84, July 1993.



Tool Demo:


[1] Li, J. J., “An Automated Tool for Testing SDL Specifications”, SDL99 Tool Demo, June 1999.

[2] Li, J. J., “An Automated Tool for Testing Specification Models”, ICSE99 Tool Demo, May 1999.