Tsong Yueh Chen
Orcid: 0000-0003-3578-0994Affiliations:
- Swinburne University of Technology, Hawthorn, VIC, Australia
- University of Melbourne, Parkville, Australia (PhD)
According to our database1,
Tsong Yueh Chen
authored at least 301 papers
between 1978 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
ACM Trans. Softw. Eng. Methodol., January, 2024
SFIDMT-ART: A metamorphic group generation method based on Adaptive Random Testing applied to source and follow-up input domains.
Inf. Softw. Technol., 2024
CoRR, 2024
Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024
Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024
2023
IEEE Trans. Software Eng., April, 2023
ACM Trans. Softw. Eng. Methodol., January, 2023
Metamorphic testing of Advanced Driver-Assistance System (ADAS) simulation platforms: Lane Keeping Assist System (LKAS) case studies.
Inf. Softw. Technol., 2023
Can ChatGPT advance software testing intelligence? An experience report on metamorphic testing.
CoRR, 2023
Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023
2022
Theoretical and Empirical Analyses of the Effectiveness of Metamorphic Relation Composition.
IEEE Trans. Software Eng., 2022
IEEE Trans. Serv. Comput., 2022
ReMuSSE: A Redundant Mutant Identification Technique Based on Selective Symbolic Execution.
IEEE Trans. Reliab., 2022
Inf. Softw. Technol., 2022
A Sequential Metamorphic Testing Framework for Understanding Automated Driving Systems.
CoRR, 2022
An Extended Abstract of "Dynamic Random Testing of Web Services: A Methodology and Evaluation".
Proceedings of the IEEE World Congress on Services, 2022
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022
Proceedings of the IEEE/ACM 7th International Workshop on Metamorphic Testing, 2022
Proceedings of the IEEE/ACM 7th International Workshop on Metamorphic Testing, 2022
Using Metamorphic Relation Violation Regions to Support a Simulation Framework for the Process of Metamorphic Testing.
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022
2021
METRIC$^{+}$+: A Metamorphic Relation Identification Technique Based on Input Plus Output Domains.
IEEE Trans. Software Eng., 2021
Input Test Suites for Program Repair: A Novel Construction Method Based on Metamorphic Relations.
IEEE Trans. Reliab., 2021
IEEE Trans. Emerg. Top. Comput. Intell., 2021
J. Syst. Softw., 2021
J. Syst. Softw., 2021
Inf. Softw. Technol., 2021
Int. J. Softw. Eng. Knowl. Eng., 2021
CoRR, 2021
Covering Array Constructors: An Experimental Analysis of Their Interaction Coverage and Fault Detection.
Comput. J., 2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
MMFC-ART: a Fixed-size-Candidate-set Adaptive Random Testing approach based on the modified Metric-Memory tree.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
Follow-up Test Cases are Better Than Source Test Cases in Metamorphic Testing: A Preliminary Study.
Proceedings of the 6th IEEE/ACM International Workshop on Metamorphic Testing, 2021
BMT: Behavior Driven Development-based Metamorphic Testing for Autonomous Driving Models.
Proceedings of the 6th IEEE/ACM International Workshop on Metamorphic Testing, 2021
Perception Matters: Detecting Perception Failures of VQA Models Using Metamorphic Testing.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021
2020
IEEE Trans. Software Eng., 2020
METTLE: A METamorphic Testing Approach to Assessing and Validating Unsupervised Machine Learning Systems.
IEEE Trans. Reliab., 2020
Semiautomated Metamorphic Testing Approach for Geographic Information Systems: An Empirical Study.
IEEE Trans. Reliab., 2020
Abstract Test Case Prioritization Using Repeated Small-Strength Level-Combination Coverage.
IEEE Trans. Reliab., 2020
Int. J. Web Grid Serv., 2020
Exploiting the Largest Available Zone: A Proactive Approach to Adaptive Random Testing by Exclusion.
IEEE Access, 2020
Proceedings of the 19th IEEE International Conference on Trust, 2020
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020
Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020
Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020
2019
KDFC-ART: a KD-tree approach to enhancing Fixed-size-Candidate-set Adaptive Random Testing.
IEEE Trans. Reliab., 2019
J. Syst. Softw., 2019
Metamorphic Testing: A Simple Yet Effective Approach for Testing Scientific Software.
Comput. Sci. Eng., 2019
Toward a K-means clustering approach to adaptive random testing for object-oriented software.
Sci. China Inf. Sci., 2019
Proceedings of the Structured Object-Oriented Formal Language and Method, 2019
Proceedings of the Testing Software and Systems, 2019
Proceedings of the 4th International Workshop on Metamorphic Testing, 2019
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019
2018
Data from: "Metamorphic Relations for Enhancing System Understanding and Use," IEEE Transactions on Software Engineering.
Dataset, November, 2018
IEEE Trans. Serv. Comput., 2018
Test case prioritization for object-oriented software: An adaptive random sequence approach based on clustering.
J. Syst. Softw., 2018
Inf. Softw. Technol., 2018
Int. J. Softw. Eng. Knowl. Eng., 2018
ACM Comput. Surv., 2018
A Validation and Quality Assessment Method with Metamorphic Relations for Unsupervised Machine Learning Software.
CoRR, 2018
An Empirical Comparison of Fixed-Strength and Mixed-Strength for Interaction Coverage Based Prioritization.
IEEE Access, 2018
Proceedings of the 3rd IEEE/ACM International Workshop on Metamorphic Testing, 2018
Proceedings of the 3rd IEEE/ACM International Workshop on Metamorphic Testing, 2018
An experimental analysis of fault detection capabilities of covering array constructors.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
On the Selection of Strength for Fixed-Strength Interaction Coverage Based Prioritization.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
2017
A Similarity Metric for the Inputs of OO Programs and Its Application in Adaptive Random Testing.
IEEE Trans. Reliab., 2017
Human Competitiveness of Genetic Programming in Spectrum-Based Fault Localisation: Theoretical and Empirical Analysis.
ACM Trans. Softw. Eng. Methodol., 2017
A metamorphic testing approach for supporting program repair without the need for a test oracle.
J. Syst. Softw., 2017
J. Organ. End User Comput., 2017
Out of sight, out of mind: a distance-aware forgetting strategy for adaptive random testing.
Sci. China Inf. Sci., 2017
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017
Harnessing Multiple Source Test Cases in Metamorphic Testing: A Case Study in Bioinformatics.
Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017
A Revisit of the Integration of Metamorphic Testing and Test Suite Based Automated Program Repair.
Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017
Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017
Integration of Metamorphic Testing with Program Repair Methods Based on Adaptive Search Strategies and Program Equivalence.
Proceedings of the Formal Methods and Software Engineering, 2017
2016
IEEE Trans. Software Eng., 2016
IEEE Trans. Computers, 2016
J. Syst. Softw., 2016
Int. J. High Perform. Comput. Netw., 2016
Metamorphic testing: A new student engagement approach for a new software testing paradigm.
Proceedings of the IEEE International Conference on Teaching, 2016
Test Case Prioritization Using Adaptive Random Sequence with Category-Partition-Based Distance.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016
Proceedings of the 1st International Workshop on Metamorphic Testing, 2016
A cloud-based framework for applying metamorphic testing to a bioinformatics pipeline.
Proceedings of the 1st International Workshop on Metamorphic Testing, 2016
The impact of source test case selection on the effectiveness of metamorphic testing.
Proceedings of the 1st International Workshop on Metamorphic Testing, 2016
2015
Teaching software testing skills: Metamorphic testing as vehicle for creativity and effectiveness in software testing.
Proceedings of the IEEE International Conference on Teaching, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015
2014
IEEE Trans. Syst. Man Cybern. Syst., 2014
IEEE Trans. Software Eng., 2014
Inf. Technol. People, 2014
An Application of Adaptive Random Sequence in Test Case Prioritization.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014
Testing Model Transformation Programs using Metamorphic Testing.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014
Proceedings of the 2014 14th International Conference on Quality Software, 2014
Metamorphic fault tolerance: an automated and systematic methodology for fault tolerance in the absence of test oracle.
Proceedings of the 36th International Conference on Software Engineering, 2014
2013
A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization.
ACM Trans. Softw. Eng. Methodol., 2013
J. Syst. Softw., 2013
Inf. Softw. Technol., 2013
Int. J. Softw. Eng. Knowl. Eng., 2013
Provably Optimal and Human-Competitive Results in SBSE for Spectrum Based Fault Localisation.
Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013
Impacts of Test Suite's Class Imbalance on Spectrum-Based Fault Localization Techniques.
Proceedings of the 2013 13th International Conference on Quality Software, 2013
Incremental Identification of Categories and Choices for Test Case Generation: A Study of the Software Practitioners' Preferences.
Proceedings of the 2013 13th International Conference on Quality Software, 2013
Proceedings of the 2013 13th International Conference on Quality Software, 2013
The ART of Divide and Conquer: An Innovative Approach to Improving the Efficiency of Adaptive Random Testing.
Proceedings of the 2013 13th International Conference on Quality Software, 2013
On the Correlation between the Effectiveness of Metamorphic Relations and Dissimilarities of Test Case Executions.
Proceedings of the 2013 13th International Conference on Quality Software, 2013
2012
DESSERT: a DividE-and-conquer methodology for identifying categorieS, choiceS, and choicE Relations for Test case generation.
IEEE Trans. Software Eng., 2012
Softw. Test. Verification Reliab., 2012
Comparison of adaptive random testing and random testing under various testing and debugging scenarios.
Softw. Pract. Exp., 2012
Int. J. Web Serv. Res., 2012
An enhanced flow analysis technique for detecting unreachability faults in concurrent systems.
Inf. Sci., 2012
How well does test case prioritization integrate with statistical fault localization?
Inf. Softw. Technol., 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the 2012 12th International Conference on Quality Software, 2012
Proceedings of the 2012 12th International Conference on Quality Software, 2012
Metamorphic Testing: Applications and Integration with Other Methods: Tutorial Synopsis.
Proceedings of the 2012 12th International Conference on Quality Software, 2012
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012
Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology.
Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012
2011
IEEE Trans. Software Eng., 2011
ACM Trans. Softw. Eng. Methodol., 2011
J. Syst. Softw., 2011
An assessment of systems and software engineering scholars and institutions (2003-2007 and 2004-2008).
J. Syst. Softw., 2011
J. Bioinform. Comput. Biol., 2011
Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver.
Int. J. Softw. Eng. Knowl. Eng., 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the 11th International Conference on Quality Software, 2011
Testing a Software-based PID Controller using Metamorphic Testing.
Proceedings of the PECCS 2011, 2011
Testing embedded software by metamorphic testing: A wireless metering system case study.
Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011
Proceedings of the IEEE International Conference on Web Services, 2011
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
2010
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010
Proceedings of the 10th International Conference on Quality Software, 2010
Proceedings of the 10th International Conference on Quality Software, 2010
Proceedings of the Proceedings 23rd IEEE Conference on Software Engineering Education and Training, 2010
2009
IEEE Trans. Reliab., 2009
An assessment of systems and software engineering scholars and institutions (2002-2006).
J. Syst. Softw., 2009
An innovative approach for testing bioinformatics programs using metamorphic testing.
BMC Bioinform., 2009
Dynamic Test Profiles in Adaptive Random Testing: A Case Study.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Proceedings of the Ninth International Conference on Quality Software, 2009
An Innovative Approach to Randomising Quasi-random Sequences and Its Application into Software Testing.
Proceedings of the Ninth International Conference on Quality Software, 2009
Testing an Open Source Suite for Open Queuing Network Modelling Using Metamorphic Testing Technique.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
On the integration of metamorphic testing and model checking.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009
Proceedings of the Formal Techniques for Distributed Systems, 2009
How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
2008
ACM Trans. Softw. Eng. Methodol., 2008
Enhancing adaptive random testing for programs with high dimensional input domains or failure-unrelated parameters.
Softw. Qual. J., 2008
An assessment of systems and software engineering scholars and institutions (2001-2005).
J. Syst. Softw., 2008
J. Syst. Softw., 2008
Int. J. Softw. Eng. Knowl. Eng., 2008
Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
Proceedings of the Eighth International Conference on Quality Software, 2008
Proceedings of the Eighth International Conference on Quality Software, 2008
Proceedings of the Software Engineering Techniques, 2008
2007
Int. J. Softw. Eng. Knowl. Eng., 2007
On Test Case Distributions of Adaptive Random Testing.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007
Controlling Restricted Random Testing: An Examination of the Exclusion Ratio Parameter.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007
Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007
Proceedings of the Reliable Software Technologies, 2007
Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks.
Proceedings of the Reliable Software Technologies, 2007
2006
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy.
J. Syst. Softw., 2006
An assessment of systems and software engineering scholars and institutions (2000-2004).
J. Syst. Softw., 2006
J. Syst. Softw., 2006
Int. J. Softw. Eng. Knowl. Eng., 2006
Integration Testing of Context-sensitive Middleware-based Applications: a Metamorphic Approach.
Int. J. Softw. Eng. Knowl. Eng., 2006
Int. J. Distance Educ. Technol., 2006
Proceedings of the Third International Workshop on Software Quality Assurance, 2006
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006
Proceedings of the 1st International Workshop on Random Testing, 2006
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006
Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006
Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions.
Proceedings of the Sixth International Conference on Computer and Information Technology (CIT 2006), 2006
2005
ACM SIGSOFT Softw. Eng. Notes, 2005
An assessment of systems and software engineering scholars and institutions (1999-2003).
J. Syst. Softw., 2005
On the Relationships between the Distribution of Failure-Causing Inputs and Effectiveness of Adaptive Random Testing.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005
A Metamorphic Approach to Integration Testing of Context-Sensitive Middleware-Based Applications.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005
2004
Experience with teaching black-box testing in a computer science/software engineering curriculum.
IEEE Trans. Educ., 2004
Inf. Softw. Technol., 2004
On the identification of categories and choices for specification-based test case generation.
Inf. Softw. Technol., 2004
Metamorphic Testing and Testing with Special Values.
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004
2003
IEEE Trans. Software Eng., 2003
An assessment of systems and software engineering scholars and institutions (1998-2002).
J. Syst. Softw., 2003
Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003
Using the Information: Incorporating Positive Feedback Information into the Testing Process.
Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003
Proceedings of the Reliable Software Technologies, 2003
2002
IEEE Trans. Syst. Man Cybern. Part A, 2002
An assessment of systems and software engineering scholars and institutions (1997-2001).
J. Syst. Softw., 2002
Inf. Softw. Technol., 2002
IEE Proc. Softw., 2002
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing.
Proceedings of the International Symposium on Software Testing and Analysis, 2002
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
2001
TACCLE: a methodology for object-oriented software testing at the class and cluster levels.
ACM Trans. Softw. Eng. Methodol., 2001
Softw. Test. Verification Reliab., 2001
An assessment of Systems and Software Engineering scholars and institutions (1996-2000).
J. Syst. Softw., 2001
J. Syst. Softw., 2001
Inf. Softw. Technol., 2001
Int. J. Softw. Eng. Knowl. Eng., 2001
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001
2000
Inf. Sci., 2000
Int. J. Softw. Eng. Knowl. Eng., 2000
Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000
White on Black: A White-Box-Oriented Approach for Selecting Black-Box-Generated Test Cases.
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000
Proceedings of the Reliable Software Technologies, 2000
1999
An Automated Tool (ID<sub>A</sub>F) to Manipulate Interaction Diagrams and Fragmentations for Multi-Agent Systems.
Int. J. Softw. Eng. Knowl. Eng., 1999
1998
In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs.
ACM Trans. Softw. Eng. Methodol., 1998
Inf. Softw. Technol., 1998
Inf. Softw. Technol., 1998
Proceedings of the TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 1998
Proceedings of the 1998 Australian Software Engineering Conference (ASWEC '98), 1998
1997
Error Detection in C++ through Dynamic Data Flow Analysis.
Softw. Concepts Tools, 1997
Inf. Softw. Technol., 1997
Inf. Softw. Technol., 1997
IEE Proc. Softw. Eng., 1997
Comput. J., 1997
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997
1996
IEEE Trans. Software Eng., 1996
On the Structural Properties of the Set of Fixpoints for Nondeterministic Recursive Definitions.
J. Comput. Syst. Sci., 1996
A More General Sufficient Condition for Partition Testing to be Better than Random Testing.
Inf. Process. Lett., 1996
Inf. Softw. Technol., 1996
Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996
Classification-Hierarchy Table: A Methodology for Constructing the Classification Tree.
Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996
Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996
Proceedings of the Reliable Software Technologies, 1996
1995
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995
1994
IEEE Trans. Software Eng., 1994
Inf. Softw. Technol., 1994
1990
1987
Softw. Pract. Exp., 1987
1984
J. Comput. Syst. Sci., 1984
1981
On the Relationship between Computed Functions and Fixpoints of Nondeterministic Recursive Definitions
Inf. Control., July, 1981
1980
Inf. Sci., 1980
Int. J. Parallel Program., 1980
1978