Search results for "T. H. Tse"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tsong Yueh Chen, Peifeng Hu, Hao Li, T. H. Tse	An enhanced flow analysis technique for detecting unreachability faults in concurrent systems.	Inf. Sci.	2012	DBLP DOI BibTeX RDF
1	W. Eric Wong, W. K. Chan, T. H. Tse, Fei-Ching Kuo	Special Issue on Dynamic Analysis and Testing of Embedded Software.	Journal of Systems and Software	2012	DBLP DOI BibTeX RDF
1	Edward Y. Y. Kan, W. K. Chan, T. H. Tse	EClass: An execution classification approach to improving the energy-efficiency of software via machine learning.	Journal of Systems and Software	2012	DBLP DOI BibTeX RDF
1	Bo Jiang, Zhenyu Zhang, W. K. Chan, T. H. Tse, Tsong Yueh Chen	How well does test case prioritization integrate with statistical fault localization?	Information & Software Technology	2012	DBLP DOI BibTeX RDF
1	Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou	Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF
1	Xin Feng, David Lorge Parnas, T. H. Tse, Tony O'Callaghan	A Comparison of Tabular Expression-Based Testing Strategies.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF	test case constraint, subsume, unconditionally subsume, conditionally subsume, Tabular expression
1	Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li, W. K. Chan	Assuring the model evolution of protocol software specifications by regression testing process improvement.	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	Zhenyu Zhang, W. K. Chan, T. H. Tse, Y. T. Yu, Peifeng Hu	Non-parametric statistical fault localization.	Journal of Systems and Software	2011	DBLP DOI BibTeX RDF
1	Lijun Mei, W. K. Chan, T. H. Tse, Robert G. Merkel	XML-manipulating test case prioritization for XML-manipulating services.	Journal of Systems and Software	2011	DBLP DOI BibTeX RDF
1	W. Eric Wong, T. H. Tse, Robert L. Glass, Victor R. Basili, Tsong Yueh Chen	An assessment of systems and software engineering scholars and institutions (2003-2007 and 2004-2008).	Journal of Systems and Software	2011	DBLP DOI BibTeX RDF
1	Pak-Lok Poon, T. H. Tse, Sau-Fun Tang, Fei-Ching Kuo	Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing.	Software Quality Journal	2011	DBLP DOI BibTeX RDF
1	Zhenyu Zhang, W. K. Chan, T. H. Tse, Bo Jiang	Precise Propagation of Fault-Failure Correlations in Program Flow Graphs.	COMPSAC	2011	DBLP DOI BibTeX RDF
1	Bo Jiang, W. K. Chan, T. H. Tse	On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization.	QSIC	2011	DBLP DOI BibTeX RDF
1	Jian Xu, W. K. Chan, Zhenyu Zhang, T. H. Tse, Shanping Li	A Dynamic Fault Localization Technique with Noise Reduction for Java Programs.	QSIC	2011	DBLP DOI BibTeX RDF
1	Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel, T. H. Tse	Adaptive Random Testing: The ART of test case diversity.	Journal of Systems and Software	2010	DBLP DOI BibTeX RDF
1	Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse, Xinming Wang	Fault localization through evaluation sequences.	Journal of Systems and Software	2010	DBLP DOI BibTeX RDF
1	Pak-Lok Poon, Sau-Fun Tang, T. H. Tse, Tsong Yueh Chen	CHOC'LATE: a framework for specification-based testing.	Commun. ACM	2010	DBLP DOI BibTeX RDF
1	W. K. Chan, Jeffrey C. F. Ho, T. H. Tse	Finding failures from passed test cases: improving the pattern classification approach to the testing of mesh simplification programs.	Softw. Test., Verif. Reliab.	2010	DBLP DOI BibTeX RDF
1	Huai Wang, Ke Zhai, T. H. Tse	Correlating Context-Awareness and Mutation Analysis for Pervasive Computing Systems.	QSIC	2010	DBLP DOI BibTeX RDF
1	Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li	Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software.	QSIC	2010	DBLP DOI BibTeX RDF
1	Edward Y. Y. Kan, W. K. Chan, T. H. Tse	Leveraging Performance and Power Savings for Embedded Systems Using Multiple Target Deadlines.	QSIC	2010	DBLP DOI BibTeX RDF
1	Ke Zhai, Bo Jiang, W. K. Chan, T. H. Tse	Taking Advantage of Service Selection: A Study on the Testing of Location-Based Web Services Through Test Case Prioritization.	ICWS	2010	DBLP DOI BibTeX RDF	location-based web service, service-centric testing, service selection, test case prioritization
1	Zhenyu Zhang, Wing Kwong Chan, T. H. Tse, Heng Lu 0001, Lijun Mei	Resource prioritization of code optimization techniques for program synthesis of wireless sensor network applications.	Journal of Systems and Software	2009	DBLP DOI BibTeX RDF
1	Wing Kwong Chan, Shing-Chi Cheung, Jeffrey C. F. Ho, T. H. Tse	PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs.	Journal of Systems and Software	2009	DBLP DOI BibTeX RDF
1	W. Eric Wong, T. H. Tse, Robert L. Glass, Victor R. Basili, Tsong Yueh Chen	An assessment of systems and software engineering scholars and institutions (2002-2006).	Journal of Systems and Software	2009	DBLP DOI BibTeX RDF
1	Zhenyu Zhang, W. K. Chan, T. H. Tse, Peifeng Hu, Xinming Wang	Is non-parametric hypothesis testing model robust for statistical fault localization?	Information & Software Technology	2009	DBLP DOI BibTeX RDF
1	Bo Jiang, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse	Adaptive Random Test Case Prioritization.	ASE	2009	DBLP DOI BibTeX RDF	test case prioritization, Adaptive random testing
1	Bo Jiang, W. K. Chan, Zhenyu Zhang, T. H. Tse	Where to adapt dynamic service compositions.	WWW	2009	DBLP DOI BibTeX RDF	service composition, service adaptation
1	Lijun Mei, Zhenyu Zhang, W. K. Chan, T. H. Tse	Test case prioritization for regression testing of service-oriented business applications.	WWW	2009	DBLP DOI BibTeX RDF	XPath, service orientation, WSDL, test case prioritization
1	Lijun Mei, W. K. Chan, T. H. Tse, Fei-Ching Kuo	An Empirical Study of the Use of Frankl-Weyuker Data Flow Testing Criteria to Test BPEL Web Services.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Bo Jiang, Zhenyu Zhang, T. H. Tse, Tsong Yueh Chen	How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Huo Yan Chen, T. H. Tse	Automatic Generation of Normal Forms for Testing Object-Oriented Software.	QSIC	2009	DBLP DOI BibTeX RDF	equivalent fundamental pair, software testing, object-oriented program, algebraic specification, normal form
1	Lijun Mei, W. K. Chan, T. H. Tse, Robert G. Merkel	Tag-Based Techniques for Black-Box Test Case Prioritization for Service Testing.	QSIC	2009	DBLP DOI BibTeX RDF	black-box regression testing, service testing, encapsulation testing, WS-BPEL, test case prioritization
1	Lijun Mei, W. K. Chan, T. H. Tse	Data flow testing of service choreography.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	web services, software testing, service composition, orchestration, choreography, data flow testing
1	Zhenyu Zhang, Wing Kwong Chan, T. H. Tse, Bo Jiang, Xinming Wang	Capturing propagation of infected program states.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	basic block, control-flow edge, edge profile, fault localization
1	W. Eric Wong, T. H. Tse, Robert L. Glass, Victor R. Basili, Tsong Yueh Chen	An assessment of systems and software engineering scholars and institutions (2001-2005).	Journal of Systems and Software	2008	DBLP DOI BibTeX RDF
1	T. H. Tse, W. Eric Wong	Editorial.	Journal of Systems and Software	2008	DBLP DOI BibTeX RDF
1	Lijun Mei, W. K. Chan, T. H. Tse	Toward Scalable Statistical Service Selection.	SOSE	2008	DBLP DOI BibTeX RDF
1	Xin Feng, David Lorge Parnas, T. H. Tse	Fault Propagation in Tabular Expression-Based Specifications.	COMPSAC	2008	DBLP DOI BibTeX RDF	test case constraint, specification table, description table, fault-based testing, tabular expression, Fault propagation
1	Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse	Debugging through Evaluation Sequences: A Controlled Experimental Study.	COMPSAC	2008	DBLP DOI BibTeX RDF	evaluation sequence, fault localization
1	Lijun Mei, Wing Kwong Chan, T. H. Tse	A Tale of Clouds: Paradigm Comparisons and Some Thoughts on Research Issues.	APSCC	2008	DBLP DOI BibTeX RDF
1	Huo Yan Chen, Lin Tan, T. H. Tse	A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing.	CSSE	2008	DBLP DOI BibTeX RDF
1	Yu Xia Sun, Huo Yan Chen, T. H. Tse	Lean Implementations of Software Testing Tools Using XML Representations of Source Codes.	CSSE	2008	DBLP DOI BibTeX RDF
1	Peifeng Hu, Zhenyu Zhang, Wing Kwong Chan, T. H. Tse	Fault Localization with Non-parametric Program Behavior Model.	QSIC	2008	DBLP DOI BibTeX RDF	non-parameter statistics, Fault localization
1	Lijun Mei, W. K. Chan, T. H. Tse	Data flow testing of service-oriented workflow applications.	ICSE	2008	DBLP DOI BibTeX RDF	workflow testing, ws-bpel, xml document model, soa, testing, xpath, xml, service-orientation, rewriting rules
1	Heng Lu 0001, W. K. Chan, T. H. Tse	Testing pervasive software in the presence of context inconsistency resolution services.	ICSE	2008	DBLP DOI BibTeX RDF	context inconsistency resolution, pervasive computing, test adequacy
1	Lijun Mei, Wing Kwong Chan, T. H. Tse	An Adaptive Service Selection Approach to Service Composition.	ICWS	2008	DBLP DOI BibTeX RDF
1	Hong Mei, T. H. Tse	Guest Editors' Introduction.	International Journal of Software Engineering and Knowledge Engineering	2007	DBLP DOI BibTeX RDF
1	T. H. Tse, Francis C. M. Lau, W. K. Chan, Peter C. K. Liu, Colin K. F. Luk	Testing object-oriented industrial software without precise oracles or results.	Commun. ACM	2007	DBLP DOI BibTeX RDF
1	Huo Yan Chen, Chuang Li, T. H. Tse	Transformation of UML interaction diagrams into contract specifications for object-oriented testing.	SMC	2007	DBLP DOI BibTeX RDF
1	W. K. Chan, Jeffrey C. F. Ho, T. H. Tse	Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures in Mesh Simplification Programs.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	W. K. Chan, Tsong Yueh Chen, S. C. Cheung, T. H. Tse, Zhenyu Zhang	Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks.	Ada-Europe	2007	DBLP DOI BibTeX RDF	WSN application, Wireless sensor network, software testing, power awareness, test automation, test oracle, metamorphic testing
1	Tsong Yueh Chen, Dehao Huang, T. H. Tse, Zongyuan Yang	An Innovative Approach to Tackling the Boundary Effect in Adaptive Random Testing.	HICSS	2007	DBLP DOI BibTeX RDF
1	Zhenyu Zhang, W. K. Chan, T. H. Tse	Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization Techniques.	QSIC	2007	DBLP DOI BibTeX RDF	adaptive software design, code optimization technique, Wireless sensor network, resource constraint
1	W. K. Chan, Tsong Yueh Chen, Heng Lu 0001, T. H. Tse, Stephen S. Yau	Integration Testing of Context-sensitive Middleware-based Applications: a Metamorphic Approach.	International Journal of Software Engineering and Knowledge Engineering	2006	DBLP DOI BibTeX RDF
1	Kai-Yuan Cai, Atsushi Ohnishi, T. H. Tse	Guest Editors' Introduction.	International Journal of Software Engineering and Knowledge Engineering	2006	DBLP DOI BibTeX RDF
1	Hans-Dieter Ehrich, Klaus-Dieter Schewe, T. H. Tse	Editorial.	Journal of Systems and Software	2006	DBLP DOI BibTeX RDF
1	W. K. Chan, M. Y. Cheng, S. C. Cheung, T. H. Tse	Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study.	Journal of Systems and Software	2006	DBLP DOI BibTeX RDF
1	T. H. Tse, Tsong Yueh Chen, Robert L. Glass	An assessment of systems and software engineering scholars and institutions (2000-2004).	Journal of Systems and Software	2006	DBLP DOI BibTeX RDF
1	W. K. Chan, S. C. Cheung, Jeffrey C. F. Ho, T. H. Tse	Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering.	COMPSAC	2006	DBLP DOI BibTeX RDF
1	Peifeng Hu, Zhenyu Zhang, W. K. Chan, T. H. Tse	An empirical comparison between direct and indirect test result checking approaches.	SOQUA	2006	DBLP DOI BibTeX RDF	empirical evaluation, controlled experiment, test oracle, metamorphic testing
1	Heng Lu 0001, W. K. Chan, T. H. Tse	Static Slicing for Pervasive Programs.	QSIC	2006	DBLP DOI BibTeX RDF	Pervasive concurrent program, static slicing
1	Heng Lu 0001, W. K. Chan, T. H. Tse	Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	RFID, context-aware applications, test adequacy
1	T. H. Tse	Research Directions on Model-Based Metamorphic Testing and Verification.	COMPSAC	2005	DBLP DOI BibTeX RDF
1	Tsong Yueh Chen, Sau-Fun Tang, Pak-Lok Poon, T. H. Tse	Identification of Categories and Choices in Activity Diagrams.	QSIC	2005	DBLP DOI BibTeX RDF	choice relation framework, test frame, specification-based testing, Activity diagrams, classification-tree method, category-partition method
1	W. K. Chan, S. C. Cheung, T. H. Tse	Fault-Based Testing of Database Application Programs with Conceptual Data Model.	QSIC	2005	DBLP DOI BibTeX RDF	database application testing, semantic mutants, fault-based testing
1	Tsong Yueh Chen, Pak-Lok Poon, Sau-Fun Tang, T. H. Tse	On the identification of categories and choices for specification-based test case generation.	Information & Software Technology	2004	DBLP DOI BibTeX RDF
1	Huimin Lin, Hans-Dieter Ehrich, T. H. Tse	Editorial.	Information & Software Technology	2004	DBLP BibTeX RDF
1	T. H. Tse, Stephen S. Yau, W. K. Chan, Heng Lu 0001, Tsong Yueh Chen	Testing Context-Sensitive Middleware-Based Software Applications.	COMPSAC	2004	DBLP DOI BibTeX RDF	RCSM, middleware-based application, metamorphic testing, Property-based testing
1	T. H. Tse	Computing Curriculum - Software Engineering: Its Impact on Professional Software Engineering Education. (PDF / PS)	COMPSAC	2004	DBLP DOI BibTeX RDF
1	M. Y. Cheng, S. C. Cheung, T. H. Tse	Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems.	QSIC	2004	DBLP DOI BibTeX RDF	neural networks, classification, multimedia, Software testing, Bayesian networks, k-nearest neighbor
1	Tsong Yueh Chen, Pak-Lok Poon, T. H. Tse	A Choice Relation Framework for Supporting Category-Partition Test Case Generation.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Category-partition testing, choice relation framework, choice relation table, test case construction, test frame, specification-based testing
1	Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou	Fault-based testing without the need of oracles.	Information & Software Technology	2003	DBLP DOI BibTeX RDF
1	Huo Yan Chen, Yu Xia Sun, T. H. Tse	A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software.	COMPSAC	2003	DBLP DOI BibTeX RDF	Object-oriented program testing, OBJSA net, concurrency, non-determinism
1	Tsong Yueh Chen, Fei-Ching Kuo, T. H. Tse, Zhiquan Zhou	Metamorphic Testing and Beyond.	STEP	2003	DBLP DOI BibTeX RDF	Follow-up test cases, semi-proving, successful test case, test case selection strategy, testing oracle, metamorphic testing
1	Tsong Yueh Chen, Pak-Lok Poon, T. H. Tse	Classification-tree restructuring methodologies: a new perspective.	IEE Proceedings - Software	2002	DBLP BibTeX RDF
1	Tsong Yueh Chen, T. H. Tse, Yuen-Tak Yu	Special Issue for the Second Asia-Pacific Conference on Quality Software.	Information & Software Technology	2002	DBLP DOI BibTeX RDF
1	Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou	Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing.	ISSTA	2002	DBLP DOI BibTeX RDF	global symbolic evaluation, program proving, semi-proving, program testing, symbolic execution, metamorphic testing
1	Tsong Yueh Chen, Pak-Lok Poon, Sau-Fun Tang, T. H. Tse, Yuen-Tak Yu	Towards a Problem-Driven Approach to Perspective-Based Reading.	HASE	2002	DBLP DOI BibTeX RDF	Defect-Based Reading, Requirements Inspection, Software Inspection, Perspective-Based Reading, Classification-Tree Method
1	Kai-Yuan Cai, Tsong Yueh Chen, T. H. Tse	Towards Research on Software Cybernetics.	HASE	2002	DBLP DOI BibTeX RDF	software engineering, Control engineering, software cybernetics
1	Tsong Yueh Chen, Jianqiang Feng, T. H. Tse	Metamorphic Testing of Programs on Partial Differential Equations: A Case Study.	COMPSAC	2002	DBLP DOI BibTeX RDF	Program testing, partial differential equations, metamorphic testing, oracle problem
1	T. H. Tse	Quality Software - Guest Editor's Introduction.	International Journal of Software Engineering and Knowledge Engineering	2001	DBLP DOI BibTeX RDF
1	Tsong Yueh Chen, T. H. Tse, Yuen-Tak Yu	Proportional sampling strategy: a compendium and some insights.	Journal of Systems and Software	2001	DBLP DOI BibTeX RDF
1	Huo Yan Chen, T. H. Tse, Tsong Yueh Chen	TACCLE: a methodology for object-oriented software testing at the class and cluster levels.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	contact specifications, software testing, object-oriented programming, message passing, algebraic specifications
1	Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou	Fault-Based Testing in the Absence of an Oracle.	COMPSAC	2001	DBLP DOI BibTeX RDF	symbolic execution, Fault-based testing, metamorphic testing, oracle problem
1	Hing Leung, T. H. Tse, F. T. Chan, Tsong Yueh Chen	Test case selection with and without replacement.	Inf. Sci.	2000	DBLP DOI BibTeX RDF
1	Tsong Yueh Chen, Pak-Lok Poon, T. H. Tse	An Integrated Classification-Tree Methodology for Test Case Generation.	International Journal of Software Engineering and Knowledge Engineering	2000	DBLP DOI BibTeX RDF
1	Huo Yan Chen, T. H. Tse, Yue Tang Deng	ROCS: an object-oriented class-level testing system based on the Relevant Observable ContextS technique.	Information & Software Technology	2000	DBLP DOI BibTeX RDF
1	T. H. Tse	Towards Harmonized Professional Standards for Software Engineers: Constraints, Conflicts, and Concessions. (PDF / PS)	COMPSAC	2000	DBLP DOI BibTeX RDF
1	T. H. Tse, Zhiquan Zhou, Tsong Yueh Chen	Testing of Large Number Multiplication Functions in Cryptographic Systems.	APAQS	2000	DBLP DOI BibTeX RDF	Cryptographic systems, large number multiplication, software testing
1	T. H. Tse, Xin Feng, Tsong Yueh Chen	On the Completeness of Test Cases for Atomic Arithmetic Expressions.	APAQS	2000	DBLP DOI BibTeX RDF	completeness of test cases, software testing, mutation testing, mutation operators, Arithmetic expressions
1	T. H. Tse	One System, Two Ideologies: Integrating the Two Worlds of Software Engineering Education. (PDF / PS)	COMPSAC	1999	DBLP DOI BibTeX RDF
1	Huo Yan Chen, T. H. Tse, F. T. Chan, Tsong Yueh Chen	In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs.	ACM Trans. Softw. Eng. Methodol.	1998	DBLP DOI BibTeX RDF	software-testing methodologies, object-oriented programming, abstract data types, algebraic specification, observational equivalence
1	F. T. Chan, Tsong Yueh Chen, T. H. Tse	On the effectiveness of test case allocation schemes in partition testing.	Information & Software Technology	1997	DBLP DOI BibTeX RDF
1	T. H. Tse, Tsong Yueh Chen, F. T. Chan, Huo Yan Chen, H. L. Xie	The Application of Prolog to Structured Design.	Softw., Pract. Exper.	1994	DBLP DOI BibTeX RDF
1	T. H. Tse, F. T. Chan, Huo Yan Chen	An Axiom-based Test Case Selection Strategy for Object-oriented Programs.	Software Quality and Productivity	1994	DBLP BibTeX RDF
1	T. H. Tse	Formal or Informal, Practical or Impractical: Towards Integrating Formal Methods with Informal Practices in Software Engineering Education.	Software Engineering Education	1993	DBLP BibTeX RDF
1	T. H. Tse, L. Pong	An Examination of Requirements Specification Languages.	Comput. J.	1991	DBLP DOI BibTeX RDF
1	T. H. Tse, L. Pong	Towards a Formal Foundation for DeMarco Data Flow Diagrams.	Comput. J.	1989	DBLP DOI BibTeX RDF
1	T. H. Tse	On the Detection of Unstructuredness in Flowgraphs.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF

Publications of "T. H. Tse" ( http://dblp.L3S.de/Authors/T._H._Tse )