Tsong Yueh Chen

Orcid: 0000-0003-3578-0994

Affiliations:
  • Swinburne University of Technology, Hawthorn, VIC, Australia
  • University of Melbourne, Parkville, Australia (PhD)


According to our database1, Tsong Yueh Chen authored at least 297 papers between 1978 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs.
ACM Trans. Softw. Eng. Methodol., January, 2024

2023
A Declarative Metamorphic Testing Framework for Autonomous Driving.
IEEE Trans. Software Eng., April, 2023

Feedback-Directed Metamorphic Testing.
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

Exploring Metamorphic Testing for Fake-News Detection Software: A Case Study.
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

Dynamic Random Testing of Web Services: A Methodology and Evaluation.
IEEE Trans. Serv. Comput., 2022

ReMuSSE: A Redundant Mutant Identification Technique Based on Selective Symbolic Execution.
IEEE Trans. Reliab., 2022

On the effectiveness of testing sentiment analysis systems with metamorphic testing.
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

Deceiving Deep Neural Networks-Based Binary Code Matching with Adversarial Programs.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

In-Place Metamorphic Testing and Exploration.
Proceedings of the IEEE/ACM 7th International Workshop on Metamorphic Testing, 2022

Testing Ocean Software with Metamorphic Testing.
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

Beating Random Test Case Prioritization.
IEEE Trans. Reliab., 2021

Input Test Suites for Program Repair: A Novel Construction Method Based on Metamorphic Relations.
IEEE Trans. Reliab., 2021

Identification of Failure Regions for Programs With Numeric Inputs.
IEEE Trans. Emerg. Top. Comput. Intell., 2021

Using metamorphic relations to verify and enhance Artcode classification.
J. Syst. Softw., 2021

Testing multiple linear regression systems with metamorphic testing.
J. Syst. Softw., 2021

Validating class integration test order generation systems with Metamorphic Testing.
Inf. Softw. Technol., 2021

MTKeras: An Automated Metamorphic Testing Platform.
Int. J. Softw. Eng. Knowl. Eng., 2021

Use of Metamorphic Relations as Knowledge Carriers to Train Deep Neural Networks.
CoRR, 2021

Covering Array Constructors: An Experimental Analysis of Their Interaction Coverage and Fault Detection.
Comput. J., 2021

New visions on metamorphic testing after a quarter of a century of inception.
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

Metamorphic Testing on Multi-module UAV Systems.
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

Metamorphic Testing for Block Ciphers.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

Metamorphic Testing of Fake News Detection Software.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020
Metamorphic Relations for Enhancing System Understanding and Use.
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

Metamorphic Testing: Testing the Untestable.
IEEE Softw., 2020

An iterative metamorphic testing technique for web services and case studies.
Int. J. Web Grid Serv., 2020

Metamorphic Testing: A New Approach for Generating Next Test Cases.
CoRR, 2020

Exploiting the Largest Available Zone: A Proactive Approach to Adaptive Random Testing by Exclusion.
IEEE Access, 2020

Adaptive Random Test Case Generation Based on Multi-Objective Evolutionary Search.
Proceedings of the 19th IEEE International Conference on Trust, 2020

Using Metamorphic Testing to Evaluate DNN Coverage Criteria.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

A Testing Tool for Machine Learning Applications.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Metamorphic Robustness Testing for Recommender Systems: A Case Study.
Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020

A Virtual Reality OER Platform to Deliver Phobia-Motivated Experiences.
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

Adaptive Partition Testing.
IEEE Trans. Computers, 2019

On the analysis of spectrum based fault localization using hitting sets.
J. Syst. Softw., 2019

Prioritising abstract test cases: an empirical study.
IET 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

Adaptive Random Testing by Bisection and Comprehensive Distance.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs.
Proceedings of the Testing Software and Systems, 2019

Metamorphic relations for detection of performance anomalies.
Proceedings of the 4th International Workshop on Metamorphic Testing, 2019

An Extended Abstract of "Metamorphic Testing: Testing the Untestable".
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

Automated Testing of WS-BPEL Service Compositions: A Scenario-Oriented Approach.
IEEE Trans. Serv. Comput., 2018

Test case prioritization for object-oriented software: An adaptive random sequence approach based on clustering.
J. Syst. Softw., 2018

Diversity driven adaptive test generation for concurrent data structures.
Inf. Softw. Technol., 2018

Adaptive Random Testing in Detecting Layout Faults of Web Applications.
Int. J. Softw. Eng. Knowl. Eng., 2018

Metamorphic Testing: A Review of Challenges and Opportunities.
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

Enhancing Supervised Classifications with Metamorphic Relations.
Proceedings of the 3rd IEEE/ACM International Workshop on Metamorphic Testing, 2018

