Tsong Yueh Chen

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Adaptive Partition Testing.
IEEE Trans. Computers, 2019

On the analysis of spectrum based fault localization using hitting sets.
Journal of Systems and Software, 2019

Metamorphic Testing: A Simple Yet Effective Approach for Testing Scientific Software.
Computing in Science and Engineering, 2019

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

Test case prioritization for object-oriented software: An adaptive random sequence approach based on clustering.
Journal of Systems and Software, 2018

Diversity driven adaptive test generation for concurrent data structures.
Information & Software Technology, 2018

Adaptive Random Testing in Detecting Layout Faults of Web Applications.
International Journal of Software Engineering and Knowledge Engineering, 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. Reliability, 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.
Journal of Systems and Software, 2017

Error Trapping and Metamorphic Testing for Spreadsheet Failure Detection.
JOEUC, 2017

Out of sight, out of mind: a distance-aware forgetting strategy for adaptive random testing.
SCIENCE CHINA Information Sciences, 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.
Journal of Systems and Software, 2016

MT4WS: an automated metamorphic testing system for web services.
IJHPCN, 2016

Metamorphic Testing for Cybersecurity.
IEEE Computer, 2016

Metamorphic testing as a test case selection strategy.
SCIENCE CHINA Information Sciences, 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.
SCIENCE CHINA Information Sciences, 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. Systems, Man, and Cybernetics: Systems, 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?
IT & 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

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. Reliability, 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.
Journal of Systems and Software, 2013

Metamorphic slice: An application in spectrum-based fault localization.
Information & Software Technology, 2013

Prioritization of Combinatorial Test Cases by Incremental Interaction Coverage.
International Journal of Software Engineering and Knowledge Engineering, 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., Verif. Reliab., 2012

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

A Metamorphic Relation-Based Approach to Testing Web Services Without Oracles.
Int. J. Web Service 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?
Information & Software Technology, 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. Exper., 2011

Testing and validating machine learning classifiers by metamorphic testing.
Journal of Systems and Software, 2011

An assessment of systems and software engineering scholars and institutions (2003-2007 and 2004-2008).
Journal of Systems and Software, 2011

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

Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver.
International Journal of Software Engineering and Knowledge Engineering, 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.
Journal of Systems and Software, 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. Reliability, 2009

On detecting faults for Boolean expressions.
Software Quality Journal, 2009

An assessment of systems and software engineering scholars and institutions (2002-2006).
Journal of Systems and Software, 2009

Adaptive random testing based on distribution metrics.
Journal of Systems and Software, 2009

An innovative approach for testing bioinformatics programs using metamorphic testing.
BMC Bioinformatics, 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.
Software Quality Journal, 2008

An assessment of systems and software engineering scholars and institutions (2001-2005).
Journal of Systems and Software, 2008

Distributing test cases more evenly in adaptive random testing.
Journal of Systems and Software, 2008

On the Online Parameter Estimation Problem in Adaptive Software Testing.
International Journal of Software Engineering and Knowledge Engineering, 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. Reliability, 2007

On Favourable Conditions for Adaptive Random Testing.
International Journal of Software Engineering and Knowledge Engineering, 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.
Journal of Systems and Software, 2006

An assessment of systems and software engineering scholars and institutions (2000-2004).
Journal of Systems and Software, 2006

On the statistical properties of testing effectiveness measures.
Journal of Systems and Software, 2006

Restricted Random Testing: Adaptive Random Testing by Exclusion.
International Journal of Software Engineering and Knowledge Engineering, 2006

Integration Testing of Context-sensitive Middleware-based Applications: a Metamorphic Approach.
International Journal of Software Engineering and Knowledge Engineering, 2006

BEAT: A Web-Based Boolean Expression Fault-Based Test Case Generation Tool.
IJDET, 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

Adaptive Random Testing Through Iterative Partitioning.
Proceedings of the Reliable Software Technologies, 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 Software Engineering Notes, 2005

An assessment of systems and software engineering scholars and institutions (1999-2003).
Journal of Systems and Software, 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

A Metamorphic Approach to Integration Testing of Context-Sensitive Middleware-Based Applications.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Quasi-random testing.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004
Experience with teaching black-box testing in a computer science/software engineering curriculum.
IEEE Trans. Education, 2004

On the testing methods used by beginning software testers.
Information & Software Technology, 2004

On the identification of categories and choices for specification-based test case generation.
Information & Software Technology, 2004

Mirror adaptive random testing.
Information & Software Technology, 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.
Proceedings of the Advances in Computer Science, 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).
Journal of Systems and Software, 2003

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

Fault-based testing without the need of oracles.
Information & Software Technology, 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

Mirror Adaptive Random Testing.
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. Systems, Man, and Cybernetics, Part A, 2002

An assessment of systems and software engineering scholars and institutions (1997-2001).
Journal of Systems and Software, 2002

Special Issue for the Second Asia-Pacific Conference on Quality Software.
Information & Software Technology, 2002

Classification-tree restructuring methodologies: a new perspective.
IEE Proceedings - Software, 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., Verif. Reliab., 2001

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

Proportional sampling strategy: a compendium and some insights.
Journal of Systems and Software, 2001

On the maximin algorithms for test allocations in partition testing.
Information & Software Technology, 2001

A Study on a Path-based Strategy for Selecting Black-box Generated Test Cases.
International Journal of Software Engineering and Knowledge Engineering, 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.
International Journal of Software Engineering and Knowledge Engineering, 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 (IDAF) to Manipulate Interaction Diagrams and Fragmentations for Multi-Agent Systems.
International Journal of Software Engineering and Knowledge Engineering, 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.
Autonomous Agents and Multi-Agent Systems, 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.
Information & Software Technology, 1998

A simulation study on some heuristics for test suite reduction.
Information & Software Technology, 1998

A new heuristic for test suite reduction.
Information & Software Technology, 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.
Software - Concepts and Tools, 1997

Construction of classification trees via the classification-hierarchy table.
Information & Software Technology, 1997

On the effectiveness of test case allocation schemes in partition testing.
Information & Software Technology, 1997

Optimal improvement of the lower bound performance of partition testing strategies.
Software Engineering - IEE Proceedings, 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.
Information & Software Technology, 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. Exper., 1994

The use of Prolog in the modelling and evaluation of structure charts.
Information & Software Technology, 1994

1987
AIDA-A Dynamic Data Flow Anomaly Detection System for Pascal Programs.
Softw., Pract. Exper., 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
Information and Control, July, 1981

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

Formalization of correctness of recursive definitions.
International Journal of Parallel Programming, 1980

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


  Loading...