(15 October 2001)
(28 October 2003)
Electronics Technology: Concurrent Engineering in Electronic Packaging, 2001. 24th International Spring Seminar on (2001), pp. 125-128.
(15 July 2002)
(2001), pp. 148-165.
Science of Computer Programming, Vol. 56, No. 1-2. (April 2005), pp. 41-57.
5th International Workshop on Formal Aspects of Component Software (10-12 September 2008)
Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific (2000), pp. 70-81.
(2000)
(2002), pp. 108-121.
(2000)
International Workshop on the Role of Software Testing and Analysis (1998), pp. 63-68.
Lecture Notes in Computer Science, Vol. 1999 (2001), pp. 129-??.
Software, IEEE, Vol. 15, No. 2. (1998), pp. 16-19.
IEEE Trans. Softw. Eng., Vol. 21, No. 9. (September 1995), pp. 705-716.
Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International, Vol. 2 (2005), pp. 211-218 Vol. 1.
Software Engineering, IEEE Transactions on, Vol. 17, No. 6. (1991), pp. 553-564.
(2007), pp. 61-72.
Journal of Systems and Software, Vol. 74, No. 1. (1 January 2005), pp. 15-24.
SIGSOFT Softw. Eng. Notes, Vol. 32, No. 2. (March 2007), pp. 1-4.
Commun. ACM, Vol. 46, No. 8. (August 2003), pp. 67-72.
(2005), pp. 1463-1469.
(2007), pp. 85-95.
(2006), pp. 512-522.
(2001)
Quality Software, 2003. Proceedings. Third International Conference on (2003), pp. 146-153.
Information Systems Frontiers, Vol. 9, No. 2-3. (July 2007), pp. 151-162.
by
Brenner,
Daniel,
Atkinson,
Colin,
Malaka,
Rainer,
Merdes,
Matthias,
Paech,
Barbara,
Suliman,
Dima
(2003), pp. 221-231.
Software Testing, Verification and Reliability, Vol. 11, No. 2. (2001), pp. 97-111.
(1999)
Software, IEEE, Vol. 15, No. 5. (1998), pp. 54-59.
Engineering of Complex Computer Systems, 2001. Proceedings. Seventh IEEE International Conference on (2001), pp. 222-232.
Computer and Information Science, 2007. ICIS 2007. 6th IEEE/ACIS International Conference on (2007), pp. 891-899.
IEEE Trans. Softw. Eng., Vol. 28, No. 11. (November 2002), pp. 1056-1076.
Software Engineering Conference, 2004. Proceedings. 2004 Australian (2004), pp. 329-338.
Software Engineering Conference, 2004. Proceedings. 2004 Australian (2004), pp. 168-177.
Electronic Notes in Theoretical Computer Science, Vol. 207 (10 April 2008), pp. 17-32.
by Xiaoshan
Li, Zhiming
Liu
(2001), pp. 109-120.
SIGSOFT Softw. Eng. Notes, Vol. 28, No. 5. (September 2003), pp. 277-286.
Lecture Notes in Computer Science : Theoretical Aspects of Computing â ICTAC 2005 (2005), pp. 485-500.
Theoretical Aspects of Computing – ICTAC 2005 (2005), pp. 70-95.
by Jifeng
He, Xiaoshan
Li, Zhiming
Liu
International Symposium on Fundamentals of Software Engineering (2007), pp. 191-206.
Electronic Notes in Theoretical Computer Science, Vol. 160 (8 August 2006), pp. 173-195.
by Jifeng
He, Xiaoshan
Li, Zhiming
Liu
(19 December 1997)
Information and Software Technology, Vol. In Press, Corrected Proof
Softw. Test. Verif. Reliab., Vol. 17, No. 4. (December 2007), pp. 243-269.
(2006), pp. 85-96.