Metamorphic Testing for Adobe Analytics Data Collection JavaScript Library.
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

Error Trapping and Metamorphic Testing for Spreadsheet Failure Detection.
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

Prioritizing random combinatorial test suites.
Proceedings of the Symposium on Applied Computing, 2017

Testing Proportional-Integral-Derivative (PID) Controller with Metamorphic Testing.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Identifying Failed Test Cases Through Metamorphic Testing.
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

Metamorphic Testing for Adobe Data Analytics Software.
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
Metamorphic Testing for Software Quality Assessment: A Study of Search Engines.
IEEE Trans. Software Eng., 2016

Randomized Quasi-Random Testing.
IEEE Trans. Computers, 2016

A Cost-Effective Random Testing Method for Programs with Non-Numeric Inputs.
IEEE Trans. Computers, 2016

METRIC: METamorphic Relation Identification based on the Category-choice framework.
J. Syst. Softw., 2016

MT4WS: an automated metamorphic testing system for web services.
Int. J. High Perform. Comput. Netw., 2016

Metamorphic Testing for Cybersecurity.
Computer, 2016

Metamorphic testing as a test case selection strategy.
Sci. China Inf. Sci., 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

An Adaptive Sequence Approach for OOS Test Case Prioritization.
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

Looking for an MR?: try METWiki today.
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
A New Approach for Network Vulnerability Analysis.
Comput. J., 2015

A revisit of three studies related to random testing.
Sci. China Inf. Sci., 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

Poster: Enhancing Partition Testing through Output Variation.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Metamorphic Testing: A Simple Method for Alleviating the Test Oracle Problem.
Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

Using Partition Information to Prioritize Test Cases for Fault Localization.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

A Revisit of a Theoretical Analysis on Spectrum-Based Fault Localization.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Input-Driven Active Testing of Multi-threaded Programs.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014
Adaptive and Random Partition Software Testing.
IEEE Trans. Syst. Man Cybern. Syst., 2014

How Effectively Does Metamorphic Testing Alleviate the Oracle Problem?
IEEE Trans. Software Eng., 2014

How can non-technical end users effectively test their spreadsheets?
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

Bottom-up Integration Testing with the Technique of Metamorphic Testing.
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
Code Coverage of Adaptive Random Testing.
IEEE Trans. Reliab., 2013

A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization.
ACM Trans. Softw. Eng. Methodol., 2013

An orchestrated survey of methodologies for automated software test case generation.
J. Syst. Softw., 2013

Metamorphic slice: An application in spectrum-based fault localization.
Inf. Softw. Technol., 2013

Prioritization of Combinatorial Test Cases by Incremental Interaction Coverage.
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

Backward-Slice-Based Statistical Fault Localization without Test Oracles.
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

Automated functional testing of online search services.
Softw. Test. Verification Reliab., 2012

Comparison of adaptive random testing and random testing under various testing and debugging scenarios.
Softw. Pract. Exp., 2012

A Metamorphic Relation-Based Approach to Testing Web Services Without Oracles.
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

Fault class prioritization in Boolean expressions.
Proceedings of the ACM Symposium on Applied Computing, 2012

Scenario-Oriented Testing for Web Service Compositions Using BPEL.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

A New Method for Constructing Metamorphic Relations.
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

Distribution-Aware Mutation Analysis.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Towards Dynamic Random Testing for Web Services.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Adaptive Random Test Case Generation for Combinatorial Testing.
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
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging.
IEEE Trans. Software Eng., 2011

A revisit of fault class hierarchies in general boolean specifications.
ACM Trans. Softw. Eng. Methodol., 2011

Adaptive random testing through test profiles.
Softw. Pract. Exp., 2011

Testing and validating machine learning classifiers by metamorphic testing.
J. Syst. Softw., 2011

An assessment of systems and software engineering scholars and institutions (2003-2007 and 2004-2008).
J. Syst. Softw., 2011

On Adaptive Random Testing Through Iterative Partitioning.
J. Inf. Sci. Eng., 2011

Verification of phylogenetic Inference Programs Using Metamorphic Testing.
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

Testing a binary space partitioning algorithm with metamorphic testing.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Spectrum-Based Fault Localization: Testing Oracles are No Longer Mandatory.
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

Metamorphic Testing for Web Services: Framework and a Case Study.
Proceedings of the IEEE International Conference on Web Services, 2011

An Analysis of Failure-Based Test Profiles for Random Testing.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Adaptive Random Testing: The ART of test case diversity.
J. Syst. Softw., 2010

CHOC'LATE: a framework for specification-based testing.
Commun. ACM, 2010

