|
-
J.A.K. Holford and
F.T. Chan,
"Quality in Hong Kong adult continuing education: the participants' perspective",
The 4th Conference on Innovations in Quality
Teaching and Learning,
The Hong Kong Association for Educational Communications
and Technology (1996).
-
F.T. Chan,
T.Y. Chen,
S.C. Cheung,
M.F. Lau,
and
S.M. Yiu,
"Application of metamorphic testing in numerical analysis",
in
Proceedings of the IASTED International Conference on Software Engineering
(SE 1998),
International Association of Science and Technology for Development,
pp. 191-197 (1998).
-
E.C.M. Young,
S.M. Shen,
J.C. Cribbin,
and
F.T. Chan,
"Quality in Hong Kong adult continuing education",
The 4th Conference on Innovations in Quality
Teaching and Learning,
The Hong Kong Association for Educational Communications
and Technology,
Hong Kong (1998).
-
F.T. Chan,
I.K. Mak,
T.Y. Chen,
and
S.M. Shen,
"On the effectiveness of the optimally refined proportional sampling strategy",
in
Proceedings of the 9th International Workshop on Software Technology and
Engineering Practice
(STEP '99),
S. Tilley and J. Verner (eds.),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 95-104 (1999).
-
F.T. Chan,
K.P. Chan,
T.Y. Chen,
and
S.M. Yiu,
"Adaptive random testing with CG constraint",
in
Proceedings of the 28th Annual International Computer Software and Applications Conference
(COMPSAC 2004),
Workshop on Software Cybernetics,
IEEE Computer Society,
Los Alamitos,
CA,
pp. 96-99 (2004).
-
W.K. Chan,
S.C. Cheung,
and
K.R.P.H. Leung,
"Towards a metamorphic testing methodology for service-oriented software applications",
the 1st International Workshop on Services Engineering (SEIW 2005),
in
Proceedings of the 5th International Conference on Quality Software
(QSIC 2005),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 470-476 (2005).
-
S.C. Cheung,
W.K. Chan,
P.M.K. Lee,
L.M. Ni,
and
P. Ng,
"A combinatorial methodology for RFID benchmarking",
in
Proceedings of the 3rd RFID Academic Convocation
(in conjunction with the China International RFID Technology
Development Conference and Exposition),
Shanghai, China (2006).
-
K.R.P.H. Leung,
E.K.W. Kwok,
and
W.K. Chan,
"A video reconstruction approach supporting frame skipping in H.264",
in
Proceedings of the 1st International Conference on Graphic Communications,
Graphic Communications Series,
Wuhan University,
Wuhan,
China (2006).
-
Z. Luo,
E. Wong,
S.C. Cheung,
L.M. Ni,
and
W.K. Chan,
"RFID middleware benchmarking",
in
Proceedings of the 3rd RFID Academic Convocation
(in conjunction with the China International RFID Technology
Development Conference and Exposition),
Shanghai, China (2006).
-
T.H. Ng,
S.C. Cheung,
W.K. Chan,
and
Y.T. Yu,
"Toward effective deployment of design patterns for software extension:
a case study",
in
Proceedings of the 2006 International Workshop on Software Quality
(in conjunction with the
28th International Conference on Software Engineering
(ICSE 2006)),
ACM,
New York, NY,
pp. 51-56 (2006).
-
T.H. Ng,
S.C. Cheung,
W.K. Chan,
and
Y.T. Yu,
"Work experience versus refactoring to design patterns: a controlled experiment",
in
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering
(SIGSOFT 2006/FSE-14),
ACM,
New York, NY, pp. 12-22 (2006).
-
C. Xu,
S.C. Cheung,
and
W.K. Chan,
"Incremental consistency checking for pervasive context",
in
Proceedings of the 28th International Conference on Software Engineering
(ICSE 2006),
ACM,
New York, NY,
pp. 292-301 (2006).
-
C. Ye,
S.C. Cheung,
and
W.K. Chan,
"Publishing and composition of atomicity-equivalent services for B2B collaboration",
in
Proceedings of the 28th International Conference on Software Engineering
(ICSE 2006),
ACM,
New York, NY,
pp. 351-360 (2006).
-
C. Ye,
S.C. Cheung,
W.K. Chan,
and
C. Xu,
"Local analysis of atomicity sphere for B2B collaboration",
in
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering
(SIGSOFT 2006/FSE-14),
ACM,
New York, NY, pp. 186-196 (2006).
-
F.-C. Kuo,
T.Y. Chen,
H. Liu,
W.K. Chan,
"Enhancing adaptive random testing in high dimensional input domains",
in
Proceedings of the 22nd Annual ACM Symposium on Applied Computing
(SAC 2007),
ACM,
New York, NY
(2007).
-
T.H. Ng,
S.C. Cheung,
W.K. Chan,
and
Y.T. Yu,
"Do maintainers utilize deployed design patterns effectively?",
in
Proceedings of the 29th International Conference on Software Engineering
(ICSE 2007),
IEEE Computer Society, Los Alamitos, CA, pp. 168-177 (2007).
-
C. Xu,
S.C. Cheung,
and
W.K. Chan,
"Goal-directed context validation for adaptive ubiquitous systems",
in
Proceedings of the Workshop on Software Engineering for Adaptive
and Self-Managing Systems (SEAMS 2007)
(in conjunction with the 29th International Conference on Software
Engineering (ICSE 2007)),
IEEE Computer Society, Los Alamitos, CA (2007).
-
C. Xu,
S.C. Cheung,
W.K. Chan,
and
C. Ye,
"On impact-oriented automatic resolution of pervasive context inconsistency",
in
Proceedings of the 6th Joint Meeting of the European Software Engineering
Conference and the ACM SIGSOFT Symposium on the Foundations of Software
Engineering (ESEC/FSE 2007),
ACM, New York, NY, pp. 569-572 (2007).
-
C. Ye,
S.C. Cheung,
and
W.K. Chan,
"Process evolution with atomicity consistency",
in
Proceedings of the Workshop on Software Engineering for Adaptive
and Self-Managing Systems (SEAMS 2007)
(in conjunction with the 29th International Conference on Software
Engineering (ICSE 2007)),
IEEE Computer Society, Los Alamitos, CA (2007).
-
C. Ye,
S.C. Cheung,
W.K. Chan,
and
C. Xu,
"Detection and resolution of atomicity violation in service composition",
in
Proceedings of the 6th Joint Meeting of the European Software Engineering
Conference and the ACM SIGSOFT Symposium on the Foundations of Software
Engineering (ESEC/FSE 2007),
ACM, New York, NY, pp. 235-244 (2007).
-
Z. Lai,
S.C. Cheung,
and
W.K. Chan,
"Inter-context control-flow and data-flow test adequacy criteria for
nesC applications",
in
Proceedings of the 16th ACM SIGSOFT Symposium on Foundations of
Software Engineering (SIGSOFT 2008/FSE-16),
ACM, New York, NY, pp. 94-104 (2008).
-
C. Xu,
S.C. Cheung,
W.K. Chan,
and
C. Ye,
"Heuristics-based strategies for resolving context inconsistencies
in pervasive computing applications",
in
Proceedings of the 28th International Conference on Distributed
Computing Systems (ICDCS 2008),
IEEE Computer Society, Los Alamitos, CA, pp. 709-717 (2008).
-
W.K. Chan,
L. Mei, and Z. Zhang,
"Modeling and testing of cloud applications", in
Proceedings of the 2009 IEEE Asia-Pacific Services Computing Conference
(APSCC 2009),
IEEE Computer Society, Los Alamitos, CA, pp. 111-118 (2009).
-
L. Mei,
Z. Zhang,
and
W.K. Chan,
"More tales of clouds: software engineering research issues from the
cloud application perspective",
in
Proceedings of the 33rd Annual IEEE International Computer Software
and Applications Conference (COMPSAC 2009),
IEEE Computer Society, Los Alamitos, CA, pp. 525-530 (2009).
-
H. Wang and
W.K. Chan,
"Weaving context sensitivity into test suite construction", in
Proceedings of the 24th IEEE/ACM International Conference on Automated
Software Engineering (ASE 2009),
IEEE Computer Society, Los Alamitos, CA, pp. 610-614 (2009).
-
X. Wang,
S.C. Cheung,
W.K. Chan,
and
Z. Zhang,
"Taming coincidental correctness: refine code coverage with context
pattern to improve fault localization",
in
Proceedings of the 31st International Conference on Software
Engineering (ICSE 2009),
ACM, New York, NY, pp. 45-55 (2009).
-
C.J. Budnik,
W.K. Chan,
and G.M. Kapfhammer,
"Bridging the gap Between the theory and practice of software test automation",
in
Proceedings of the 32nd ACM/IEEE International Conference on Software
Engineering (ICSE 2010),
vol. 2, ACM, New York, NY, pp. 445-446 (2010).
-
W.K. Chan,
L. Mei, Z. Zhang, and X. Gao,
"A community-centric model for service publication, discovery, selection
and binding", in
Proceedings of the IEEE International Symposium on Service-Oriented
System Engineering (SOSE 2010),
IEEE Computer Society, Los Alamitos, CA, pp. 303-310 (2010).
-
B. Jiang and
W.K. Chan,
"On the integration of test adequacy: test case prioritization and
statistical fault localization", The 1st International Workshop on
Program Debugging in China (IWPDC 2010), in
Proceedings of the 10th International Conference on Quality Software
(QSIC 2010),
IEEE Computer Society, Los Alamitos, CA, pp. 377-384 (2010).
-
Z. Lai,
S.C. Cheung,
and
W.K. Chan,
"Detecting atomic-set serializability violations in multithreaded
programs through active randomized testing", in
Proceedings of the 32nd ACM/IEEE International Conference on Software
Engineering (ICSE 2010),
vol. 1, ACM, New York, NY, pp. 235-244 (2010).
-
K. Zhai and
W.K. Chan,
"Point-of-interest aware test case prioritization: methods and experiments",
The International Workshop on Quality of Service-Based Systems (QSBS 2010), in
Proceedings of the 10th International Conference on Quality Software
(QSIC 2010),
IEEE Computer Society, Los Alamitos, CA, pp. 449-456 (2010).
-
Y. Cai and
W.K. Chan,
"LOFT: redundant synchronization event removal for data race detection", in
Proceedings of the 22th International Symposium on Software Reliability
Engineering (ISSRE 2011),
IEEE Computer Society, Los Alamitos, CA, pp. 160-169 (2011).
-
Y. Cai and
W.K. Chan,
"MagicFuzzer: scalable deadlock detection for large-scale applications", in
Proceedings of the 34th ACM/IEEE International Conference on Software
Engineering (ICSE 2012), ACM, New York, NY (2012).
-
H.Y. Chen,
"The application of an algebraic design method to deal with oracle problem in object-oriented class level testing",
in
Proceedings of the 1999 IEEE International Conference on Systems,
Man,
and Cybernetics
(SMC '99),
vol. 1,
IEEE Computer Society,
Los Alamitos,
CA,
pp. 928-932 (1999).
-
H.Y. Chen,
"A method for partitioning and allocating application components on client-server systems",
in
Proceedings of the 1999 IEEE International Conference on Systems,
Man,
and Cybernetics
(SMC '99),
vol. 1,
IEEE Computer Society,
Los Alamitos,
CA,
pp. 938-942 (1999).
-
H.Y. Chen,
"On effectiveness of equivalent fundamental pairs as test cases for object-oriented software",
in
Proceedings of the 1999 IEEE International Conference on Systems,
Man,
and Cybernetics
(SMC '99),
vol. 1,
IEEE Computer Society,
Los Alamitos,
CA,
pp. 933-937 (1999).
-
H.Y. Chen,
"A dynamic approach for object-oriented cluster-level tests by program instrumentation",
in
Proceedings of the 2000 IEEE International Conference on Systems,
Man,
and Cybernetics
(SMC 2000),
vol. 2,
IEEE Computer Society,
Los Alamitos,
CA,
pp. 1030-1035 (2000).
-
H.Y. Chen and
J.-Z. Lu,
"The use of class graph to analyze the effectiveness of an approach for object-oriented class-level testing",
in
Proceedings of the 2003 IEEE International Conference on Systems,
Man,
and Cybernetics
(SMC 2000),
vol. 2,
IEEE Computer Society,
Los Alamitos,
CA,
pp. 1019-1023 (2000).
-
H.Y. Chen,
"The design and implementation of a prototype for data flow analysis at the method-level of object-oriented testing",
in
Proceedings of the 2002 IEEE International Conference on Systems,
Man,
and Cybernetics
(SMC 2002),
vol. 6,
IEEE Computer Society,
Los Alamitos,
CA,
pp. 140-145 (2002).
-
H.Y. Chen,
"Race condition and concurrency safety of multithreaded object-oriented programming in Java",
in
Proceedings of the 2002 IEEE International Conference on Systems,
Man,
and Cybernetics
(SMC 2002),
vol. 6,
IEEE Computer Society,
Los Alamitos,
CA,
pp. 134-139 (2002).
-
H.Y. Chen,
"Two approaches to generate non-equivalent ground terms as test cases for object-oriented software",
in
Proceedings of the 2000 IEEE International Conference on Systems,
Man,
and Cybernetics
(SMC 2000),
vol. 2,
IEEE Computer Society,
Los Alamitos,
CA,
pp. 1024-1029 (2002).
-
H.Y. Chen,
"Algorithm MSEL for determining observational equivalence in object-oriented class-level testing",
in
Proceedings of the 2003 IEEE International Conference on Systems,
Man,
and Cybernetics
(SMC 2003),
vol. 2,
IEEE Computer Society,
Los Alamitos,
CA,
pp. 1059-1063 (2003).
-
H.Y. Chen,
"An approach for object-oriented cluster-level tests based on UML",
in
Proceedings of the 2003 IEEE International Conference on Systems,
Man,
and Cybernetics
(SMC 2003),
vol. 2,
IEEE Computer Society,
Los Alamitos,
CA,
pp. 1064-1068 (2003).
-
Y.X. Sun and
H.Y. Chen,
"A new approach and CASE tool for object-oriented dynamic tests at cluster-level with data types of pointer and reference",
in
Proceedings of the 2003 IEEE International Conference on Systems,
Man,
and Cybernetics
(SMC 2003),
vol. 2,
IEEE Computer Society,
Los Alamitos,
CA,
pp. 1075-1080 (2003).
-
Y.X. Sun and
H.Y. Chen,
"Use object-oriented paradigm to design and implement an algorithm for object-oriented class-level testing",
in
Proceedings of the 2003 IEEE International Conference on Systems,
Man,
and Cybernetics
(SMC 2003),
vol. 2,
IEEE Computer Society,
Los Alamitos,
CA,
pp. 1069-1074 (2003).
-
H.Y. Chen,
"The refined algorithm ReCDRG to construct DRG graph for object-oriented class-level testing",
in
Proceedings of the 38th Annual Hawaii International Conference
on System Sciences
(HICSS 2005),
IEEE Computer Society,
Los Alamitos,
CA (2005).
-
T.Y. Chen and
P.-L. Poon,
"Classification-hierarchy table: a methodology for constructing the classification tree",
in
Proceedings of the 1996 Australian Software Engineering Conference,
pp. 93-104 (1996).
-
T.Y. Chen and
P.-L. Poon,
"Improving the quality of classification trees via restructuring",
in
Proceedings of the 1996 Asia-Pacific Software Engineering Conference,
pp. 83-92 (1996).
-
T.Y. Chen and
Y.T. Yu,
"More on the E-measure of subdomain testing strategies",
in
Proceedings of the 1996 Australian Software Engineering Conference,
pp. 167-174 (1996).
-
T.Y. Chen and
Y.T. Yu,
"On some characterisation problems of subdomain testing",
in
Proceedings of the 1996 Ada-Europe International Conference
on Reliable Software Technologies,
Lecture Notes in Computer Science,
vol. 1088,
Springer,
Berlin, Germany,
pp. 147-158 (1996).
-
T.Y. Chen and
Y.Y. Cheung,
"Structural properties of post-dominator trees",
in
Proceedings of the 1997 Australian Software Engineering Conference,
pp. 158-165 (1997).
-
T.Y. Chen and
M.F. Lau,
"Two test data selection strategies towards testing of Boolean specifications",
in
Proceedings of the 21st Annual International
Computer Software and Applications Conference
(COMPSAC '97),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 608-611 (1997).
-
T.Y. Chen and
P.-L. Poon,
"On the characteristics of a quality metric for classification trees",
in
Proceedings of the 1997 Australian Software Quality Conference,
Software Quality Association,
New South Wales,
Australia,
pp. 69-82 (1997).
-
T.Y. Chen and
Y.T. Yu,
"On the criteria of allocating test cases under uncertainty",
in
Proceedings of the Joint 4th Asia-Pacific Software Engineering Conference
(APSEC '97)
and 4th International Computer Science Conference
(ICSC '97),
S.C. Cheung and
Y.L. Tsung (eds.),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 405-413 (1997).
-
T.Y. Chen,
Y.T. Yu,
P.C. Law,
K.P. Leung,
and
S.P. Ng,
"Comparing methods of approximating the proportional sampling strategy",
in
Proceedings of the Australian Software Quality Conference,
Software Quality Association,
New South Wales,
Australia,
pp. 83-92 (1997).
-
T.Y. Chen and
M.F. Lau,
"An empirical study on the effectiveness of the greedy MUTP strategy",
in
Proceedings of the 1998 International Conference on Software
Engineering: Education and Practice
(SE:E&P '98),
pp. 338-344 (1998).
-
T.Y. Chen and
P.-L. Poon,
"Teaching black box testing",
in
Proceedings of the 1998 International Conference on Software
Engineering: Education and Practice
(SE:E&P '98),
pp. 324-329 (1998).
-
T.Y. Chen and
Y.T. Yu,
"On the test allocations for the best lower bound performance of partition testing",
in
Proceedings of the 1998 Australian Software Engineering Conference,
pp. 160-167 (1998).
-
C.K. Low and
T.Y. Chen,
"CDFA: a testing system for C++",
in
Proceedings of the International Conference on Technology of Object-Oriented
Languages and Systems
(TOOLS Pacific),
Prentice Hall,
Englewood Cliffs, EJ,
pp. 216-228 (1998).
-
T.Y. Chen,
M.F. Lau,
and
Y.T. Yu,
"An empirical evaluation of the MUMCUT strategy for testing Boolean specifications",
in
Proceedings of the 3rd Annual IASTED International Conference on Software
Engineering and Applications
(SEA '99),
International Association of Science and Technology for Development,
pp. 262-268 (1999).
-
T.Y. Chen,
M.F. Lau,
and
Y.T. Yu,
"MUMCUT: a fault-based strategy for testing Boolean specifications",
in
Proceedings of the 6th Asia-Pacific Software Engineering Conference
(APSEC '99),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 606-613 (1999).
-
T.Y. Chen,
P.K. Wong,
and
Y.T. Yu,
"Integrating approximation methods with the generalised proportional sampling strategy",
in
Proceedings of the 6th Asia-Pacific Software Engineering Conference
(APSEC '99),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 598-605 (1999).
-
T.Y. Chen,
P.K. Wong,
and
Y.T. Yu,
"Some experiments on the optimal generalised proportional sampling test distributions",
in
Proceedings of the 3rd Annual IASTED International Conference on Software Engineering and Applications
(SEA '99),
International Association of Science and Technology for Development,
pp. 302-307 (1999).
-
T.Y. Chen and
M.F. Lau,
"An empirical evaluation on the greedy CUTPNFP strategy for Boolean specification based testing",
in
Proceedings of the 5th International Conference on Computer Science and
Informatics
(CS&I 2000) (2000).
-
T.Y. Chen and
M.F. Lau,
"On the minimal essential subsets and minimal representative sets",
in
Proceedings of the 5th International Conference on Reliable Software
Technologies
(2000).
-
T.Y. Chen,
P.-L. Poon,
and
S.-F. Tang,
"Process-oriented management: an electronic-commerce perspective",
in
Proceedings of the 5th International Conference on Global Business and Economic Development,
vol. 1,
pp. 247-254 (2000).
-
T.Y. Chen,
P.-L. Poon,
S.-F. Tang,
and
Y.T. Yu,
"White on black: a white-box-oriented approach for selecting black-box-generated test cases",
in
Proceedings of the 1st Asia-Pacific Conference on Quality Software
(APAQS 2000),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 275-284 (2000).
-
T.Y. Chen,
P.-L. Poon,
and
Y.T. Yu,
"Analysing the category-partition method and the classification-tree method for software testing",
in
Proceedings of the 4th World Multiconference on Systemics,
Cybernetics and Informatics
(SCI 2000) and the 6th International Conference on Information Systems Analysis and Synthesis
(ISAS 2000),
vol. 2,
International Institute of Informatics and Systemics,
pp. 446-451 (2000).
-
H. Leung and
T.Y. Chen,
"A revisit of the proportional sampling strategy",
in
Proceedings of the 2000 Australian Software Engineering Conference
(ASWEC 2000),
pp. 247-253 (2000).
-
T.Y. Chen and
M.F. Lau,
"Test suite reduction and fault detection effectiveness: an empirical evaluation",
in
Proceedings of the 6th International Conference on Reliable Software Technologies
(Ada-Europe 2001),
Lecture Notes in Computer Science,
Springer,
Berlin, Germany,
pp. 253-265 (2001).
-
T.Y. Chen,
M.F. Lau,
and
Y.T. Yu,
"An empirical study on some heuristics for test suite reduction",
in
Proceedings of the 19th IASTED International Multi-Conference on Applied Informatics
(AI 2001),
ACTA Press,
Calgary,
Canada,
pp. 472-477 (2001).
-
S.P.H. Ng,
T.Y. Chen,
and
M.F. Lau,
"Relationship between the probabilities of detecting at least one failure for test case selection with and without replacement",
in
Proceedings of the 6th International Symposium on Future Software Technology
(ISFST 2001),
Zhengzhou,
China (2001).
-
K.P. Chan,
T.Y. Chen,
and
D.P. Towey,
"Restricted random testing",
in
Proceedings of the 7th European Conference on Software Quality
(ECSQ 2002),
Lecture Notes in Computer Science,
vol. 2349,
Springer,
Berlin, Germany,
pp. 321-330 (2002).
-
T.Y. Chen and
S.P.H. Ng,
"Teaching software testing through the development of an automated testing system",
in
Proceedings of the 20th IASTED International Multi-Conference on Applied Informatics
(AI 2002),
ACTA Press,
Calgary,
Canada,
pp. 149-152 (2002).
-
T.Y. Chen,
I. Rahwan,
and
Y. Yang,
"Temporal interaction diagrams",
in
Proceedings of the 2002 Information Resources Management Association International Conference,
pp. 843-846 (2002).
-
S.P.H. Ng,
F.-C. Kuo,
R.G. Merkel,
and
T.Y. Chen,
"On the effectiveness of genetic operators in adaptive random testing",
in
Proceedings of the International Symposium on Future Software Technology
(2002).
-
B.D. Tyrer,
L.J. Johnston,
J.A. Sykes,
and
T.Y. Chen,
"A case study of the problem-driven approach to perspective-based reading",
in
Proceedings of the 2nd ACIS Annual International Conference on Computer and Information Science
(ICIS 2002),
International Association for Computer and Information Science,
Mt. Pleasant, MI,
pp. 403-408 (2002).
-
C. Bai,
K.-Y. Cai,
and
T.Y. Chen,
"An efficient defect estimation method for software defect curves",
in
Proceedings of the 27th Annual International Computer Software and Applications Conference
(COMPSAC 2003),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 534-539 (2003).
-
A. Cain,
J.-G. Schneider,
D.D. Grant,
and
T.Y. Chen,
"Runtime data analysis for Java programs",
in
Proceedings of the 1st ECOOP Workshop on Advancing the State-of-the-Art in Runtime Inspection,
pp. 1-7 (2003).
-
K.P. Chan,
T.Y. Chen,
and
D.P. Towey,
"Normalized restricted random testing",
in
Proceedings of the 8th International Conference on Reliable Software Technologies,
Lecture Notes in Computer Science,
vol. 2655,
Springer,
Berlin, Germany,
pp. 368-381 (2003).
-
T.Y. Chen,
D.D. Grant,
M.F. Lau,
S.P.H. Ng,
and
V.R. Vasa,
"BEAT: Boolean expression fault-based test case generator",
in
Proceedings of the International Conference of Information Technology: Research and Education
(ITRE 2003),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 625-629 (2003).
-
T.Y. Chen,
K.C. Kuo,
R.G. Merkel,
and
S.P.H. Ng,
"Mirror adaptive random testing",
in
Proceedings of the 3rd International Conference on Quality Software
(QSIC 2003),
IEEE Computer Society,
Los Alamitos,
CA, pp. 4-11 (2003).
-
T.Y. Chen,
I. Rahwan,
and
Y. Yang,
"Temporal interaction diagrams for multi-process environments",
in
Practicing Software Engineering in the 21st Century,
Idea Group Publishing,
Hershey, PA,
pp. 143-155 (2003).
-
K.P. Chan,
D.P. Towey,
T.Y. Chen,
F.-C. Kuo,
and
R. Merkel,
"Using the information: incorporating positive feedback information into the testing process",
in
Proceedings of the International Workshop on Software Technology and Engineering Practice
(STEP 2003),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 71-76 (2003).
-
M.F. Lau,
T.Y. Chen,
and
S.P.H. Ng,
"Fault detecting capability and test suite reduction for Boolean specifications: an empirical evaluation",
in
Proceedings of the 1st ACIS International Conference on Software Engineering Research and Applications
(SERA 2003),
International Association for Computer and Information Science,
Mt. Pleasant, MI,
pp. 64-69 (2003).
-
Y.T. Yu,
M.F. Lau,
and
T.Y. Chen,
"Using the incremental approach to generate test sets: a case study",
in
Proceedings of the 3rd International Conference on Quality Software
(QSIC 2003),
IEEE Computer Society,
Los Alamitos,
CA, pp. 263-270 (2003).
-
Y.T. Yu,
S.P.H. Ng,
P.-L. Poon,
and
T.Y. Chen,
"On the use of the classification-tree method by beginning software testers",
in
Proceedings of the 18th Annual ACM Symposium on Applied Computing
(SAC 2003),
ACM,
New York, NY,
pp. 1123-1127 (2003).
-
K.P. Chan,
T.Y. Chen,
F.-C. Kuo,
and
D.P. Towey,
"A Revisit of adaptive random testing by restriction",
in
Proceedings of the 28th Annual International Computer Software and Applications Conference
(COMPSAC 2004),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 78-85 (2004).
-
K.P. Chan,
T.Y. Chen,
and
D.P. Towey,
"Good random testing",
in
Proceedings of the 9th International Conference on Reliable Software Technologies,
Lecture Notes in Computer Science,
vol. 3063,
Springer,
Berlin, Germany,
pp. 190-199 (2004).
-
J. Chen,
Y. Yang,
and
T.Y. Chen,
"Dynamic verification of temporal constraints on-the-fly for workflow systems",
in
Proceedings of the 11th Asia-Pacific Software Engineering Conference
(APSEC 2004),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 30-37 (2004).
-
T.Y. Chen,
G. Eddy,
R.G. Merkel,
and
P.K. Wong,
"Adaptive random testing through dynamic partitioning",
in
Proceedings of the 4th International Conference on Quality Software
(QSIC 2004),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 79-86 (2004).
-
T.Y. Chen and
D.H. Huang,
"Adaptive random testing by localization",
in
Proceedings of the 11th Asia-Pacific Software Engineering Conference
(APSEC 2004),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 292-298 (2004).
-
T.Y. Chen,
F.-C. Kuo,
Y. Liu,
and
A. Tang,
"Metamorphic testing and testing with special values",
in
Proceedings of the 5th ACIS International Conference on Software Engineering,
Artificial Intelligence,
Networking,
and Parallel / Distributed Computing
(SNPD 2004),
International Association for Computer and Information Science,
Mt. Pleasant, MI (2004).
-
T.Y. Chen,
H. Leung,
and
I.K. Mak,
"Adaptive random testing",
in
Advances in Computer Science: Higher-Level Decision Making: Proceedings of the 9th Asian Computing Science Conference
(ASIAN 2004),
M.J. Maher (ed.),
Lecture Notes in Computer Science,
vol. 3321,
Springer,
Berlin, Germany,
pp. 320-320 (2004).
-
S.P. Ng,
T. Murname,
K. Reed,
D.D. Grant,
and
T.Y. Chen,
"A preliminary survey on software testing practices in Australia",
in
Proceedings of the 2004 Australian Software Engineering Conference
(ASWEC 2004),
IEEE Computer Society,
Los Alamitos,
CA, pp. 116-125 (2004).
-
K.-Y. Cai,
T.Y. Chen,
Y.C. Li,
W.Y. Ning,
and
Y.T. Yu,
"Adaptive testing of software components",
in
Proceedings of the 20th Annual ACM Symposium on Applied Computing
(SAC 2005),
ACM,
New York, NY,
pp. 1463-1469 (2005).
-
K.P. Chan,
T.Y. Chen,
and
D.P. Towey,
"Adaptive random testing with filtering",
in
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering
(SEKE 2005),
ACM,
New York, NY,
pp. 292-299 (2005).
-
T.Y. Chen,
F.-C. Kuo,
and
Z.Q. Zhou,
"An effective testing method for end-user programmers",
in
Proceedings of the 1st Workshop on End-User Software Engineering
(WEUSE 2005),
pp. 21-25 (2005).
-
T.Y. Chen,
F.-C. Kuo,
and
Z.Q. Zhou,
"On the relationships between the distribution of failure-causing inputs and effectiveness of adaptive random testing",
in
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering
(SEKE 2005),
ACM,
New York, NY, pp. 306-311 (2005).
-
T.Y. Chen,
F.-C. Kuo,
and
Z.Q. Zhou,
"Teaching automated test case generation",
in
Proceedings of the International Workshop on Education and Training for Quality Software Engineering,
pp. 327-332 (2005).
-
T.Y. Chen and
R. Merkel,
"Quasi-random testing",
in
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2005),
ACM,
New York, NY,
pp. 309-312 (2005).
-
S.-F. Tang,
P.-L. Poon,
and
T.Y. Chen,
"Teaching specification-based testing",
in
Proceedings of the 4th Annual Workshop on the Teaching of Software Testing
(WTST 4),
Florida Institute of Technology,
Melbourne, FA (2005).
-
K.P. Chan,
T.Y. Chen,
and D. Towey,
"Forgetting test cases", in
Proceedings of the 30th Annual International Computer Software and
Applications Conference (COMPSAC 2006),
vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 485-494 (2006).
-
K.P. Chan,
T.Y. Chen,
and D. Towey,
"Probabilistic adaptive random testing", in
Proceedings of the 6th International Conference on Quality Software
(QSIC 2006),
IEEE Computer Society, Los Alamitos, CA, pp. 274-280 (2006).
-
T.Y. Chen,
D.H. Huang, and Z.Q. Zhou,
"Adaptive random testing through iterative partitioning", in
Reliable Software Technologies: Ada-Europe 2006,
Lecture Notes in Computer Science, vol. 4006, Springer, Berlin,
Germany, pp. 155-166 (2006).
-
T.Y. Chen and
F.-C. Kuo,
"Is adaptive random testing really better than random testing", in
Proceedings of the 1st International Workshop on Random Testing
(RT 2006), ACM, New York, NY, pp. 64-69 (2006).
-
T.Y. Chen and
R.G. Merkel,
"Efficient and effective random testing using the Voronoi diagram", in
Proceedings of the 2006 Australian Software Engineering Conference
(ASWEC 2006), IEEE Computer Society, Los Alamitos, CA (2006).
-
J. Mayer,
T.Y. Chen,
and D.H. Huang,
"Adaptive random testing through iterative partitioning revisited", in
Proceedings of the 3rd International Workshop on Software Quality
Assurance (SOQUA 2006),
ACM, New York, NY, pp. 22-29 (2006).
-
C.-A. Sun, Y. Dong, R. Lai, K.Y. Sim, and
T.Y. Chen,
"Analyzing and extending MUMCUT for fault-based testing of general Boolean
expressions", in
Proceedings of the 6th IEEE International Conference on Computer and
Information Technology (CIT 2006),
IEEE Computer Society, Los Alamitos, CA, pp. 184-189 (2006).
-
K.P. Chan,
T.Y. Chen,
and D. Towey,
"Controlling restricted random testing: an examination of the exclusion
ratio parameter", in
Proceedings of the 19th International Conference on Software
Engineering and Knowledge Engineering (SEKE 2007),
ACM, New York, NY, pp. 163-166 (2007).
-
T.Y. Chen,
F.-C. Kuo, and H. Liu,
"Distribution metric driven adaptive random testing", in
Proceedings of the 7th International Conference on Quality Software
(QSIC 2007),
IEEE Computer Society, Los Alamitos, CA, pp. 274-279 (2007).
-
T.Y. Chen,
F.-C. Kuo, and H. Liu,
"Enhancing adaptive random testing through partitioning by edge and centre",
in
Proceedings of the 2007 Australian Software Engineering Conference
(ASWEC 2007),
IEEE Computer Society, Los Alamitos, CA, pp. 265-273 (2007).
-
T.Y. Chen,
F.-C. Kuo, and H. Liu,
"On test case distributions of adaptive random testing", in
Proceedings of the 19th International Conference on Software
Engineering and Knowledge Engineering (SEKE 2007),
ACM, New York, NY, pp. 141-144 (2007).
-
M.F. Lau, Y. Liu,
T.Y. Chen,
and
Y.T. Yu,
"On detecting double literal faults in Boolean expressions", in
Reliable Software Technologies: Ada-Europe 2007/em>,
Lecture Notes in Computer Science, vol. 4498, Springer, Berlin,
Germany, pp. 55-68 (2007).
-
T.Y. Chen,
D.H. Huang, F.-C. Kuo, R.G. Merkel, and J. Mayer,
"Enhanced lattice-based adaptive random testing", in
Proceedings of the 2009 ACM symposium on Applied Computing
(SAC 2009),
ACM, New York, NY, pp. 422-429 (2009).
-
T.Y. Chen,
F.-C. Kuo, H. Liu, and S. Wang,
"Conformance testing of network simulators based on metamorphic testing
technique", in
Proceedings of the Joint 11th IFIP WG 6.1 International Conference
(FMOODS 2009)
and 29th IFIP WG 6.1 International Conference
(FORTE 2009)
on Formal Techniques for Distributed Systems,
Lecture Notes in Computer Science, vol. 5522, Springer, Berlin, Germany,
pp. 243-248 (2009).
-
T.Y. Chen,
F.-C. Kuo, R.G. Merkel, and W.K. Tam,
Testing an open source suite for open queuing network modelling using
metamorphic testing technique", in
Proceedings of the 14th IEEE International Conference on Engineering
of Complex Computer Systems (ICECCS 2009),
IEEE Computer Society, Los Alamitos, CA, pp. 23-29 (2009).
-
H. Liu and
T.Y. Chen,
"An innovative approach to randomising quasi-random sequences and its
application into software testing", in
Proceedings of the 9th International Conference on Quality
Software (QSIC 2009),
IEEE Computer Society, Los Alamitos, CA, pp. 59-64 (2009).
-
H. Liu, F.-C. Kuo, and
T.Y. Chen,
"Dynamic test profiles in adaptive random testing: a case study", in
Proceedings of the 21st International Conference on Software Engineering
and Knowledge Engineering (SEKE 2009),
ACM, New York, NY, pp. 418-421 (2009).
-
H. Liu, D. Wang, H. Lin, and
T.Y. Chen,
"On the integration of metamorphic testing and model checking", in
Proceedings of the IADIS International Conference on Applied Computing
(IADIS AC 2009), IADIS Press, pp. 299-302 (2009).
-
X. Xie, J. Ho, C. Murphy, G. Kaiser, B. Xu, and
T.Y. Chen,
"Application of metamorphic Testing to supervised classifiers", in
Proceedings of the 9th International Conference on Quality
Software (QSIC 2009),
IEEE Computer Society, Los Alamitos, CA, pp. 135-144 (2009).
-
T.Y. Chen,
"Metamorphic testing: a simple approach to alleviate the oracle problem", in
Proceedings of the IEEE International Symposium on Service-Oriented
System Engineering (SOSE 2010),
IEEE Computer Society, Los Alamitos, CA, pp. 1-2 (2010).
-
H. Liu, F.-C. Kuo, and
T.Y. Chen,
"Teaching an end-user testing methodology", in
Proceedings of the 23rd IEEE Conference on Software Engineering
Education and Training (CSEET 2010),
IEEE Computer Society, Los Alamitos, CA, pp. 81-88 (2010).
-
H. Liu, X. Xie, J. Yang, Y. Lu, and
T. Y. Chen,
"Adaptive random testing by exclusion through test profile", in
Proceedings of the 10th International Conference on Quality Software
(QSIC 2010),
IEEE Computer Society, Los Alamitos, CA, pp. 92-101 (2010).
-
X. Xie,
T.Y. Chen,
and B. Xu,
"Isolating suspiciousness from spectrum-based fault localization
techniques", in
Proceedings of the 10th International Conference on Quality Software
(QSIC 2010),
IEEE Computer Society, Los Alamitos, CA, pp. 385-392 (2010).
-
A.C. Barus,
T.Y. Chen,
D.D. Grant, F.-C. Kuo, and M.F. Lau,
"Testing of heuristic methods: a case study of greedy algorithm", in
Proceedings of the 3rd IFIP TC 2 Central and East European
Conference on Software Engineering Techniques
(CEE-SET 2008), Lecture Notes in Computer Science, vol. 4980,
Springer, Berlin, Germany, pp. 246-260 (2011).
-
T.Y. Chen,
F.-C. Kuo, W.K. Tam, and R.G. Merkel,
"Testing a software-based PID controller using metamorphic testing", in
Proceedings of the 1st International Conference on Pervasive and
Embedded Computing and Communication Systems (PECCS 2011),
SciTePress, pp. 387-396 (2011).
-
F.-C. Kuo,
T.Y. Chen,
and W.K. Tam,
"Testing embedded software by metamorphic testing: a wireless metering
system case study", in
Proceedings of the IEEE 36th Conference on Local Computer Networks
(LCN 2011),
IEEE Computer Society, Los Alamitos, CA, pp. 291-294 (2011).
-
F.-C. Kuo, S. Liu, and
T.Y. Chen,
"Testing a binary space partitioning algorithm with metamorphic testing", in
Proceedings of the 2011 ACM Symposium on Applied Computing
(SAC 2011),
ACM, New York, NY, pp. 1482-1489 (2011).
-
R.G. Merkel, F.-C. Kuo, and
T.Y. Chen,
"An analysis of failure-based test profiles for random testing", in
Proceedings of the 35th Annual International Computer Software and
Applications Conference (COMPSAC 2011),
IEEE Computer Society, Los Alamitos, CA, pp. 68-75 (2011).
-
C.-A. Sun, G. Wang, B. Mu, H. Liu, Z. Wang, and
T.Y. Chen,
"Metamorphic testing for Web services: framework and a case study", in
Proceedings of the 2011 IEEE International Conference on Web
Services (ICWS 2011),
IEEE Computer Society, Los Alamitos, CA, pp. 283-290 (2011).
-
X. Xie, W.E. Wong,
T.Y. Chen,
and B. Xu,
"Spectrum-based fault localization: testing oracles are no longer
mandatory", in
Proceedings of the 11th International Conference on Quality Software
(QSIC 2011),
IEEE Computer Society, Los Alamitos, CA, pp. 1-10 (2011).
-
S.C. Cheung and
J. Kramer,
"Checking subsystem safety properties in compositional reachability analysis",
in
Proceedings of the 18th International Conference on Software Engineering
(ICSE '96),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 144-154 (1996).
-
T.F. Ngai,
K.O. Yeung,
and
S.C. Cheung,
"An integrated distributed multimedia system and development environment",
in
Proceedings of the 1996 Pacific Workshop on Distributed Multimedia Systems,
Hong Kong (1996).
-
S.C. Cheung,
D. Giannakopoulou,
and
J. Kramer,
"Verification of liveness properties using compositional reachability analysis",
in
Proceedings of the Joint 6th European Software Engineering Conference and 5th ACM SIGSOFT Symposium on the Foundation of Software Engineering
(ESEC '97/FSE-5),
ACM SIGSOFT Software Engineering Notes
22 (6): 227-243 (1997).
-
A.C.Y. Wong,
S.T. Chanson,
and
S.C. Cheung,
and
H. Fuchs,
"A framework for distributed object-oriented testing",
in
Proceedings of the IFIP Joint International
Conference on Formal Description Techniques for Distributed
Systems and Communication Protocol
(FORTE '97)
and Protocol Specification,
Testing,
and Verification
(PSTV '97),
Osaka, Japan (1997).
-
D. Giannakopoulou,
J. Kramer,
and
S.C. Cheung,
"TRACTA: an environment for analysing the behaviour of distributed systems",
in
Proceedings of the ACM SIGPLAN Workshop of Automated Analysis of Software,
Paris,
France (1997).
-
S.C. Cheung,
"Software process engineering in Hong Kong",
in
Proceedings of the 20th International Conference on Software Engineering
(ICSE '98),
vol. II,
IEEE Computer Society,
Los Alamitos,
CA,
pp. 227-228 (1998).
-
S.C. Cheung and
L. Wong,
"Construction of distributed multimedia applications using Views",
in
Proceedings of the 3rd International Symposium on Software Engineering for Parallel and Distributed Systems
(PDSE '98),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 166-175 (1998).
-
S.C. Cheung,
L. Wong,
and
S.T. Chanson,
"A two-tier technique for authoring distributed multimedia applications",
in
Proceedings of the IEEE International Conference on Multimedia Computing Systems,
IEEE Computer Society,
Los Alamitos,
CA, pp. 368--371 (1998).
-
P. Leung and
S.C. Cheung,
"A notification service model supporting flexible coupling for CSCW systems",
in
Proceedings of the 3rd International Workshop on Computer Supported
Cooperation Work in Design,
Tokyo,
Japan (1998).
-
V. Misic,
S.T. Chanson,
and
S.C. Cheung,
"Towards a framework for testing distributed multimedia software systems",
in
Proceedings of the International
Symposium on Software Engineering for Parallel and Distributed Systems
(PDSE '98),
Kyoto, Japan,
pp. 72-82 (1998).
-
M.Y. Chan and
S.C. Cheung,
"Testing database applications with SQL semantics",
in
Proceedings of the 2nd International Symposium on Cooperative Database
Systems for Advanced Applications
(CODAS '99),
Wollongong,
Australia,
pp. 363-374 (1999).
-
S.C. Cheung and
C.Y. Lam,
"Exploring the browsing semantics of information on the Web",
in
Proceedings of the 10th International
Conference of the Information Resources Management Association,
Hershey, PA,
pp. 740-745 (1999).
-
P. Leung and
S.C. Cheung,
"A CSCW framework for the flexible coupling of groupware widgets",
in
Proceedings of the 5th IEEE International Conference on Engineering of Complex Computer Systems
(ICECCS '99),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 9-20 (1999).
-
J. Zhang,
S.C. Cheung,
and
S.T. Chanson,
"Formalizing timed Petri nets in predicate logic based on a discrete time model",
in
Proceedings of the 5th International Conference for Young Computer Scientists
(ICYCS '99),
Nanjing, China,
pp. 1-6 (1999).
-
J. Zhang,
S.C. Cheung,
and
S.T. Chanson,
"Stress testing of distributed multimedia software systems",
in
Formal Description Techniques XII: Proceedings of the 12th IFIP
WG 6.1 International Conference on Formal Description Techniques
for Distributed Systems and Communication Protocols,
and Protocol
Specification,
Testing,
and Verification
(FORTE/PSTV '99),
Elsevier,
Amsterdam, The Netherlands,
pp. 119-134 (1999).
-
J.S.H. Kwok,
K.C. Wong,
K.F. Tsang,
S.C. Cheung,
and
K.Y. Tam,
"Digital rights management in Internet open trading protocol (IOTP)",
in
Proceedings of the 2000 International Conference on Electronic Commerce,
Seoul,
Korea,
pp. 179-185 (2000).
-
C.Y. Lam and
S.C. Cheung,
"Modelling and analysis of web-based courseware systems",
in
Web-based Learning and Teaching Technologies: Opportunities and Challenges,
A. Aggarwal (ed.),
Idea Group Publishing,
pp. 155-173 (2000).
-
D.K.C. Chan,
S. Yuen,
and
S.C. Cheung,
"Organisation modelling using LDAP",
in
Proceedings of the 9th IFIP WG 2.6 Working
Conference on Database Semantics
(DS-9),
Elsevier,
Amsterdam, The Netherlands (2001).
-
S.C. Cheung,
S.T. Chanson,
and
Z. Xu,
"Toward generic timing tests for distributed multimedia software systems",
in
Proceedings of the 12th International Symposium on Software
Reliability Engineering
(ISSRE 2001),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 210-220 (2001).
-
S.C. Cheung and
J. Wei,
"On the modelling of document exchanging processes in e-commerce protocols",
in
Proceedings of the 2nd
Asia-Pacific Conference on Quality Software
(APAQS 2001),
IEEE
Computer Society Press,
Los Alamitos,
CA, pp. 387-396 (2001).
-
J. Wei,
S.C. Cheung,
and
X. Wang,
"Exploiting automatic analysis of e-commerce protocols",
in
Proceedings of the 25th Annual
International Computer Software and Applications Conference
(COMPSAC 2001),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 55-62 (2001).
-
J. Wei,
S.C. Cheung,
and
X. Wang,
"Towards a methodology for formal design and analysis of agent interaction protocols: an investigation in electronic commerce",
in
Proceedings of the International Software Engineering Symposium
(ISES 2001),
Wuhan,
Hubei,
China (2001).
-
J. Wei,
S.C. Cheung,
H. Zhou,
X. Wang,
J. Li,
and
Y.-L. Feng,
"Modeling and verifying strong cache consistency for mobile data access",
in
Proceedings of the 12th International Symposium on Software Reliability Engineering
(ISSRE 2001),
IEEE Computer
Society Press,
Los Alamitos,
CA,
pp. 103-111 (2001).
-
J. Zhang,
C. Xu,
and
S.C. Cheung,
"Automatic generation of database instances for white-box testing",
in
Proceedings of the
25th Annual International Computer Software and Applications
Conference
(COMPSAC 2001),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 161-165 (2001).
-
S.C. Cheung,
D.K.W. Chiu,
and
S. Till,
"A three-layer framework for cross-organizational e-contract enactment",
in
Proceedings of the Workshop on Web Services,
e-Business,
and the Semantic Web
(WES 2002 in conjunction with CAiSE 2002),
Lecture Notes in Computer Science,
vol. 2512,
Springer,
Berlin, Germany,
pp. 78-92 (2002).
-
S.C. Cheung and
H. Curreem,
"Rights protection for digital contents redistribution over the Internet",
in
Proceedings of the
26th Annual International Computer Software and Applications
Conference
(COMPSAC 2002),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 105-110 (2002).
-
S.C. Cheung,
H. Curreem,
and
D.K.W. Chiu,
"A watermarking infrastructure for digital rights protection",
in
Proceedings of
the 4th International Conference on Electronic Commerce
(ICEC 2002),
Hong Kong (2002).
-
S.C. Cheung,
P.C.K. Hung,
and
D.K.W. Chiu,
"A meta-model for e-contract template variable dependencies facilitating e-negotiation",
in
Proceedings of the 21st International Conference
on Conceptual Modeling
(ER 2002),
Springer, London, UK, pp. 50-64 (2002).
-
D.K.W. Chiu and
S.C. Cheung,
"Automating online web-based e-commerce activities with WebScript",
in
Proceedings of the 4th
International Conference on Electronic Commerce
(ICEC 2002),
Hong
Kong (2002).
-
D.K.W. Chiu,
S.C. Cheung,
and
P.C.K. Hung,
"A meta-model for contract template driven e-negotiation processes",
in
Proceedings
of the 6th Pacific Asia Conference on Information Systems
(PACIS 2002),
Tokyo,
Japan,
pp. 854-868 (2002).
-
D.K.W. Chiu,
S.C. Cheung,
and
E. Kafeza,
"Three-tier view-based support for mobile workflows",
in
Proceedings of the International Conference on Mobile Business,
Athens, Greece (2002).
-
D.K.W. Chiu,
S.C. Cheung,
K. Karlapalem,
Q. Li,
and
S. Till,
"Workflow view driven cross-organizational interoperability in a web-service environment",
in
Proceedings of the Workshop on Web Services,
e-Business,
and the Semantic Web
(WES 2002 in conjunction with CAiSE 2002),
Lecture Notes in Computer Science,
vol. 2512,
Springer,
Berlin, Germany,
pp. 41-56 (2002).
-
S.C. Cheung and
D.K.W. Chiu,
"A watermarking infrastructure for enterprise content management",
in
Proceedings of the 36th Hawaii International Conference on System Sciences
(HICSS-36),
IEEE Computer Society,
Los Alamitos,
CA (2003).
-
S.C. Cheung,
D.K.W. Chiu,
and
S. Till,
"A data-driven methodology to extending workflows to e-services over the Internet",
in
Proceedings of the 36th Hawaii International Conference on System Sciences
(HICSS-36),
IEEE Computer Society,
Los Alamitos,
CA (2003).
-
S.C. Cheung,
H. Curreem,
D.K.W. Chiu,
and
P.C.K. Hung,
"Implementing watermark token in ws-security for digital content distribution",
in
Proceedings of the International Conference on Web Services
(ICWS 2003) (2003).
-
S.C. Cheung,
P.C.K. Hung,
and
D.K.W. Chiu,
"On the e-negotiation of unmatched logrolling views",
in
Proceedings of the 36th Hawaii International Conference on System Sciences
(HICSS-36),
IEEE Computer Society,
Los Alamitos,
CA (2003).
-
S.C. Cheung,
H.F. Leung,
and
C. Wang,
"A commutative encrypted protocol for the privacy protection of watermarks in digital contents",
in
Proceedings of the 37th Hawaii International Conference on System Sciences
(HICSS-37),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 94-103 (2004).
-
D.K.W. Chiu,
W.C.W. Chan,
G.K.W. Lam,
S.C. Cheung,
and
F.T. Luk,
"An event driven approach to customer relationship management in e-brokerage industry",
in
Proceedings of the 36th Hawaii International Conference on System Sciences
(HICSS-36),
IEEE Computer Society,
Los Alamitos,
CA (2003).
-
D.K.W. Chiu,
S.C. Cheung,
and
P.C.K. Hung,
"Developing e-negotiation process support by web services",
in
Proceedings of the International Conference on Web Services
(ICWS 2003) (2003).
-
D.K.W. Chiu,
S.C. Cheung,
P.C.K. Hung,
S.Y.Y. Chiu,
and
K.K. Chung,
"Developing e-negotiation support for matching and un-matching tradeoff views in an e-marketplace environment",
in
Proceedings of the 4th IFIP Working Group 7.6 Workshop on Virtual Environments for Advanced Modeling
(VEAM 2004) (2004).
-
D.K.W. Chiu,
S.C. Cheung,
and
H.F. Leung,
"A three tier view based methodology for adapting human agent collaborative systems towards a connected society",
in
Proceedings of the 15th Conference on Advanced Information Systems Engineering
(CAiSE 2003),
Lecture Notes in Computer Science,
Springer,
Berlin, Germany (2003).
-
D.K.W. Chiu,
S.C. Cheung,
and
S. Till,
"A three layer architecture for e-contract enforcement in an e-service environment",
in
Proceedings of the 36th Hawaii International Conference on System Sciences
(HICSS-36),
IEEE Computer Society,
Los Alamitos,
CA (2003).
-
D.K.W. Chiu,
A.K.C. Lee,
D. Lok,
and
S.C. Cheung,
"Integrating heterogeneous web services with WebXcript",
in
Proceedings of the 27th Annual International Computer Software and Applications Conference
(COMPSAC 2003),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 272-277 (2003).
-
E. Kafeza,
D.K.W. Chiu,
and
S.C. Cheung,
"Alert-driven process integration in a web services environment",
in
Proceedings of the International Conference on Web Services
(ICWS 2003) (2003).
-
T.H. Ng and
S.C. Cheung,
"Proactive views on concrete aspects: a pattern documentation approach for software evolution",
in
Proceedings of the 27th International Conference on Computer Software and Applications Conference
(COMPSAC 2003),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 242-247 (2003).
-
D.K.W. Chiu,
S.C. Cheung,
H.F. Leung,
and
P.C.K. Hung,
"Constraint-based negotiation in a multi-agent information system with multiple platform support",
in
Proceedings of the 37th Hawaii International Conference on System Sciences
(HICSS-37),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 33-42 (2004).
-
D.K.W. Chiu,
B. Kwok,
R. Wong,
S.C. Cheung,
and
E. Kafeza,
"Alert-driven e-service management",
in
Proceedings of the 37th Hawaii International Conference on System Sciences
(HICSS-37),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 68-77 (2004).
-
D.K.W. Chiu,
B. Kwok,
R. Wong,
S.C. Cheung,
E. Kafeza,
and
M. Kafeza,
"Alerts for healthcare process and data integration",
in
Proceedings of the 37th Hawaii International Conference on System Sciences
(HICSS-37),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 146-155 (2004).
-
C. Wang,
H.F. Leung,
S.C. Cheung,
and
Y. Wang,
"Use of cryptographic technologies for privacy protection of watermarks in Internet retails of digital contents",
in
Proceedings of the 18th International Conference on Advanced Information Networking and Applications
(AINA 2004),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 414-419 (2004).
-
X. Wang and
S.C. Cheung,
"Grammar based interface processing in web service composition",
in
Proceedings of the International Workshop on Conceptual Model-directed Web Information Integration and Mining
(CoMWIM 2004 in conjunction with ER 2004),
IEEE Computer Society,
Los Alamitos, CA
(2004).
-
C. Xu,
S.C. Cheung,
C. Lo,
K.C. Leung,
and
J. Wei,
"Cabot: on the ontology for the middleware support of context-aware pervasive applications",
in
Proceedings of the Building Intelligent Sensor Networks
(BISON 2004 in conjunction with the IFIP International Conference
on Network and Parallel Computing),
Lecture Notes in Computer Science,
vol. 3222,
pp. 568-575 (2004).
-
C. Xu,
S.C. Cheung,
and
X. Xiao,
"Semantic interpretation and matching of web services",
in
Proceedings of the 23rd International Conference on Conceptual Modeling
(ER 2004),
Lecture Notes in Computer Science,
no. 3288,
Springer,
Berlin, Germany,
pp. 542-554 (2004).
-
D.K.W. Chiu,
S.C. Cheung,
P.C.K. Hung,
and
H.F. Leung,
"Facilitating e-negotiation processes with semantic web technologies",
in
Proceedings of the 38th Hawaii International Conference on System Sciences
(HICSS-38),
IEEE Computer Society,
Los Alamitos,
CA (2005).
-
D.K.W. Chiu,
S.C. Cheung,
and
H.F. Leung,
"A multi-agent infrastructure for mobile workforce management in a service oriented enterprise",
in
Proceedings of the 38th Hawaii International Conference on System Sciences
(HICSS-38),
IEEE Computer Society,
Los Alamitos,
CA (2005).
-
W. Dou,
S.C. Cheung,
G. Chen,
and
S. Cai,
"Certificate-driven grid workflow paradigm based on service computing",
in
Proceedings of the 4th International Conference on Grid and Cooperative Computing,
Lecture Notes in Computer Science,
no. 3795,
Springer,
Berlin, Germany,
pp. 155-160 (2005).
-
Y. Duan,
S.C. Cheung,
X. Fu,
and
Y. Gu,
"A metamodel based model transformation approach",
in
Proceedings of the 3rd ACIS International Conference on Software Engineering Research and Applications
(SERA 2005),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 184-190 (2005).
-
L.M. Ni,
Y. Zhu,
J. Ma,
M. Li,
Q. Luo,
Y. Liu,
S.C. Cheung,
and
Q. Yang,
"Semantic sensor net: an extensible framework",
in
Proceedings of the International Conference on Computer Networks and Mobile Computing
(ICCNMC 2005),
Lecture Notes in Computer Science,
no. 3619,
Springer,
Berlin, Germany,
pp. 1144-1153 (2005).
-
C. Xu and
S.C. Cheung,
"Inconsistency detection and resolution for context-aware middleware support",
in
Proceedings of the Joint 10th European Software Engineering Conference
and 13th ACM SIGSOFT Symposium on the Foundation of Software Engineering
(ESEC 2005/FSE-13),
ACM,
New York, NY,
pp. 336-345 (2005).
-
D.K.W. Chiu,
S.C. Cheung,
and
H.-F. Leung,
"Mobile workforce management in a service-oriented enterprise: capturing concepts and requirements in a multi-agent infrastructure",
in
Enterprise Service Computing: From Concept to Deployment,
R.G. Qiu (ed.),
Idea Group Publishing,
Hershey,
PA, pp. 105-131 (2006).
-
D.K.W. Chiu,
D. Hong,
S.C. Cheung,
and
E. Kafeza,
"Adapting ubiquitous enterprise services with context and views",
in
Proceedings of the 10th IEEE International Enterprise Computing Conference
(EDOC 2006),
IEEE Computer Society,
Los Alamitos,
CA, pp. 391-394 (2006).
-
Y. Duan,
X. Fu,
S.C. Cheung,
and
Y. Gu,
"An entity-relationship model based conceptual framework for model driven development",
in
Proceedings of the IASTED International Conference on Software Engineering
(SE 2006),
ACTA Press,
Calgary,
Canada,
pp. 200-205 (2006).
-
Z. Lai,
S.C. Cheung,
and
Y. Jiang,
"Dynamic model learning using genetic algorithm under adaptive model checking framework",
in
Proceedings of the 6th International Conference on Quality Software
(QSIC 2006),
IEEE Computer Society,
Los Alamitos,
CA, pp. 410-417 (2006).
-
K.R.P.H. Leung and
D.K.C. Chan,
"Extending statecharts with duration",
in
Proceedings of the 20th Annual International Computer Software and Applications Conference
(COMPSAC '96),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 246-251 (1996).
-
D.K.C. Chan and
K.R.P.H. Leung,
"Software development as a workflow process",
in
Proceedings of the Joint 4th Asia-Pacific Software Engineering Conference
(APSEC '97)
and the 4th International Computer Science Conference
(ICSC '97),
S.C. Cheung and
Y.L. Tsung (eds.),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 282-291 (1997).
-
D.K.C. Chan and
K.R.P.H. Leung,
"A workflow vista of the software process",
in
Proceedings of the 8th International Workshop on Database and Expert Systems Applications
(DEXA '97),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 62-67 (1997).
-
D.K.C. Chan and
K.R.P.H. Leung,
"Valmont: a language for workflow programming",
in
Proceedings of the 31st Annual Hawaii International Conference on System Sciences
(HICSS-31),
vol. 7,
IEEE Computer Society,
Los Alamitos,
CA,
pp. 744-753 (1998).
-
D.K.C. Chan,
K.R.P.H. Leung,
C.Y. Yan,
and
K.C.C. Chan,
"Liaison: a workflow model for novel applications",
in
Proceedings of the 5th Asia-Pacific Software Engineering Conference
(APSEC '98),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 144-152 (1998).
-
K.R.P.H. Leung and
W. Wong,
"Incorporating HOL and RAISE: a practitioner's approach",
in
Supplementary Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics: Emerging Trends
(TPHOLs '98),
pp. 127-140 (1998).
-
L.C.K. Hui and
K.R.P.H. Leung,
"The need of signature semantics handling in electronic workflow systems",
in
Proceedings of the 5th International Conference on Information Systems Analysis and Synthesis
(ISAS '99),
pp. 158-163 (1999).
-
K.R.P.H. Leung and
J.M.L. Chung,
"The Liaison workflow engine architecture",
in
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences
(HICSS-32),
IEEE Computer Society,
Los Alamitos,
CA (1999).
-
K.R.P.H. Leung and
L.C.K. Hui,
"Signature management in workflow systems",
in
Proceedings of the 23rd Annual International Computer Software and Applications Conference
(COMPSAC '99),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 424-429 (1999).
-
K.R.P.H. Leung,
L.C.K. Hui,
and
R.W.M. Tang,
"Extending the Liaison workflow model and engine to support different signature purposes",
in
Proceedings of the 6th Asia-Pacific Software Engineering Conference
(APSEC '99),
IEEE Computer Society,
Los Alamitos,
CA, 572-579 (1999).
-
K.R.P.H. Leung,
L.C.K. Hui,
and
R.W.M. Tang,
"Integrating different signature purposes in workflow systems: a case study",
in
Proceedings of the 5th International Computer Science Conference
(ICSC '99),
L.C.K. Hui and D.L. Lee (eds.),
Springer,
Berlin, Germany (1999).
-
K.R.P.H. Leung and
S.K.W. Wong,
"Bridging ISO 9000-3 and RAISE",
in
Proceedings of the 4th International Conference on ISO 9000 and TQM
(4-ICIT),
Hong Kong,
pp. 129-135 (1999).
-
K.R.P.H. Leung,
"Extending statecharts with ad lib and multiple-thread features",
in
Proceedings of the 7th Asia-Pacific Software Engineering Conference
(APSEC 2000),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 330-335 (2000).
-
K.R.P.H. Leung and
L.C.K. Hui,
"Multiple signature handling in workflow systems",
in
Proceedings of the 33rd Annual Hawaii International Conference on System Sciences
(HICSS-33),
IEEE Computer Society,
Los Alamitos,
CA (2000).
-
K.R.P.H. Leung,
L.C.K. Hui,
S.M. Yiu,
and
R.W.M. Tang,
"Modeling web navigation by statechart",
in
Proceedings of the 24th Annual International Computer Software and Applications Conference
(COMPSAC 2000),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 41-47 (2000).
-
K.R.P.H. Leung and
W. Wong,
"Deriving test cases using class vectors",
in
Proceedings of the 7th Asia-Pacific Software Engineering Conference
(APSEC 2000),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 146-153 (2000).
-
K.R.P.H. Leung and
W. Wong,
"Towards a more efficient way of generating test cases: class graphs",
in
Proceedings of the 1st Asia-Pacific Conference on Quality Software
(APAQS 2000),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 285-293 (2000).
-
L.C.K. Hui,
J.K.-Y. Ng,
W. Wong,
and
K.R.P.H. Leung,
"The implementation of a multi-server distributed MPEG video system",
in
Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium
(RTAS 2001),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 111-113 (2001).
-
K.R.P.H. Leung,
W. Wong,
and
J.K.-Y. Ng,
"A test cases generating method using class vectors",
in
Proceedings of the 20th IASTED International Multi-Conference on Applied Informatics
(AI 2002),
ACTA Press,
Calgary,
Canada,
pp. 170-175 (2002).
-
J.K.-Y. Ng,
K.R.P.H. Leung,
W. Wong,
V.C.S. Lee,
and
C.K.C. Hui,
"A scheme on measuring MPEG video QoS with human perspective",
in
Proceedings of the 8th International Conference on Real-Time Computing Systems and Applications
(RTCSA 2002),
pp. 233-241 (2002).
-
B. Xu,
Y. Guan,
Z. Chen,
and
K.R.P.H. Leung,
"Parallel genetic algorithms with schema migration",
in
Proceedings of the 26th Annual International Computer Software and Applications Conference
(COMPSAC 2002),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 879-884 (2002).
-
H.K.N. Leung and
K.R.P.H. Leung,
"Domain-based COTS-product selection method",
in
Component-Based Software Quality: Methods and Techniques,
A. Cechich,
M. Piattini,
and
A. Vallecillo (eds.),
Lecture Notes in Computer Science,
vol. 2693,
Springer,
Berlin, Germany,
pp. 40-63 (2003).
-
K.R.P.H. Leung,
J.K.-Y. Ng,
T.K.T. Chan,
K.M.K. Chu,
and
C.H. Li,
"Network based mobile station positioning in metropolitan area",
in
Proceedings of the 9th International Euro-Par Conference
(Euro-Par 2003 Parallel Processing),
Springer,
Berlin, Germany,
pp. 1017-1026 (2003).
-
W.L. Yeung and
K.R.P.H. Leung,
"A synergistic interweaving of formal and informal methods",
in
Proceedings of the 27th Annual International Computer Software and Applications Conference
(COMPSAC 2003),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 257-262 (2003).
-
K.M.K. Chu,
K.R.P.H. Leung,
J.K.-Y. Ng,
and
C.H. Li,
"Locating mobile stations with statistical directional propagation model",
in
Proceedings of the 18th International Conference on Advanced Information Networking and Applications
(AINA 2004),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 230-235 (2004).
-
K.R.P.H. Leung,
"An experience of continuous development: formulating requirements concurrently with system implementation",
in
Proceedings of the IASTED International Conference on Software Engineering
(SE 2004),
ACTA Press,
Calgary,
Canada (2004).
-
K.R.P.H. Leung,
"Using hypergraph as modeling language for generating test cases on demand",
in
Proceedings of the 11th Asia-Pacific Software Engineering Conference
(APSEC 2004),
IEEE Computer Society,
Los Alamitos,
CA, pp. 519-526 (2004).
-
K.R.P.H. Leung,
J.K.-Y. Ng,
and
C.K.C. Hui,
"QoS-aware middleware for MPEG video streaming",
in
Middleware for Communications,
Chapter 14,
Q. Mahmoud (ed.),
Wiley,
New York, NY,
pp. 331-357 (2004).
-
K.R.P.H. Leung,
J.K.-Y. Ng,
and
W.L. Yeung,
"Embedded program testing in untestable mobile environment: an experience of trustworthiness approach",
in
Proceedings of the 11th Asia-Pacific Software Engineering Conference
(APSEC 2004),
IEEE Computer Society,
Los Alamitos,
CA, pp. 430-437 (2004).
-
W.H. Wong,
J.K.-Y. Ng,
and
K.R.P.H. Leung,
"Large-scale location estimation over GSM networks: the Gear approach",
in
Proceedings of the 24th IEEE International Conference on Distributed Computing Systems Workshops
(ICDCSW 2003),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 574-579 (2004).
-
P.-L. Poon,
D. Li,
and
Y.T. Yu,
"Internet financial reporting",
Information Systems Control Journal
1: 42-45 (2003).
-
P.-L. Poon and
Y.T. Yu,
"Procurement of enterprise resource planning systems: experiences with some Hong Kong companies",
Far East Experience Papers,
in
Proceedings of the 28th International Conference on Software Engineering
(ICSE 2006),
ACM,
New York, NY,
pp. 561-568 (2006).
-
Y.T. Yu and
P.-L. Poon,
"Designing activities for learning software quality practices",
in
Proceedings of the 5th International Conference on Quality Software
(QSIC 2005),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 333-338 (2005).
-
E.Y.K. Chan,
P.-L. Poon,
and
Y.T. Yu,
"On the testing of particular input conditions",
in
Proceedings of the 28th Annual International Computer Software and Applications Conference
(COMPSAC 2004),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 318-325 (2004).
-
Y.T. Yu and
P.-L. Poon,
"An approach for evaluating the quality of software developed by novice programmers",
in
Proceedings of the 4th World Multiconference on Systemics,
Cybernetics and Informatics
(SCI 2000)
and the 6th International Conference on Information Systems Analysis and Synthesis
(ISAS 2000),
vol. 2,
International Institute of Informatics and Systemics,
pp. 485-490 (2000).
-
T.H. Tse and
C.P. Cheng,
"NOODLE++: a 3-dimensional net-based object-oriented development model",
in
Methods Integration: Proceedings of the 2nd Methods Integration
Workshop,
A. Bryant and L. Semmens (eds.),
Electronic Workshops in Computing,
Springer,
London (1996).
-
T.H. Tse and
C.P. Cheng,
"Modelling and visualizing object-oriented systems: a NOODLE approach",
Meeting of IFIP Working Group WG 2.2 on Formal Description of
Programming Concepts,
A. Tarlecki (ed.) (1996).
-
T.H. Tse and
Z. Xu,
"A formal framework for improving object-oriented software testing",
The 13th International Conference on Testing Computer Software,
Washington,
DC (1996).
-
T.H. Tse and
Z. Xu,
"Test case generation for class-level object-oriented testing",
in
Quality Process Convergence: Proceedings of the 9th International Software Quality Week
(QW '96),
San Francisco,
CA,
pp. 4T4.1-12 (1996).
-
T.H. Tse,
"Integrating object-oriented and formal specifications: a FOOD approach",
in
Proceedings of the IT Congress '97,
Macau,
pp. 187-192 (1997).
-
T.Y. Chen,
P.-L. Poon,
and
T.H. Tse,
"A new restructuring algorithm for the classification-tree method",
in
Proceedings of the 9th International Workshop on Software Technology and
Engineering Practice
(STEP '99),
S. Tilley and J. Verner (eds.),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 105-114 (1999).
-
T.H. Tse,
"One system, two ideologies: integrating the two worlds of software engineering education",
in
Proceedings of the 23rd Annual International Computer Software
and Applications Conference
(COMPSAC '99),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 246-247 (1999).
-
T.Y. Chen,
W.H. Kwok,
and
T.H. Tse,
"Improving the effectiveness of the classification-tree methodology in software testing",
in
Proceedings of the 4th Annual IASTED International Conference on Software
Engineering and Applications
(SEA 2000),
ACTA Press,
Calgary,
Canada,
pp. 43-48
(2000).
-
T.H. Tse,
"Towards harmonized professional standards for software engineers: constraints, conflicts and concessions",
in
Proceedings of the 24th Annual International Computer Software and
Applications Conference
(COMPSAC 2000),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 346-347 (2000).
-
T.H. Tse and
T.Y. Chen,
"Message from the program co-chairs",
in
Proceedings of the 1st Asia-Pacific Conference on Quality Software
(APAQS 2000),
IEEE Computer Society, Los Alamitos, CA,
p. x (2000).
-
T.H. Tse,
T.Y. Chen,
and
X. Feng,
"On the completeness of test cases for atomic arithmetic expressions",
in
Proceedings of the 1st Asia-Pacific Conference on Quality Software
(APAQS 2000),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 149-155 (2000).
-
T.H. Tse,
T.Y. Chen,
and
Z.Q. Zhou,
"Testing of large number multiplication functions in cryptographic systems",
in
Proceedings of the 1st Asia-Pacific Conference on Quality Software
(APAQS 2000),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 89-98 (2000).
-
T.Y. Chen,
T.H. Tse,
and
Z.Q. Zhou,
"Fault-based testing in the absence of an oracle",
in
Proceedings of the 25th Annual International Computer Software and
Applications Conference
(COMPSAC 2001),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 172-178
(2001).
-
T.H. Tse,
"Program overview",
in
Proceedings of the 25th Annual International Computer Software and
Applications Conference
(COMPSAC 2001),
IEEE Computer Society, Los Alamitos, CA, p. xvii
(2001).
-
K.-Y. Cai,
T.Y. Chen,
and
T.H. Tse,
"Towards research on software cybernetics",
in
Proceedings of the 7th IEEE International Symposium on
High-Assurance Systems Engineering
(HASE 2002),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 240-241 (2002).
-
W.K. Chan,
T.Y. Chen,
and
T.H. Tse,
"An overview of integration testing techniques for object-oriented programs",
in
Proceedings of the 2nd ACIS Annual International Conference on
Computer and Information Science
(ICIS 2002),
International Association for Computer and Information Science,
Mt. Pleasant, MI,
pp. 696-701 (2002).
-
T.Y. Chen,
M.Y. Cheng,
P.-L. Poon,
T.H. Tse,
and
Y.T. Yu,
"A study on input domain partitioning",
in
Proceedings of the 20th IASTED International Multi-Conference on
Applied Informatics
(AI 2002),
ACTA Press,
Calgary,
Canada,
pp. 176-181 (2002).
-
T.Y. Chen,
J. Feng,
and
T.H. Tse,
"Metamorphic testing of programs on partial differential equations: a case study",
in
Proceedings of the 26th Annual International Computer Software
and Applications Conference
(COMPSAC 2002),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 327-333 (2002).
-
T.Y. Chen,
P.-L. Poon,
S.-F. Tang,
and
T.H. Tse,
"An experimental analysis of the identification of categories and choices from specifications",
in
Proceedings of the 3rd ACIS International
Conference on Software Engineering,
Artificial Intelligence,
Networking and Parallel/Distributed Computing
(SNPD 2002),
International Association for Computer and Information Science,
Mt. Pleasant, MI,
pp. 99-106 (2002).
-
T.Y. Chen,
P.-L. Poon,
S.-F. Tang,
T.H. Tse,
and
Y.T. Yu,
"Towards a problem-driven approach to perspective-based reading",
in
Proceedings of the 7th IEEE International Symposium on
High-Assurance Systems Engineering
(HASE 2002),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 221-229 (2002).
-
T.Y. Chen,
T.H. Tse,
and
Z.Q. Zhou,
"Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing",
in
Proceedings of the ACM SIGSOFT International Symposium on Software Testing
and Analysis
(ISSTA 2002),
ACM,
New York, NY,
pp. 191-195 (2002).
-
T.H. Tse,
"Software engineering professionalism: is the end of constraints and conflicts in sight?",
in
Proceedings of the 26th Annual International Computer Software
and Applications Conference
(COMPSAC 2002),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 347-348
(2002).
-
A. Cain,
T.Y. Chen,
D.D. Grant,
P.-L. Poon,
S.-F. Tang,
and
T.H. Tse,
"ADDICT: a prototype system for automated test data generation using the integrated classification-tree methodology",
in
Proceedings of the 1st ACIS International Conference on Software
Engineering Research and Applications
(SERA 2003),
International Association for Computer and Information Science,
Mt. Pleasant, MI,
pp. 76-81 (2003).
-
H.Y. Chen,
Y.X. Sun,
and
T.H. Tse,
"A scheme for dynamic detection of concurrent execution of object-oriented software",
in
Proceedings of the 2003 IEEE International Conference on
Systems,
Man,
and Cybernetics
(SMC 2003),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 1059-1063
(2003).
-
H.Y. Chen,
Y.X. Sun,
and
T.H. Tse,
"A strategy for selecting synchronization sequences to test concurrent
object-oriented software",
in
Proceedings of the 27th Annual International
Computer Software and Applications Conference
(COMPSAC 2003),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 198-203 (2003).
-
T.Y. Chen,
F.-C. Kuo,
T.H. Tse,
and
Z.Q. Zhou,
"Metamorphic testing and beyond",
in
Proceedings of the International Workshop on Software Technology
and Engineering Practice (STEP 2003),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 94-100 (2003).
-
A. Cain,
T.Y. Chen,
D.D. Grant,
P.-L. Poon,
S.-F. Tang,
and
T.H. Tse,
"An automatic test data generation system based on the integrated classification-tree methodology",
in
Software Engineering Research and Applications,
C.V. Ramamoorthy,
R.Y. Lee,
and
K.W. Lee (eds.),
Lecture Notes in Computer Science,
vol. 3026,
Springer,
Berlin, Germany,
pp. 225-238 (2004).
-
T.Y. Chen,
D.H. Huang,
T.H. Tse,
and
Z.Q. Zhou,
"Case studies on the selection of useful relations in metamorphic testing",
in
Proceedings of the 4th Ibero-American Symposium on Software
Engineering and Knowledge Engineering (JIISIC 2004),
Polytechnic University of Madrid,
Madrid, Spain,
pp. 569-583 (2004).
-
M.Y. Cheng,
S.C. Cheung,
and
T.H. Tse,
"Towards the application of classification techniques to test and identify faults in multimedia systems",
in
Proceedings of the 4th International Conference on Quality Software
(QSIC 2004),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 32-40 (2004).
-
C.-A. Sun,
K.Y. Sim,
T.H. Tse,
and
T.Y. Chen,
"An empirical evaluation and analysis of the fault-detection capability of MUMCUT for general Boolean expressions",
in
Proceedings of the International Computer Symposium
(ICS 2004),
Taipei, Taiwan, pp. 926-932 (2004).
-
T.H. Tse,
"Computing curriculum — software engineering: its impacts on professional software engineering education",
in
Proceedings of the 28th Annual International Computer Software
and Applications Conference
(COMPSAC 2004),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 176-177 (2004).
-
T.H. Tse,
S.S. Yau,
W.K. Chan,
H. Lu,
and
T.Y. Chen,
"Testing context-sensitive middleware-based software applications",
in
Proceedings of the 28th Annual International Computer Software
and Applications Conference
(COMPSAC 2004),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 458-465 (2004).
-
Z.Q. Zhou,
D.H. Huang,
T.H. Tse,
Z. Yang,
H. Huang,
and
T.Y. Chen,
"Metamorphic testing and its applications",
in
Proceedings of the 8th International Symposium on Future Software
Technology (ISFST 2004),
Software Engineers Association, Tokyo, Japan (2004).
-
F.T. Chan,
T.H. Tse,
W.H. Tang,
and
T.Y. Chen,
"Software testing education and training in Hong Kong",
the 1st International Workshop on Education and Training for Quality Software Engineering,
in
Proceedings of the 5th International Conference on Quality Software
(QSIC 2005),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 313-316 (2005).
-
W.K. Chan,
T.Y. Chen,
H. Lu,
T.H. Tse,
and
S.S. Yau,
"A metamorphic approach to integration testing of context-sensitive middleware-based applications",
in
Proceedings of the 5th International Conference on Quality Software
(QSIC 2005),
IEEE Computer Society, Los Alamitos, CA, pp. 241-249
(2005).
-
W.K. Chan,
S.C. Cheung,
and
T.H. Tse,
"Fault-based testing of database application programs with conceptual data model",
in
Proceedings of the 5th International Conference on Quality Software
(QSIC 2005),
IEEE Computer Society, Los Alamitos, CA, pp. 187-196
(2005).
-
T.Y. Chen,
P.-L. Poon,
S.-F. Tang,
and
T.H. Tse,
"Identification of categories and choices in activity diagrams",
in
Proceedings of the 5th International Conference on Quality Software
(QSIC 2005),
IEEE Computer Society, Los Alamitos, CA, pp. 55-63
(2005).
-
T.H. Tse,
"Message from the steering commitee chair",
in
Proceedings of the 5th International Conference on Quality Software
(QSIC 2005),
IEEE Computer Society, Los Alamitos, CA, p. x (2005).
-
T.H. Tse,
"Research directions in model-based metamorphic testing and verification",
Panel Position Paper,
in
Proceedings of the 29th Annual International Computer Software
and Applications Conference
(COMPSAC 2005),
vol. 1,
IEEE Computer Society,
Los Alamitos, CA, p. 332
(2005).
-
W.K. Chan,
S.C. Cheung,
J.C.F. Ho,
and
T.H. Tse,
"Reference models and automatic oracles for the testing of mesh simplification software for graphics rendering",
in
Proceedings of the 30th Annual International Computer Software and
Applications Conference
(COMPSAC 2006),
vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 429-438 (2006).
-
P. Hu,
Z. Zhang,
W.K. Chan,
and
T.H. Tse,
"An empirical comparison between direct and indirect test result
checking approaches",
in
Proceedings of the Third International Workshop on Software Quality
Assurance
(SOQUA 2006)
(in conjunction with the 14th ACM SIGSOFT International Symposium on
Foundations of Software Engineering
(SIGSOFT 2006/FSE-14)),
ACM, New York, NY, pp. 6-13 (2006).
-
H. Lu,
W.K. Chan,
and
T.H. Tse,
"Static slicing for pervasive programs",
in
Proceedings of the 6th International Conference on Quality Software
(QSIC 2006),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 185-192 (2006).
-
H. Lu,
W.K. Chan,
and
T.H. Tse,
"Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation",
in
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering
(SIGSOFT 2006/FSE-14),
ACM,
New York, NY, pp. 242-252 (2006).
-
W.K. Chan,
J.C.F. Ho,
and
T.H. Tse,
"Piping classification to metamorphic testing: an empirical study
towards better effectiveness for the identification of failures in
mesh simplification programs",
in
Proceedings of the 31st Annual International Computer Software and
Applications Conference (COMPSAC 2007),
vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 397-404 (2007).
-
W.K. Chan,
T.Y. Chen,
S.C. Cheung,
T.H. Tse,
and
Z. Zhang,
"Towards the testing of power-aware software applications for wireless
sensor networks",
in
Proceedings of the 12th International Conference on Reliable Software
Technologies (Ada-Europe 2007),
Lecture Notes in Computer Science,
vol. 4498,
Springer, Berlin, Germany, pp. 84-99 (2007).
-
H.Y. Chen,
C. Li,
and
T.H. Tse,
"Transformation of UML interaction diagrams into contract specifications
for object-oriented testing",
in
Proceedings of the 2007 IEEE International Conference on Systems,
Man, and Cybernetics
(SMC 2007),
IEEE Computer Society,
Los Alamitos, CA, pp. 1298-1303 (2007).
-
T.Y. Chen,
D.H. Huang,
T.H. Tse,
and
Z. Yang,
"An innovative approach to tackling the boundary effect in adaptive
random testing",
in
Proceedings of the 40th Annual Hawaii International Conference
on System Sciences (HICSS-40),
IEEE Computer Society, Los Alamitos, CA
(2007).
-
X. Feng,
D.L. Parnas,
and
T.H. Tse,
"Tabular expression-based testing strategies: a comparison",
in
Proceedings of the Testing — Academic and Industrial Conference —
Practice And Research Techniques
(TAIC PART 2007),
IEEE Computer Society, Los Alamitos, CA, p. 134 (2007).
-
Z. Zhang,
W.K. Chan,
and
T.H. Tse,
"Synthesizing component-based WSN applications via automatic combination
of code optimization techniques",
in
Proceedings of the 7th International Conference on Quality Software
(QSIC 2007),
IEEE Computer Society, Los Alamitos, CA, pp. 181-190 (2007).
-
H.Y. Chen,
L. Tan,
and
T.H. Tse,
"A scheme to aid construction of left-hand sides of axioms in algebraic
specifications for object-oriented program testing",
in
Proceedings of the 2008 International Conference on Computer Science
and Software Engineering (CSSE 2008),
vol. 2,
IEEE Computer Society, Los Alamitos, CA, pp. 747-750 (2008).
-
X. Feng, D.L. Parnas,
and
T.H. Tse,
"Fault propagation in tabular expression-based specifications",
in
Proceedings of the 32nd Annual International Computer Software and
Applications Conference
(COMPSAC 2008),
IEEE Computer Society, Los Alamitos, CA, pp. 180-183 (2008).
-
P. Hu, Z. Zhang,
W.K. Chan,
and
T.H. Tse,
"Fault localization with non-parametric program behavior model",
in
Proceedings of the 8th International Conference on Quality Software
(QSIC 2008),
IEEE Computer Society, Los Alamitos, CA, pp. 385-395 (2008).
-
H. Lu,
W.K. Chan,
and
T.H. Tse,
"Testing pervasive software in the presence of context inconsistency
resolution services",
Proceedings of the 30th International Conference on Software Engineering
(ICSE 2008),
ACM, New York, NY, pp. 61-70 (2008).
-
L. Mei,
W.K. Chan,
and
T.H. Tse,
"A tale of clouds: paradigm comparisons and some thoughts on research issues",
in
Proceedings of the 2008 IEEE Asia-Pacific Services Computing Conference
(APSCC 2008),
IEEE Computer Society, Los Alamitos, CA, pp. 464-469 (2008).
-
L. Mei,
W.K. Chan,
and
T.H. Tse,
"An adaptive service selection approach to service composition",
in
Proceedings of the IEEE International Conference on Web Services
(ICWS 2008),
IEEE Computer Society, Los Alamitos, CA, pp. 70-77 (2008).
-
L. Mei,
W.K. Chan,
and
T.H. Tse,
"Data flow testing of service-oriented workflow applications",
in
Proceedings of the 30th International Conference on Software Engineering
(ICSE 2008),
ACM, New York, NY, pp. 371-380 (2008).
-
L. Mei,
W.K. Chan,
and
T.H. Tse,
"Toward scalable statistical service selection",
in
Proceedings of the IEEE International Symposium on Service-Oriented
System Engineering (SOSE 2008),
IEEE Computer Society, Los Alamitos, CA, pp. 166-171 (2008).
-
Y.X. Sun,
H.Y. Chen,
and
T.H. Tse,
"Lean implementations of software testing tools using XML representations
of source codes",
in
Proceedings of the 2008 International Conference on Computer Science
and Software Engineering (CSSE 2008),
vol. 2,
IEEE Computer Society, Los Alamitos, CA,
pp. 708-711 (2008).
-
Z. Zhang, B. Jiang,
W.K. Chan,
and
T.H. Tse,
"Debugging through evaluation sequences: a controlled experimental study",
in
Proceedings of the 32nd Annual International Computer Software and
Applications Conference (COMPSAC 2008),
IEEE Computer Society, Los Alamitos, CA, pp. 128-135 (2008).
-
H.Y. Chen and
T.H. Tse,
"Automatic generation of normal forms for testing object-oriented software",
in
Proceedings of the 9th International Conference on Quality Software
(QSIC 2009),
IEEE Computer Society, Los Alamitos, CA, pp. 108-116 (2009).
-
B. Jiang, Z. Zhang,
W.K. Chan,
and
T.H. Tse,
"Adaptive random test case prioritization",
in
Proceedings of the 24th IEEE/ACM
International Conference on Automated Software Engineering
(ASE 2009),
IEEE Computer Society, Los Alamitos, CA, pp. 233-244 (2009).
-
L. Mei,
W.K. Chan,
T.H. Tse,
and
R.G. Merkel,
"Tag-based techniques for black-box test case prioritization for
service testing",
in
Proceedings of the 9th International Conference on Quality Software
(QSIC 2009),
IEEE Computer Society, Los Alamitos, CA, pp. 21-30 (2009).
-
B. Jiang,
W.K. Chan,
Z. Zhang,
and
T.H. Tse,
"Where to adapt dynamic service compositions",
in
Proceedings of the 18th International Conference on World Wide Web
(WWW 2009),
ACM, New York, NY, pp. 1123-1124 (2009).
-
L. Mei, Z. Zhang,
W.K. Chan,
and
T.H. Tse,
"Test case prioritization for regression testing of service-oriented
business applications",
in
Proceedings of the 18th International Conference on World Wide Web
(WWW 2009),
ACM, New York, NY, pp. 901-910 (2009).
-
B. Jiang, Z. Zhang,
T.H. Tse,
and
T.Y. Chen,
"How well do test case prioritization techniques support statistical
fault localization",
in
Proceedings of the 33rd Annual International Computer Software and
Applications Conference
(COMPSAC 2009),
vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 99-106 (2009).
-
L. Mei,
W.K. Chan,
T.H. Tse,
and
F.-C. Kuo,
"An empirical study of the use of Frankl-Weyuker data flow testing
criteria to test BPEL Web services",
in
Proceedings of the 33rd Annual International Computer Software and
Applications Conference
(COMPSAC 2009),
vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 81-88 (2009).
-
T.H. Tse,
"Position statement: conventional wisdom works in conventional circumstances:
towards new solutions to new paradigms that challenge software testing",
in
Proceedings of the 33rd Annual International Computer Software and
Applications Conference
(COMPSAC 2009),
IEEE Computer Society, Los Alamitos, CA, pp. 1iv-1v (2009).
-
L. Mei,
W.K. Chan,
and
T.H. Tse,
"Data flow testing of service choreography",
in
Proceedings of the 7th Joint Meeting of the European Software
Engineering Conference and the ACM SIGSOFT International Symposium
on Foundation of Software Engineering
(ESEC 2009/FSE-17),
ACM, New York, NY, pp. 151-160 (2009).
-
Z. Zhang,
W.K. Chan,
T.H. Tse,
B. Jiang,
and
X. Wang,
"Capturing propagation of infected program states",
in
Proceedings of the 7th Joint Meeting of the European Software
Engineering Conference and the ACM SIGSOFT International Symposium
on Foundation of Software Engineering
(ESEC 2009/FSE-17),
ACM, New York, NY, pp. 43-52 (2009).
-
B. Jiang,
T.H. Tse,
W. Grieskamp,
N. Kicillof,
Y. Cao,
and X. Li,
"Regression testing process improvement for specification
evolution of real-world protocol software",
in
Proceedings of the 10th International Conference on Quality Software
(QSIC 2010),
IEEE Computer Society, Los Alamitos, CA, pp. 62-71 (2010).
-
E.Y.Y. Kan,
W.K. Chan,
and
T.H. Tse,
"Leveraging performance and power savings for embedded systems
using multiple target deadlines",
The 1st International Workshop on Embedded System Software Development
and Quality Assurance (WESQA 2010),
in
Proceedings of the 10th International Conference on Quality Software
(QSIC 2010),
IEEE Computer Society, Los Alamitos, CA, pp. 473-480 (2010).
-
H. Wang,
K. Zhai,
and
T.H. Tse,
"Correlating context-awareness and
mutation analysis for pervasive computing systems",
in
Proceedings of the 10th International Conference on Quality Software
(QSIC 2010),
IEEE Computer Society, Los Alamitos, CA, pp. 151-160 (2010).
-
T.H. Tse,
C.C. Ko, J. Leung, and R. Liang,
"I phone, therefore I can:
the use of iPhones as augmentative and alternative communication devices
to facilitate social inclusion of people with autism spectrum disorders", in
Proceedings of the 2010 Joint World Conference on Social Work and Social
Development: The Agenda,
Hong Kong (2010).
-
Q. Wang,
T.H. Tse,
and Z. Zhang,
"Message from the workshop chairs of
the first International Workshop on Program Debugging in China
(IWPDC 2010)"
in
Proceedings of the 10th International Conference on Quality Software
(QSIC 2010),
IEEE Computer Society, Los Alamitos, CA, p. xix (2010).
-
K. Zhai, B. Jiang,
W.K. Chan,
and
T.H. Tse,
"Taking advantage of service selection: A study on the testing of
location-based web services through test case prioritization",
in
Proceedings of the IEEE International Conference on Web Services
(ICWS 2010),
IEEE Computer Society, Los Alamitos, CA, pp. 211-218 (2010).
-
B. Jiang,
W.K. Chan,
and
T.H. Tse,
"On practical adequate test suites for integrated test case
prioritization and fault localization", in
Proceedings of the 11th International Conference on Quality Software
(QSIC 2011),
IEEE Computer Society, Los Alamitos, CA, pp. 21-30 (2011).
-
J.H. Park, S.-M. Hwang,
T.H. Tse,
S.-S. Yeo, S.I. Ahamed, and X. Bai,
"Message from the ICASE 2011 organizers", in
Proceedings of the IEEE 9th International Symposium on Parallel and
Distributed Processing with Applications Workshops
(ISPAW 2011),
IEEE Computer Society, Los Alamitos, CA, p. xxxv (2011).
-
W.E. Wong and
T.H. Tse,
"Message from the workshop organizers, the second IEEE international
workshop on program debugging (IWPD 2011)", in
Proceedings of the 35th Annual International Computer Software and
Applications Conference Workshops
(COMPSACW 2011),
IEEE Computer Society, Los Alamitos, CA, pp. xlviii (2011).
-
J. Xu,
W.K. Chan,
Z. Zhang, and
T.H. Tse,
"A dynamic fault localization technique with noise reduction for
Java programs", in
Proceedings of the 11th International Conference on Quality Software
(QSIC 2011),
IEEE Computer Society, Los Alamitos, CA, pp. 11-20 (2011).
-
Z. Zhang, B. Jiang,
W.K. Chan,
and
T.H. Tse,
"Precise propagation of fault-failure correlations in program flow graphs", in
Proceedings of the 35th Annual International Computer Software and
Applications Conference
(COMPSAC 2011),
IEEE Computer Society, Los Alamitos, CA, pp. 58-67 (2011).
-
L. Mei, K. Zhai, B. Jiang,
W.K. Chan,
and
T.H. Tse,
"Preemptive regression test scheduling strategies: a new testing
approach to thriving on the volatile service environments", in
Proceedings of the 36th Annual International Computer Software and
Applications Conference
(COMPSAC 2012),
IEEE Computer Society, Los Alamitos, CA (2012).
-
P.-L. Poon,
T.Y. Chen,
and
T.H. Tse,
"Choices, choices: comparing between CHOC'LATE and the
classification-tree methodology", in
Reliable Software Technologies: Ada-Europe 2012,
M. Brorsson and L.M. Pinho (eds.),
Lecture Notes in Computer Science,
Springer, Berlin, Germany (2012).
-
K. Zhai, B. Xu,
W.K. Chan,
and
T.H. Tse,
"CARISMA: A context-sensitive approach to race-condition sample-instance
selection for multithreaded applications", in
Proceedings of the 2012
International Symposium on Software Testing and Analysis
(ISSTA 2012),
ACM, New York, NY (2012).
-
Y.T. Yu and
B.C. Chiu,
"Empowering secondary school teachers to effectively exploit Internet resources for the enhancement of teaching and learning",
in
Proceedings of the International Conference on Computers in Education and the International Conference on Computer Assisted Instruction
(ICCE/ICCAI 2000),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 840-848 (2000).
-
M.F. Lau and
Y.T. Yu,
"On the relationships of faults for Boolean specification based testing",
in
Proceedings of the 2001 Australian Software Engineering Conference
(ASWEC 200),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 21-28 (2001).
-
B.C. Chiu and
Y.T. Yu,
"Promoting the use of information technology in education via lightweight authoring tools",
in
Proceedings of the International Conference on Computers in Education
(ICCE 2002),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 501-505 (2002).
-
Y.T. Yu and
M.F. Lau,
"Prioritization of test cases in MUMCUT test sets: an empirical study",
in
Proceedings of the 7th International Conference on Reliable Software Technologies
(Ada-Europe 2002),
Lecture Notes in Computer Science,
vol. 2361,
Springer,
Berlin, Germany,
pp. 245-256 (2002).
-
Y.T. Yu,
"Information technology support to the promotion of reading: towards building a school-based reading sharing community",
in
Proceedings of the International Conference on Computers in Education
(ICCE 2004),
IEEE Computer Society,
Los Alamitos,
CA,
pp. 499-508 (2004).
-
M.F. Lau,
Y. Liu,
and
Y.T. Yu,
"On detection conditions of double faults related to terms in Boolean expressions",
in
Proceedings of the 30th Annual International Computer Software and Applications Conference
(COMPSAC 2006),
IEEE Computer Society,
Los Alamitos,
CA, pp. 403-410 (2006).
|
|