Tsong Yueh Chen

From MaRDI portal
(Redirected from Person:209302)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Adaptive Partition Testing
IEEE Transactions on Computers
2019-03-07Paper
A Cost-Effective Random Testing Method for Programs with Non-Numeric Inputs
IEEE Transactions on Computers
2017-05-16Paper
Randomized Quasi-Random Testing
IEEE Transactions on Computers
2017-05-16Paper
scientific article; zbMATH DE number 2088729 (Why is no real title available?)2004-08-12Paper
scientific article; zbMATH DE number 2011487 (Why is no real title available?)2003-12-01Paper
scientific article; zbMATH DE number 1706352 (Why is no real title available?)2002-02-18Paper
Test case selection with and without replacement
Information Sciences
2001-10-14Paper
The universal safeness of test allocation strategies for partition testing
Information Sciences
2001-10-14Paper
On the Completeness of a Test Suite Reduction Strategy
The Computer Journal
2000-01-31Paper
Dividing strategies for the optimization of a test suite
Information Processing Letters
1997-02-27Paper
A more general sufficient condition for partition testing to be better than random testing
Information Processing Letters
1997-02-27Paper
On the structural properties of the set of fixpoints for nondeterministic recursive definitions
Journal of Computer and System Sciences
1996-07-16Paper
AIDA–A dynamic data flow anomaly detection system for pascal programs
Software: Practice and Experience
1987-01-01Paper
On the fixpoints of nondeterministic recursive definitions
Journal of Computer and System Sciences
1984-01-01Paper
On the relationship between computed functions and fixpoints of nondeterministic recursive definitions
Information and Control
1981-01-01Paper
Formalization of correctness of recursive definitions
International Journal of Computer & Information Sciences
1980-01-01Paper
Formalization of properties of nondeterministic recursive definitions
Information Sciences
1980-01-01Paper
Formalization of equivalence of recursively defined functions
Information Sciences
1978-01-01Paper


Research outcomes over time


This page was built for person: Tsong Yueh Chen