Metamorphic Testing: A Simple Approach to Alleviate the Oracle Problem.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

Isolating Suspiciousness from Spectrum-Based Fault Localization Techniques.
Proceedings of the 10th International Conference on Quality Software, 2010

Adaptive Random Testing by Exclusion through Test Profile.
Proceedings of the 10th International Conference on Quality Software, 2010

Teaching an End-User Testing Methodology.
Proceedings of the Proceedings 23rd IEEE Conference on Software Engineering Education and Training, 2010

2009
Application of a Failure Driven Test Profile in Random Testing.
IEEE Trans. Reliab., 2009

On detecting faults for Boolean expressions.
Softw. Qual. J., 2009

An assessment of systems and software engineering scholars and institutions (2002-2006).
J. Syst. Softw., 2009

Adaptive random testing based on distribution metrics.
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

Enhanced lattice-based adaptive random testing.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Application of Metamorphic Testing to Supervised Classifiers.
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

Conformance Testing of Network Simulators Based on Metamorphic Testing Technique.
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
An upper bound on software testing effectiveness.
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

Distributing test cases more evenly in adaptive random testing.
J. Syst. Softw., 2008

On the Online Parameter Estimation Problem in Adaptive Software Testing.
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

Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing?
Proceedings of the Eighth International Conference on Quality Software, 2008

An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper).
Proceedings of the Eighth International Conference on Quality Software, 2008

A new approach for network vulnerability analysis.
Proceedings of the LCN 2008, 2008

Testing of Heuristic Methods: A Case Study of Greedy Algorithm.
Proceedings of the Software Engineering Techniques, 2008

2007
Quasi-Random Testing.
IEEE Trans. Reliab., 2007

On Favourable Conditions for Adaptive Random Testing.
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

Enhancing adaptive random testing in high dimensional input domains.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Distribution Metric Driven Adaptive Random Testing.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

An Innovative Approach to Tackling the Boundary Effect in Adaptive Random Testing.
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

Enhancing Adaptive Random Testing through Partitioning by Edge and Centre.
Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

On Detecting Double Literal Faults in Boolean Expressions.
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

On the statistical properties of testing effectiveness measures.
J. Syst. Softw., 2006

Restricted Random Testing: Adaptive Random Testing by Exclusion.
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

BEAT: A Web-Based Boolean Expression Fault-Based Test Case Generation Tool.
Int. J. Distance Educ. Technol., 2006

Adaptive random testing through iterative partitioning revisited.
Proceedings of the Third International Workshop on Software Quality Assurance, 2006

Probabilistic Adaptive Random Testing.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Is adaptive random testing really better than random testing.
Proceedings of the 1st International Workshop on Random Testing, 2006

Forgetting Test Cases.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Efficient and Effective Random Testing Using the Voronoi Diagram.
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
An effective testing method for end-user programmers.
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

Adaptive testing of software components.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Identification of Categories and Choices in Activity Diagrams.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Teaching Automated Test Case Generation.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Software Testing Education and Training in Hong Kong.
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

Resource constraints analysis of workflow specifications.
J. Syst. Softw., 2004

On the testing methods used by beginning software testers.
Inf. Softw. Technol., 2004

On the identification of categories and choices for specification-based test case generation.
Inf. Softw. Technol., 2004

Mirror adaptive random testing.
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

Adaptive Random Testing Through Dynamic Partitioning.
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

On the Statistical Properties of the F-measure.
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Testing Context-Sensitive Middleware-Based Software Applications.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

A Revisit of Adaptive Random Testing by Restrictio.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Adaptive Random Testing with CG Constraint.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

A Preliminary Survey on Software Testing Practices in Australia.
Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

Adaptive Random Testing.
Proceedings of the Advances in Computer Science, 2004

Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

Adaptive Random Testing by Localization.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

Good Random Testing.
Proceedings of the Reliable Software Technologies, 2004

2003
A Choice Relation Framework for Supporting Category-Partition Test Case Generation.
IEEE Trans. Software Eng., 2003

An assessment of systems and software engineering scholars and institutions (1998-2002).
J. Syst. Softw., 2003

On the divide-and-conquer approach towards test suite reduction.
Inf. Sci., 2003

Fault-based testing without the need of oracles.
Inf. Softw. Technol., 2003

Metamorphic Testing and Beyond.
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

On the Use of the Classification-Tree Method by Beginning Software Testers.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Using the Incremental Approach to Generate Test Sets: A Case Study.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Normalized Restricted Random Testing.
Proceedings of the Reliable Software Technologies, 2003

2002
A decision-theoretic approach to the test allocation problem in partition testing.
IEEE Trans. Syst. Man Cybern. Part A, 2002

