Concurrent Systems
-
T.Y. Chen, P. Hu, H. Li, and T.H. Tse,
"An enhanced flow analysis technique for detecting unreachability
faults in concurrent systems",
Information Sciences 194 (7): 254-269 (2012).
[abstract
|
paper
from ScienceDirect
|
technical
report TR-2012-01]
-
K. Zhai, B. Xu, W.K. Chan, and T.H. Tse,
"CARISMA: A context-sensitive approach to race-condition sample-instance
selection for multithreaded applications",
in
Proceedings of the 2012
International Symposium on Software Testing and Analysis
(ISSTA '12),
ACM, New York, NY, USA, pp. 221-231 (2012).
34 citations.
[abstract
|
author-izer
free download from ACM digital library]
Fault Localization
-
W.E. Wong and T.H. Tse (eds.),
Handbook of Software Fault Localization: Foundations and Advances,
Wiley-IEEE Press,
Hoboken, NY, USA, xiv + 590 pages (2023).
[abstract
|
formal
website at Wiley Press
|
paperback edition US$250
|
eBook edition US$100 from
Wiley
online library
|
online edition US$10 to US$42 per chapter from
Wiley
online library,
or US$31 per chapter from
IEEE
Xplore
|
bookcover
design
by T.H. Tse]
-
Z. Zhang, W.K. Chan, and T.H. Tse,
"Fault localization based only on failed runs",
IEEE Computer 45 (6): 64-71 (2012).
Journal impact factor 2.0.
56 citations.
[abstract
|
paper
from IEEE Xplore
|
paper
from IEEE digital library
|
technical
report TR-2012-04]
-
Z. Zhang, W.K. Chan, T.H. Tse, B. Jiang, and X. Wang,
"Capturing propagation of infected program states",
in
Proceedings of the 7th Joint Meeting of the European Software
Engineering Conference and the ACM SIGSOFT International Symposium
on Foundation of Software Engineering
(ESEC/FSE '09),
ACM, New York, NY, USA, pp. 43-52 (2009).
Acceptance rate 14.7%.
160 citations.
[abstract
|
author-izer
free download from ACM digital library]
-
Z. Zhang, B. Jiang, W.K. Chan, and T.H. Tse,
"Debugging through evaluation sequences: A controlled experimental study",
in
Proceedings of the 32nd Annual International Computer Software and
Applications Conference
(COMPSAC '08),
IEEE Computer Society, Los Alamitos, CA, USA, pp. 128-135 (2008).
Best paper award.
Acceptance rate 19.5%.
20 citations.
[abstract
|
paper
from IEEE Xplore
|
paper
from IEEE digital library
|
technical
report TR-2008-07]
Integration of Proving, Testing, and Debugging
-
T.Y. Chen, T.H. Tse, and Z.Q. Zhou,
"Semi-proving: An integrated method for program proving, testing,
and debugging",
IEEE Transactions on Software Engineering 37 (1): 109-125
(2011).
Journal impact factor 6.5.
96 citations.
[abstract
|
paper
from IEEE Xplore
|
paper
from IEEE digital library
|
technical
report TR-2009-10]
Integrating Test Case Prioritization and Fault Localization
-
B. Jiang, W.K. Chan, and T.H. Tse,
"On practical adequate test suites for integrated test case
prioritization and fault localization",
in
Proceedings of the 11th International Conference on Quality Software
(QSIC '11),
IEEE Computer Society, Los Alamitos, CA, USA, pp. 21-30 (2011).
Best paper award.
27 citations.
[abstract
|
paper
from IEEE Xplore
|
paper
from IEEE digital library
|
technical
report TR-2011-10]
-
B. Jiang, Z. Zhang, T.H. Tse, and T.Y. Chen,
"How well do test case prioritization techniques support statistical
fault localization",
in
Proceedings of the 33rd Annual International Computer Software and
Applications Conference
(COMPSAC '09), vol. 1,
IEEE Computer Society, Los Alamitos, CA, USA, pp. 99-106 (2009).
Best paper award.
Acceptance rate 14.7%.
108 citations.
[abstract
|
paper
from IEEE Xplore
|
paper
from IEEE digital library
|
technical
report TR-2009-09]
Integrating Formal and Practical Methods
-
T.H. Tse,
A Unifying Framework for Structured Analysis and Design
Models: An Approach Using Initial Algebra Semantics and Category Theory,
Cambridge
Tracts in Theoretical Computer Science, vol. 11,
Cambridge
University Press,
Cambridge, UK, xi + 179 pages.
eBook edition,
US$33.00 (2010).
Paperback edition,
US$35.99 (2009).
Hardback edition,
US$107.99 (1991).
55 citations.
[abstract
|
selected reviews]
-
T.H. Tse and L. Pong,
"Towards a formal foundation for DeMarco data flow diagrams",
The Computer Journal 32 (1): 1-12 (1989).
Journal impact factor 1.5.
75 citations.
[abstract
|
free
download from Oxford Journals]
Comparison of Emerging Paradigms
-
L. Mei, W.K. Chan, and T.H. Tse,
"A tale of clouds: Paradigm comparisons and some thoughts on research issues",
in
Proceedings of the 2008 IEEE Asia-Pacific Services Computing Conference
(APSCC '08),
IEEE Computer Society, Los Alamitos, CA, USA, pp. 464-469 (2008).
384 citations.
[abstract
|
paper
from IEEE Xplore
|
paper
from IEEE digital library
|
technical
report TR-2008-14]
| |
