T. H. Tse

151 papers A* 5A 5B 16C 3Misc 2Journal 77Unranked 43
YearRankTypeTitle / Venue / Authors
2023 B conf
Detecting Hidden Failures of DBMS: A Comprehensive Metamorphic Relation Output Patterns Approach.
COMPSAC
Matthew Siu-Hin Tang, T. H. Tse, Zhi Quan Zhou
2023 — conf
Message from the Chairs QRS 2023.
QRS Companion
W. Eric Wong, T. H. Tse, Suphamit Chittayasothorn, He Jiang
2022 — conf
A Disjoint-Partitioning Approach to Enhancing Metamorphic Testing of DBMS.
ISSRE Workshops
Matthew Siu-Hin Tang, T. H. Tse, Zhi Quan Zhou
2021 J jnl
Beating Random Test Case Prioritization.
IEEE Trans. Reliab.
Zhi Quan Zhou, Chen Liu, Tsong Yueh Chen, T. H. Tse, Willy Susilo
2021 J jnl
Guest Editorial: A Retrospective of Special Sections on Software Testing and Program Analysis.
IEEE Trans. Reliab.
T. H. Tse, Yves Le Traon, Zhenyu Chen
2021 J jnl
Metamorphic Robustness Testing: Exposing Hidden Defects in Citation Statistics and Journal Impact Factors.
IEEE Trans. Software Eng.
Zhi Quan Zhou, T. H. Tse, Matt Witheridge
2021 — conf
New visions on metamorphic testing after a quarter of a century of inception.
ESEC/SIGSOFT FSE
Tsong Yueh Chen, T. H. Tse
2020 B conf
CUDAsmith: A Fuzzer for CUDA Compilers.
COMPSAC
Bo Jiang, Xiaoyan Wang, Wing Kwong Chan, T. H. Tse, Na Li, Yongfeng Yin, Zhenyu Zhang
2020 J jnl
Exploiting the Largest Available Zone: A Proactive Approach to Adaptive Random Testing by Exclusion.
IEEE Access
Jinfu Chen, Qihao Bao, T. H. Tse, Tsong Yueh Chen, Jiaxiang Xi, Chengying Mao, Minjie Yu, Rubing Huang
2020 — conf
Metamorphic Robustness Testing of Google Translate.
ICSE (Workshops)
Dickson T. S. Lee, Zhi Quan Zhou, T. H. Tse
2020 C conf
PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing.
QRS
Zijie Li, Long Zhang, Jun Yan, Jian Zhang, Zhenyu Zhang, T. H. Tse
2019 J jnl
KDFC-ART: a KD-tree approach to enhancing Fixed-size-Candidate-set Adaptive Random Testing.
IEEE Trans. Reliab.
Chengying Mao, Xuzheng Zhan, T. H. Tse, Tsong Yueh Chen
2019 J jnl
Toward a K-means clustering approach to adaptive random testing for object-oriented software.
Sci. China Inf. Sci.
Jinfu Chen, Minmin Zhou, T. H. Tse, Tsong Yueh Chen, Yuchi Guo, Rubing Huang, Chengying Mao
2018 J jnl
Introduction to the special issue on program debugging.
J. Syst. Softw.
Xiaoyuan Xie, Markus Stumptner, T. H. Tse
2018 J jnl
Introduction to the special issue on test oracles.
J. Syst. Softw.
Zhi Quan Zhou, Dave Towey, Pak-Lok Poon, T. H. Tse
2018 J jnl
Metamorphic Testing: A Review of Challenges and Opportunities.
ACM Comput. Surv.
Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Pak-Lok Poon, Dave Towey, T. H. Tse, Zhi Quan Zhou
2018 — conf
The Impact of Lightweight Disassembler on Malware Detection: An Empirical Study.
COMPSAC (1)
Donghong Zhang, Zhenyu Zhang, Bo Jiang, T. H. Tse
2016 J jnl
5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing.
J. Syst. Softw.
Changjiang Jia, Yan Cai, Yuen-Tak Yu, T. H. Tse
2015 J jnl
A Subsumption Hierarchy of Test Case Prioritization for Composite Services.
IEEE Trans. Serv. Comput.
Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, Wing Kwong Chan, Zhenyu Zhang, T. H. Tse
2015 J jnl
Connecting the Average and the Non-Average: A Study of the Rates of Fault Detection in Testing WS-BPEL Services.
Int. J. Web Serv. Res.
Changjiang Jia, Lijun Mei, Wing Kwong Chan, Yuen-Tak Yu, T. H. Tse
2015 J jnl
Focus section on quality software.
Softw. Pract. Exp.
T. H. Tse, Arnaud Gotlieb, Zhenyu Chen
2015 C conf
PORA: Proportion-Oriented Randomized Algorithm for Test Case Prioritization.
QRS
Bo Jiang, Wing Kwong Chan, T. H. Tse
2015 J jnl
Preemptive Regression Testingof Workflow-Based Web Services.
IEEE Trans. Serv. Comput.
Lijun Mei, Wing Kwong Chan, T. H. Tse, Bo Jiang, Ke Zhai
2015 — conf
Slope-Based Sequencing Yardstick for Analyzing Unsatisfactory Performance of Multithreaded Programs.
COMPSAC (Stephen S. Yau Academic Symposium)
W. K. Chan, T. H. Tse, Shangru Wu, Yuen-Tak Yu, Zhenyu Zhang
2014 B conf
CrowdAdaptor: A Crowd Sourcing Approach toward Adaptive Energy-Efficient Configurations of Virtual Machines Hosting Mobile Applications.
COMPSAC
Edward Y. Y. Kan, Wing Kwong Chan, T. H. Tse
2014 J jnl
Improving the Effectiveness of Testing Pervasive Software via Context Diversity.
ACM Trans. Auton. Adapt. Syst.
Huai Wang, W. K. Chan, T. H. Tse
2014 A conf
Is XML-Based Test Case Prioritization for Validating WS-BPEL Evolution Effective in Both Average and Adverse Scenarios?
ICWS
Changjiang Jia, Lijun Mei, Wing Kwong Chan, Yuen-Tak Yu, T. H. Tse
2013 J jnl
A general noise-reduction framework for fault localization of Java programs.
Inf. Softw. Technol.
Jian Xu, Zhenyu Zhang, W. K. Chan, T. H. Tse, Shanping Li
2013 J jnl
Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software.
IEEE Trans. Software Eng.
Huo Yan Chen, T. H. Tse
2013 J jnl
Focus section on program debugging.
Softw. Pract. Exp.
T. H. Tse
2013 — conf
Incremental Identification of Categories and Choices for Test Case Generation: A Study of the Software Practitioners' Preferences.
QSIC
Pak-Lok Poon, Tsong Yueh Chen, T. H. Tse
2013 J jnl
On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization.
Inf. Softw. Technol.
Bo Jiang, Ke Zhai, W. K. Chan, T. H. Tse, Zhenyu Zhang
2013 — conf
Oracles Are Hardly Attain'd, and Hardly Understood: Confessions of Software Testing Researchers.
QSIC
W. K. Chan, T. H. Tse
2013 — conf
The ART of Divide and Conquer: An Innovative Approach to Improving the Efficiency of Adaptive Random Testing.
QSIC
Cliff Chow, Tsong Yueh Chen, T. H. Tse
2012 J jnl
An enhanced flow analysis technique for detecting unreachability faults in concurrent systems.
Inf. Sci.
Tsong Yueh Chen, Peifeng Hu, Hao Li, T. H. Tse
2012 J jnl
Automated functional testing of online search services.
Softw. Test. Verification Reliab.
Zhi Quan Zhou, Shujia Zhang, Markus Hagenbuchner, T. H. Tse, Fei-Ching Kuo, Tsong Yueh Chen
2012 A conf
CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications.
ISSTA
Ke Zhai, Boni Xu, W. K. Chan, T. H. Tse
2012 Misc conf
Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology.
Ada-Europe
Pak-Lok Poon, Tsong Yueh Chen, T. H. Tse
2012 J jnl
DESSERT: a DividE-and-conquer methodology for identifying categorieS, choiceS, and choicE Relations for Test case generation.
IEEE Trans. Software Eng.
Tsong Yueh Chen, Pak-Lok Poon, Sau-Fun Tang, T. H. Tse
2012 J jnl
EClass: An execution classification approach to improving the energy-efficiency of software via machine learning.
J. Syst. Softw.
Edward Y. Y. Kan, W. K. Chan, T. H. Tse
2012 J jnl
Fault Localization Based Only on Failed Runs.
Computer
Zhenyu Zhang, W. K. Chan, T. H. Tse
2012 J jnl
How well does test case prioritization integrate with statistical fault localization?
Inf. Softw. Technol.
Bo Jiang, Zhenyu Zhang, W. K. Chan, T. H. Tse, Tsong Yueh Chen
2012 — conf
JSCloud: Toward Remote Execution of JavaScript Code on Handheld Devices.
QSIC
Winson Y. S. Li, Shangru Wu, Wing Kwong Chan, T. H. Tse
2012 B conf
Preemptive Regression Test Scheduling Strategies: A New Testing Approach to Thriving on the Volatile Service Environments.
COMPSAC
Lijun Mei, Ke Zhai, Bo Jiang, W. K. Chan, T. H. Tse
2012 J jnl
Special Issue on Dynamic Analysis and Testing of Embedded Software.
J. Syst. Softw.
W. Eric Wong, W. K. Chan, T. H. Tse, Fei-Ching Kuo
2011 J jnl
A Comparison of Tabular Expression-Based Testing Strategies.
IEEE Trans. Software Eng.
Xin Feng, David Lorge Parnas, T. H. Tse, Tony O'Callaghan
2011 — conf
A Dynamic Fault Localization Technique with Noise Reduction for Java Programs.
QSIC
Jian Xu, W. K. Chan, Zhenyu Zhang, T. H. Tse, Shanping Li
2011 J jnl
An assessment of systems and software engineering scholars and institutions (2003-2007 and 2004-2008).
J. Syst. Softw.
W. Eric Wong, T. H. Tse, Robert L. Glass, Victor R. Basili, Tsong Yueh Chen
2011 J jnl
Assuring the model evolution of protocol software specifications by regression testing process improvement.
Softw. Pract. Exp.
Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li, W. K. Chan
2011 J jnl
Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing.
Softw. Qual. J.
Pak-Lok Poon, T. H. Tse, Sau-Fun Tang, Fei-Ching Kuo
2011 J jnl
Non-parametric statistical fault localization.
J. Syst. Softw.
Zhenyu Zhang, W. K. Chan, T. H. Tse, Yuen-Tak Yu, Peifeng Hu
2011 — conf
On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization.
QSIC
Bo Jiang, W. K. Chan, T. H. Tse
2011 B conf
Precise Propagation of Fault-Failure Correlations in Program Flow Graphs.
COMPSAC
Zhenyu Zhang, W. K. Chan, T. H. Tse, Bo Jiang
2011 J jnl
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging.
IEEE Trans. Software Eng.
Tsong Yueh Chen, T. H. Tse, Zhi Quan Zhou
2011 J jnl
XML-manipulating test case prioritization for XML-manipulating services.
J. Syst. Softw.
Lijun Mei, W. K. Chan, T. H. Tse, Robert G. Merkel
2010 J jnl
Adaptive Random Testing: The ART of test case diversity.
J. Syst. Softw.
Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel, T. H. Tse
2010 J jnl
CHOC'LATE: a framework for specification-based testing.
Commun. ACM
Pak-Lok Poon, Sau-Fun Tang, T. H. Tse, Tsong Yueh Chen
2010 — conf
Correlating Context-Awareness and Mutation Analysis for Pervasive Computing Systems.
QSIC
Huai Wang, Ke Zhai, T. H. Tse
2010 J jnl
Fault localization through evaluation sequences.
J. Syst. Softw.
Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse, Xinming Wang
2010 J jnl
Finding failures from passed test cases: improving the pattern classification approach to the testing of mesh simplification programs.
Softw. Test. Verification Reliab.
W. K. Chan, Jeffrey C. F. Ho, T. H. Tse
2010 — conf
Leveraging Performance and Power Savings for Embedded Systems Using Multiple Target Deadlines.
QSIC
Edward Y. Y. Kan, W. K. Chan, T. H. Tse
2010 — conf
Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software.
QSIC
Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li
2010 A conf
Taking Advantage of Service Selection: A Study on the Testing of Location-Based Web Services Through Test Case Prioritization.
ICWS
Ke Zhai, Bo Jiang, W. K. Chan, T. H. Tse
2009 A* conf
Adaptive Random Test Case Prioritization.
ASE
Bo Jiang, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse
2009 — conf
An Empirical Study of the Use of Frankl-Weyuker Data Flow Testing Criteria to Test BPEL Web Services.
COMPSAC (1)
Lijun Mei, W. K. Chan, T. H. Tse, Fei-Ching Kuo
2009 J jnl
An assessment of systems and software engineering scholars and institutions (2002-2006).
J. Syst. Softw.
W. Eric Wong, T. H. Tse, Robert L. Glass, Victor R. Basili, Tsong Yueh Chen
2009 — conf
Automatic Generation of Normal Forms for Testing Object-Oriented Software.
QSIC
Huo Yan Chen, T. H. Tse
2009 — conf
Capturing propagation of infected program states.
ESEC/SIGSOFT FSE
Zhenyu Zhang, Wing Kwong Chan, T. H. Tse, Bo Jiang, Xinming Wang
2009 — conf
Data flow testing of service choreography.
ESEC/SIGSOFT FSE
Lijun Mei, W. K. Chan, T. H. Tse
2009 — conf
How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization.
COMPSAC (1)
Bo Jiang, Zhenyu Zhang, T. H. Tse, Tsong Yueh Chen
2009 J jnl
Is non-parametric hypothesis testing model robust for statistical fault localization?
Inf. Softw. Technol.
Zhenyu Zhang, W. K. Chan, T. H. Tse, Peifeng Hu, Xinming Wang
2009 J jnl
PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs.
J. Syst. Softw.
Wing Kwong Chan, Shing-Chi Cheung, Jeffrey C. F. Ho, T. H. Tse
2009 J jnl
Resource prioritization of code optimization techniques for program synthesis of wireless sensor network applications.
J. Syst. Softw.
Zhenyu Zhang, Wing Kwong Chan, T. H. Tse, Heng Lu, Lijun Mei
2009 — conf
Tag-Based Techniques for Black-Box Test Case Prioritization for Service Testing.
QSIC
Lijun Mei, W. K. Chan, T. H. Tse, Robert G. Merkel
2009 A* conf
Test case prioritization for regression testing of service-oriented business applications.
WWW
Lijun Mei, Zhenyu Zhang, W. K. Chan, T. H. Tse
2009 A* conf
Where to adapt dynamic service compositions.
WWW
Bo Jiang, W. K. Chan, Zhenyu Zhang, T. H. Tse
2008 — conf
A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing.
CSSE (2)
Huo Yan Chen, Lin Tan, T. H. Tse
2008 C conf
A Tale of Clouds: Paradigm Comparisons and Some Thoughts on Research Issues.
APSCC
Lijun Mei, Wing Kwong Chan, T. H. Tse
2008 A conf
An Adaptive Service Selection Approach to Service Composition.
ICWS
Lijun Mei, Wing Kwong Chan, T. H. Tse
2008 J jnl
An assessment of systems and software engineering scholars and institutions (2001-2005).
J. Syst. Softw.
W. Eric Wong, T. H. Tse, Robert L. Glass, Victor R. Basili, Tsong Yueh Chen
2008 A* conf
Data flow testing of service-oriented workflow applications.
ICSE
Lijun Mei, W. K. Chan, T. H. Tse
2008 B conf
Debugging through Evaluation Sequences: A Controlled Experimental Study.
COMPSAC
Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse
2008 J jnl
Editorial.
J. Syst. Softw.
T. H. Tse, W. Eric Wong
2008 — conf
Fault Localization with Non-parametric Program Behavior Model.
QSIC
Peifeng Hu, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse
2008 B conf
Fault Propagation in Tabular Expression-Based Specifications.
COMPSAC
Xin Feng, David Lorge Parnas, T. H. Tse
2008 — conf
Lean Implementations of Software Testing Tools Using XML Representations of Source Codes.
CSSE (2)
Yu Xia Sun, Huo Yan Chen, T. H. Tse
2008 A* conf
Testing pervasive software in the presence of context inconsistency resolution services.
ICSE
Heng Lu, W. K. Chan, T. H. Tse
2008 — conf
Toward Scalable Statistical Service Selection.
SOSE
Lijun Mei, W. K. Chan, T. H. Tse
2007 — conf
An Innovative Approach to Tackling the Boundary Effect in Adaptive Random Testing.
HICSS
Tsong Yueh Chen, Dehao Huang, T. H. Tse, Zongyuan Yang
2007 J jnl
Guest Editors' Introduction.
Int. J. Softw. Eng. Knowl. Eng.
Hong Mei, T. H. Tse
2007 — conf
Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures in Mesh Simplification Programs.
COMPSAC (1)
W. K. Chan, Jeffrey C. F. Ho, T. H. Tse
2007 — conf
Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization Techniques.
QSIC
Zhenyu Zhang, W. K. Chan, T. H. Tse
2007 J jnl
Testing object-oriented industrial software without precise oracles or results.
Commun. ACM
T. H. Tse, Francis C. M. Lau, W. K. Chan, Peter C. K. Liu, Colin K. F. Luk
2007 Misc conf
Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks.
Ada-Europe
W. K. Chan, Tsong Yueh Chen, Shing-Chi Cheung, T. H. Tse, Zhenyu Zhang
2007 B conf
Transformation of UML interaction diagrams into contract specifications for object-oriented testing.
SMC
Huo Yan Chen, Chuang Li, T. H. Tse
2006 J jnl
An assessment of systems and software engineering scholars and institutions (2000-2004).
J. Syst. Softw.
T. H. Tse, Tsong Yueh Chen, Robert L. Glass
2006 — conf
An empirical comparison between direct and indirect test result checking approaches.
SOQUA
Peifeng Hu, Zhenyu Zhang, W. K. Chan, T. H. Tse
2006 J jnl
Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study.
J. Syst. Softw.
W. K. Chan, M. Y. Cheng, Shing-Chi Cheung, T. H. Tse
2006 J jnl
Editorial.
J. Syst. Softw.
Hans-Dieter Ehrich, Klaus-Dieter Schewe, T. H. Tse
2006 J jnl
Guest Editors' Introduction.
Int. J. Softw. Eng. Knowl. Eng.
Kai-Yuan Cai, Atsushi Ohnishi, T. H. Tse
2006 J jnl
Integration Testing of Context-sensitive Middleware-based Applications: a Metamorphic Approach.
Int. J. Softw. Eng. Knowl. Eng.
W. K. Chan, Tsong Yueh Chen, Heng Lu, T. H. Tse, Stephen S. Yau
2006 — conf
Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering.
COMPSAC (1)
W. K. Chan, Shing-Chi Cheung, Jeffrey C. F. Ho, T. H. Tse
2006 — conf
Static Slicing for Pervasive Programs.
QSIC
Heng Lu, W. K. Chan, T. H. Tse
2006 — conf
Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation.
SIGSOFT FSE
Heng Lu, W. K. Chan, T. H. Tse
2005 — conf
Fault-Based Testing of Database Application Programs with Conceptual Data Model.
QSIC
W. K. Chan, Shing-Chi Cheung, T. H. Tse
2005 — conf
Identification of Categories and Choices in Activity Diagrams.
QSIC
Tsong Yueh Chen, Sau-Fun Tang, Pak-Lok Poon, T. H. Tse
2005 — conf
Research Directions on Model-Based Metamorphic Testing and Verification.
COMPSAC (1)
T. H. Tse
2004 B conf
Computing Curriculum - Software Engineering: Its Impact on Professional Software Engineering Education.
COMPSAC
T. H. Tse
2004 J jnl
Editorial.
Inf. Softw. Technol.
Huimin Lin, Hans-Dieter Ehrich, T. H. Tse
2004 J jnl
On the identification of categories and choices for specification-based test case generation.
Inf. Softw. Technol.
Tsong Yueh Chen, Pak-Lok Poon, Sau-Fun Tang, T. H. Tse
2004 B conf
Testing Context-Sensitive Middleware-Based Software Applications.
COMPSAC
T. H. Tse, Stephen S. Yau, W. K. Chan, Heng Lu, Tsong Yueh Chen
2004 — conf
Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems.
QSIC
M. Y. Cheng, Shing-Chi Cheung, T. H. Tse
2003 J jnl
A Choice Relation Framework for Supporting Category-Partition Test Case Generation.
IEEE Trans. Software Eng.
Tsong Yueh Chen, Pak-Lok Poon, T. H. Tse
2003 B conf
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software.
COMPSAC
Huo Yan Chen, Yu Xia Sun, T. H. Tse
2003 B conf
A scheme for dynamic detection of concurrent execution of object-oriented software.
SMC
Huo Yan Chen, Yu Xia Sun, T. H. Tse
2003 J jnl
Fault-based testing without the need of oracles.
Inf. Softw. Technol.
Tsong Yueh Chen, T. H. Tse, Zhi Quan Zhou
2003 — conf
Metamorphic Testing and Beyond.
STEP
Tsong Yueh Chen, Fei-Ching Kuo, T. H. Tse, Zhi Quan Zhou
2002 J jnl
Classification-tree restructuring methodologies: a new perspective.
IEE Proc. Softw.
Tsong Yueh Chen, Pak-Lok Poon, T. H. Tse
2002 B conf
Metamorphic Testing of Programs on Partial Differential Equations: A Case Study.
COMPSAC
Tsong Yueh Chen, Jianqiang Feng, T. H. Tse
2002 A conf
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing.
ISSTA
Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou
2002 J jnl
Special Issue for the Second Asia-Pacific Conference on Quality Software.
Inf. Softw. Technol.
Tsong Yueh Chen, T. H. Tse, Yuen-Tak Yu
2002 — conf
Towards Research on Software Cybernetics.
HASE
Kai-Yuan Cai, Tsong Yueh Chen, T. H. Tse
2002 — conf
Towards a Problem-Driven Approach to Perspective-Based Reading.
HASE
Tsong Yueh Chen, Pak-Lok Poon, Sau-Fun Tang, T. H. Tse, Yuen-Tak Yu
2001 B conf
Fault-Based Testing in the Absence of an Oracle.
COMPSAC
Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou
2001 J jnl
Proportional sampling strategy: a compendium and some insights.
J. Syst. Softw.
Tsong Yueh Chen, T. H. Tse, Yuen-Tak Yu
2001 J jnl
Quality Software - Guest Editor's Introduction.
Int. J. Softw. Eng. Knowl. Eng.
T. H. Tse
2001 J jnl
TACCLE: a methodology for object-oriented software testing at the class and cluster levels.
ACM Trans. Softw. Eng. Methodol.
Huo Yan Chen, T. H. Tse, Tsong Yueh Chen
2000 J jnl
An Integrated Classification-Tree Methodology for Test Case Generation.
Int. J. Softw. Eng. Knowl. Eng.
Tsong Yueh Chen, Pak-Lok Poon, T. H. Tse
2000 — conf
On the Completeness of Test Cases for Atomic Arithmetic Expressions.
APAQS
T. H. Tse, Xin Feng, Tsong Yueh Chen
2000 J jnl
ROCS: an object-oriented class-level testing system based on the Relevant Observable ContextS technique.
Inf. Softw. Technol.
Huo Yan Chen, T. H. Tse, Yue Tang Deng
2000 J jnl
Test case selection with and without replacement.
Inf. Sci.
Hing Leung, T. H. Tse, F. T. Chan, Tsong Yueh Chen
2000 — conf
Testing of Large Number Multiplication Functions in Cryptographic Systems.
APAQS
T. H. Tse, Zhiquan Zhou, Tsong Yueh Chen
2000 B conf
Towards Harmonized Professional Standards for Software Engineers: Constraints, Conflicts, and Concessions.
COMPSAC
T. H. Tse
1999 B conf
One System, Two Ideologies: Integrating the Two Worlds of Software Engineering Education.
COMPSAC
T. H. Tse
1998 J jnl
In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs.
ACM Trans. Softw. Eng. Methodol.
Huo Yan Chen, T. H. Tse, F. T. Chan, Tsong Yueh Chen
1997 J jnl
On the effectiveness of test case allocation schemes in partition testing.
Inf. Softw. Technol.
F. T. Chan, Tsong Yueh Chen, T. H. Tse
1994 — conf
An Axiom-based Test Case Selection Strategy for Object-oriented Programs.
Software Quality and Productivity
T. H. Tse, F. T. Chan, Huo Yan Chen
1994 J jnl
The Application of Prolog to Structured Design.
Softw. Pract. Exp.
T. H. Tse, Tsong Yueh Chen, F. T. Chan, Huo Yan Chen, H. L. Xie
1994 J jnl
The use of Prolog in the modelling and evaluation of structure charts.
Inf. Softw. Technol.
T. H. Tse, Tsong Yueh Chen, C. S. Kwok
1993 — conf
Formal or Informal, Practical or Impractical: Towards Integrating Formal Methods with Informal Practices in Software Engineering Education.
Software Engineering Education
T. H. Tse
1991 J jnl
An Examination of Requirements Specification Languages.
Comput. J.
T. H. Tse, L. Pong
1989 J jnl
Towards a Formal Foundation for DeMarco Data Flow Diagrams.
Comput. J.
T. H. Tse, L. Pong
1987 J jnl
Integrating the Structured Analysis and Design Models: a Category-Theoretic Approach.
Aust. Comput. J.
T. H. Tse
1987 J jnl
On the Detection of Unstructuredness in Flowgraphs.
Inf. Process. Lett.
T. H. Tse
1987 J jnl
The Identification of Program Unstructuredness: A Formal Approach.
Comput. J.
T. H. Tse
1987 J jnl
Towards a Single Criterion for Identifying Program Unstructuredness.
Comput. J.
T. H. Tse
1986 J jnl
An application of petri nets in structured analysis.
ACM SIGSOFT Softw. Eng. Notes
T. H. Tse, L. Pong
1986 J jnl
Integrating the Structured Analysis and Design Models: an Initial Algebra Approach.
Aust. Comput. J.
T. H. Tse
1986 J jnl
Towards a Unified Algebraic View of Structured Systems Development Models.
Data Base
T. H. Tse
1985 J jnl
An Automation of Jackson's Structured Programming.
Aust. Comput. J.
T. H. Tse
1982 J jnl
A Review of System Development Systems.
Aust. Comput. J.
T. H. Tse, L. Pong