An assessment of systems and software engineering scholars and institutions (1997-2001).
J. Syst. Softw., 2002

Special Issue for the Second Asia-Pacific Conference on Quality Software.
Inf. Softw. Technol., 2002

Classification-tree restructuring methodologies: a new perspective.
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

Towards a Problem-Driven Approach to Perspective-Based Reading.
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

Towards Research on Software Cybernetics.
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

Restricted Random Testing.
Proceedings of the Software Quality, 2002

Metamorphic Testing of Programs on Partial Differential Equations: A Case Study.
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

Test case selection strategies based on Boolean specifications.
Softw. Test. Verification Reliab., 2001

An assessment of Systems and Software Engineering scholars and institutions (1996-2000).
J. Syst. Softw., 2001

Proportional sampling strategy: a compendium and some insights.
J. Syst. Softw., 2001

On the maximin algorithms for test allocations in partition testing.
Inf. Softw. Technol., 2001

A Study on a Path-based Strategy for Selecting Black-box Generated Test Cases.
Int. J. Softw. Eng. Knowl. Eng., 2001

Fault-Based Testing in the Absence of an Oracle.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000
Test case selection with and without replacement.
Inf. Sci., 2000

The universal safeness of test allocation strategies for partition testing.
Inf. Sci., 2000

An Integrated Classification-Tree Methodology for Test Case Generation.
Int. J. Softw. Eng. Knowl. Eng., 2000

A Revisit of the Proportional Sampling Strategy.
Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000

Testing of Large Number Multiplication Functions in Cryptographic Systems.
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

On the Completeness of Test Cases for Atomic Arithmetic Expressions.
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

On the Minimal Essential Subsets and Minimal Representative Sets.
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

A New Perspective of the Proportional Sampling Strategy.
Comput. J., 1999

On the Completeness of a Test Suite Reduction Strategy.
Comput. J., 1999

Automated Test Case Generation for BDI Agents.
Auton. Agents Multi Agent Syst., 1999

1998
In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs.
ACM Trans. Softw. Eng. Methodol., 1998

On the effectiveness of classification trees for test case construction.
Inf. Softw. Technol., 1998

A simulation study on some heuristics for test suite reduction.
Inf. Softw. Technol., 1998

A new heuristic for test suite reduction.
Inf. Softw. Technol., 1998

CDFA: A Testing System for C++.
Proceedings of the TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 1998

On the Test Allocations for the Best Lower Bound Performance of Partition Testing.
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

Construction of classification trees via the classification-hierarchy table.
Inf. Softw. Technol., 1997

On the effectiveness of test case allocation schemes in partition testing.
Inf. Softw. Technol., 1997

Optimal improvement of the lower bound performance of partition testing strategies.
IEE Proc. Softw. Eng., 1997

On Some Properties of the Optimally Refined Proportional Sampling Strategy.
Comput. J., 1997

Two test data selection strategies towards testing of Boolean specifications.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

On the Criteria of Allocating Test Cases under Uncertainty.
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing.
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

Dividing Strategies for the Optimization of a Test Suite.
Inf. Process. Lett., 1996

Proportional sampling strategy: guidelines for software testing practitioners.
Inf. Softw. Technol., 1996

Constraints for Safe Partition Testing Strategies.
Comput. J., 1996

More on the E-measure of Subdomain Testing Strategies.
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

Improving the Quality of Classification Trees via Restructuring.
Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

On Some Characterisation Problems of Subdomain Testing.
Proceedings of the Reliable Software Technologies, 1996

1995
On the Analysis of Subdomain Testing Strategies.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

Dynamic Data Flow Analysis for C++.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994
On the Relationship Between Partition and Random Testing.
IEEE Trans. Software Eng., 1994

The Application of Prolog to Structured Design.
Softw. Pract. Exp., 1994

The use of Prolog in the modelling and evaluation of structure charts.
Inf. Softw. Technol., 1994

1990
On the Consistency of Multi-Valued Functions.
Comput. J., 1990

1987
AIDA-A Dynamic Data Flow Anomaly Detection System for Pascal Programs.
Softw. Pract. Exp., 1987

COD - A dynamic data flow analysis system for Cobol.
Inf. Manag., 1987

1984
On the Fixpoints of Nondeterministic Recursive Definitions.
J. Comput. Syst. Sci., 1984

1981
On the Relationship between Computed Functions and Fixpoints of Nondeterministic Recursive Definitions
Inf. Control., July, 1981

1980
Formalization of properties of nondeterministic recursive definitions.
Inf. Sci., 1980

Formalization of correctness of recursive definitions.
Int. J. Parallel Program., 1980

1978
Formalization of equivalence of recursively defined functions.
Inf. Sci., 1978


  Loading...