2009 |
71 | EE | Bo Jiang,
W. K. Chan,
Zhenyu Zhang,
T. H. Tse:
Where to adapt dynamic service compositions.
WWW 2009: 1123-1124 |
70 | EE | Lijun Mei,
Zhenyu Zhang,
W. K. Chan,
T. H. Tse:
Test case prioritization for regression testing of service-oriented business applications.
WWW 2009: 901-910 |
2008 |
69 | EE | Zhenyu Zhang,
Bo Jiang,
W. K. Chan,
T. H. Tse:
Debugging through Evaluation Sequences: A Controlled Experimental Study.
COMPSAC 2008: 128-135 |
68 | EE | Xin Feng,
David Lorge Parnas,
T. H. Tse:
Fault Propagation in Tabular Expression-Based Specifications.
COMPSAC 2008: 180-183 |
67 | EE | Yu Xia Sun,
Huo Yan Chen,
T. H. Tse:
Lean Implementations of Software Testing Tools Using XML Representations of Source Codes.
CSSE (2) 2008: 708-711 |
66 | EE | Huo Yan Chen,
Lin Tan,
T. H. Tse:
A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing.
CSSE (2) 2008: 747-750 |
65 | EE | Lijun Mei,
W. K. Chan,
T. H. Tse:
Data flow testing of service-oriented workflow applications.
ICSE 2008: 371-380 |
64 | EE | Heng Lu,
W. K. Chan,
T. H. Tse:
Testing pervasive software in the presence of context inconsistency resolution services.
ICSE 2008: 61-70 |
63 | EE | Lijun Mei,
Wing Kwon Chan,
T. H. Tse:
An Adaptive Service Selection Approach to Service Composition.
ICWS 2008: 70-77 |
62 | EE | Peifeng Hu,
Zhenyu Zhang,
Wing Kwon Chan,
T. H. Tse:
Fault Localization with Non-parametric Program Behavior Model.
QSIC 2008: 385-395 |
61 | EE | T. H. Tse,
W. Eric Wong:
Editorial.
Journal of Systems and Software 81(2): 159-160 (2008) |
60 | EE | W. Eric Wong,
T. H. Tse,
Robert L. Glass,
Victor R. Basili,
Tsong Yueh Chen:
An assessment of systems and software engineering scholars and institutions (2001-2005).
Journal of Systems and Software 81(6): 1059-1062 (2008) |
2007 |
59 | EE | W. K. Chan,
Tsong Yueh Chen,
S. C. Cheung,
T. H. Tse,
Zhenyu Zhang:
Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks.
Ada-Europe 2007: 84-99 |
58 | EE | W. K. Chan,
Jeffrey C. F. Ho,
T. H. Tse:
Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures in Mesh Simplification Programs.
COMPSAC (1) 2007: 397-404 |
57 | EE | Tsong Yueh Chen,
De Hao Huang,
T. H. Tse,
Zongyuan Yang:
An Innovative Approach to Tackling the Boundary Effect in Adaptive Random Testing.
HICSS 2007: 262 |
56 | EE | Zhenyu Zhang,
W. K. Chan,
T. H. Tse:
Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization Techniques.
QSIC 2007: 181-190 |
55 | EE | Huo Yan Chen,
Chuang Li,
T. H. Tse:
Transformation of UML interaction diagrams into contract specifications for object-oriented testing.
SMC 2007: 1298-1303 |
54 | EE | T. H. Tse,
Francis C. M. Lau,
W. K. Chan,
Peter C. K. Liu,
Colin K. F. Luk:
Testing object-oriented industrial software without precise oracles or results.
Commun. ACM 50(8): 78-85 (2007) |
53 | EE | Hong Mei,
T. H. Tse:
Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering 17(6): 687-688 (2007) |
2006 |
52 | EE | W. K. Chan,
S. C. Cheung,
Jeffrey C. F. Ho,
T. H. Tse:
Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering.
COMPSAC (1) 2006: 429-438 |
51 | EE | Heng Lu,
W. K. Chan,
T. H. Tse:
Static Slicing for Pervasive Programs.
QSIC 2006: 185-192 |
50 | EE | Heng Lu,
W. K. Chan,
T. H. Tse:
Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation.
SIGSOFT FSE 2006: 242-252 |
49 | EE | Peifeng Hu,
Zhenyu Zhang,
W. K. Chan,
T. H. Tse:
An empirical comparison between direct and indirect test result checking approaches.
SOQUA 2006: 6-13 |
48 | EE | Kai-Yuan Cai,
Atsushi Ohnishi,
T. H. Tse:
Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering 16(5): 653-654 (2006) |
47 | EE | W. K. Chan,
Tsong Yueh Chen,
Heng Lu,
T. H. Tse,
Stephen S. Yau:
Integration Testing of Context-sensitive Middleware-based Applications: a Metamorphic Approach.
International Journal of Software Engineering and Knowledge Engineering 16(5): 677-704 (2006) |
46 | EE | Hans-Dieter Ehrich,
Klaus-Dieter Schewe,
T. H. Tse:
Editorial.
Journal of Systems and Software 79(5): 575-576 (2006) |
45 | EE | W. K. Chan,
M. Y. Cheng,
S. C. Cheung,
T. H. Tse:
Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study.
Journal of Systems and Software 79(5): 602-612 (2006) |
44 | EE | T. H. Tse,
T. Y. Chen,
Robert L. Glass:
An assessment of systems and software engineering scholars and institutions (2000-2004).
Journal of Systems and Software 79(6): 816-819 (2006) |
2005 |
43 | EE | T. H. Tse:
Research Directions on Model-Based Metamorphic Testing and Verification.
COMPSAC (1) 2005: 332 |
42 | EE | W. K. Chan,
S. C. Cheung,
T. H. Tse:
Fault-Based Testing of Database Application Programs with Conceptual Data Model.
QSIC 2005: 187-196 |
41 | EE | Tsong Yueh Chen,
Sau-Fun Tang,
Pak-Lok Poon,
T. H. Tse:
Identification of Categories and Choices in Activity Diagrams.
QSIC 2005: 55-63 |
2004 |
40 | EE | T. H. Tse:
Computing Curriculum - Software Engineering: Its Impact on Professional Software Engineering Education.
COMPSAC 2004: 176-177 |
39 | EE | T. H. Tse,
Stephen S. Yau,
W. K. Chan,
Heng Lu,
Tsong Yueh Chen:
Testing Context-Sensitive Middleware-Based Software Applications.
COMPSAC 2004: 458-466 |
38 | EE | M. Y. Cheng,
S. C. Cheung,
T. H. Tse:
Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems.
QSIC 2004: 32-40 |
37 | EE | Tsong Yueh Chen,
Pak-Lok Poon,
Sau-Fun Tang,
T. H. Tse:
On the identification of categories and choices for specification-based test case generation.
Information & Software Technology 46(13): 887-898 (2004) |
36 | | Huimin Lin,
Hans-Dieter Ehrich,
T. H. Tse:
Editorial.
Information & Software Technology 46(15): 987-988 (2004) |
2003 |
35 | EE | Huo Yan Chen,
Yu Xia Sun,
T. H. Tse:
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software.
COMPSAC 2003: 198- |
34 | EE | Tsong Yueh Chen,
Fei-Ching Kuo,
T. H. Tse,
Zhiquan Zhou:
Metamorphic Testing and Beyond.
STEP 2003: 94-100 |
33 | EE | Tsong Yueh Chen,
Pak-Lok Poon,
T. H. Tse:
A Choice Relation Framework for Supporting Category-Partition Test Case Generation.
IEEE Trans. Software Eng. 29(7): 577-593 (2003) |
32 | | Tsong Yueh Chen,
T. H. Tse,
Zhiquan Zhou:
Fault-based testing without the need of oracles.
Information & Software Technology 45(1): 1-9 (2003) |
2002 |
31 | EE | Tsong Yueh Chen,
Jianqiang Feng,
T. H. Tse:
Metamorphic Testing of Programs on Partial Differential Equations: A Case Study.
COMPSAC 2002: 327-333 |
30 | EE | Tsong Yueh Chen,
Pak-Lok Poon,
Sau-Fun Tang,
T. H. Tse,
Yuen-Tak Yu:
Towards a Problem-Driven Approach to Perspective-Based Reading.
HASE 2002: 221-229 |
29 | EE | Kai-Yuan Cai,
T. Y. Chen,
T. H. Tse:
Towards Research on Software Cybernetics.
HASE 2002: 240-242 |
28 | EE | Tsong Yueh Chen,
T. H. Tse,
Zhiquan Zhou:
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing.
ISSTA 2002: 191-195 |
27 | | Tsong Yueh Chen,
Pak-Lok Poon,
T. H. Tse:
Classification-tree restructuring methodologies: a new perspective.
IEE Proceedings - Software 149(2): 65-74 (2002) |
26 | | Tsong Yueh Chen,
T. H. Tse,
Yuen-Tak Yu:
Special Issue for the Second Asia-Pacific Conference on Quality Software.
Information & Software Technology 44(14): 839-840 (2002) |
2001 |
25 | EE | T. Y. Chen,
T. H. Tse,
Zhiquan Zhou:
Fault-Based Testing in the Absence of an Oracle.
COMPSAC 2001: 172- |
24 | EE | Huo Yan Chen,
T. H. Tse,
Tsong Yueh Chen:
TACCLE: a methodology for object-oriented software testing at the class and cluster levels.
ACM Trans. Softw. Eng. Methodol. 10(1): 56-109 (2001) |
23 | | T. H. Tse:
Quality Software - Guest Editor's Introduction.
International Journal of Software Engineering and Knowledge Engineering 11(2): 109-112 (2001) |
22 | EE | Tsong Yueh Chen,
T. H. Tse,
Yuen-Tak Yu:
Proportional sampling strategy: a compendium and some insights.
Journal of Systems and Software 58(1): 65-81 (2001) |
2000 |
21 | EE | T. H. Tse,
X. Feng,
T. Y. Chen:
On the Completeness of Test Cases for Atomic Arithmetic Expressions.
APAQS 2000: 149-155 |
20 | EE | T. H. Tse,
Zhiquan Zhou,
T. Y. Chen:
Testing of Large Number Multiplication Functions in Cryptographic Systems.
APAQS 2000: 89-98 |
19 | EE | T. H. Tse:
Towards Harmonized Professional Standards for Software Engineers: Constraints, Conflicts, and Concessions.
COMPSAC 2000: 346- |
18 | | Hing Leung,
T. H. Tse,
F. T. Chan,
Tsong Yueh Chen:
Test case selection with and without replacement.
Inf. Sci. 129(1-4): 81-103 (2000) |
17 | | Huo Yan Chen,
T. H. Tse,
Yue Tang Deng:
ROCS: an object-oriented class-level testing system based on the Relevant Observable ContextS technique.
Information & Software Technology 42(10): 677-686 (2000) |
1999 |
16 | EE | T. H. Tse:
One System, Two Ideologies: Integrating the Two Worlds of Software Engineering Education.
COMPSAC 1999: 246- |
1998 |
15 | EE | Huo Yan Chen,
T. H. Tse,
F. T. Chan,
Tsong Yueh Chen:
In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs.
ACM Trans. Softw. Eng. Methodol. 7(3): 250-295 (1998) |
1997 |
14 | EE | F. T. Chan,
T. Y. Chen,
T. H. Tse:
On the effectiveness of test case allocation schemes in partition testing.
Information & Software Technology 39(10): 719-726 (1997) |
1994 |
13 | | T. H. Tse,
F. T. Chan,
H. Y. Chen:
An Axiom-based Test Case Selection Strategy for Object-oriented Programs.
Software Quality and Productivity 1994: 107-114 |
12 | | T. H. Tse,
Tsong Yueh Chen,
F. T. Chan,
Huo Yan Chen,
H. L. Xie:
The Application of Prolog to Structured Design.
Softw., Pract. Exper. 24(7): 659-676 (1994) |
1993 |
11 | | T. H. Tse:
Formal or Informal, Practical or Impractical: Towards Integrating Formal Methods with Informal Practices in Software Engineering Education.
Software Engineering Education 1993: 189-197 |
1991 |
10 | | T. H. Tse,
L. Pong:
An Examination of Requirements Specification Languages.
Comput. J. 34(2): 143-152 (1991) |
1989 |
9 | | T. H. Tse,
L. Pong:
Towards a Formal Foundation for DeMarco Data Flow Diagrams.
Comput. J. 32(1): 1-12 (1989) |
1987 |
8 | | T. H. Tse:
Integrating the Structured Analysis and Design Models: a Category-Theoretic Approach.
Australian Computer Journal 19(1): 25-31 (1987) |
7 | | T. H. Tse:
Towards a Single Criterion for Identifying Program Unstructuredness.
Comput. J. 30(4): 378-380 (1987) |
6 | | T. H. Tse:
The Identification of Program Unstructuredness: A Formal Approach.
Comput. J. 30(6): 507-511 (1987) |
5 | | T. H. Tse:
On the Detection of Unstructuredness in Flowgraphs.
Inf. Process. Lett. 25(3): 189-193 (1987) |
1986 |
4 | | T. H. Tse:
Integrating the Structured Analysis and Design Models: an Initial Algebra Approach.
Australian Computer Journal 18(3): 121-127 (1986) |
3 | EE | T. H. Tse:
Towards a Unified Algebraic View of Structured Systems Development Models.
DATA BASE 17(4): 48 (1986) |
1985 |
2 | | T. H. Tse:
An Automation of Jackson's Structured Programming.
Australian Computer Journal 17(4): 154-162 (1985) |
1982 |
1 | | T. H. Tse,
L. Pong:
A Review of System Development Systems.
Australian Computer Journal 14(3): 99-109 (1982) |