-
T.H. Tse, "Review of B. Güldali, H. Funke, S. Sauer, G. Engels,
'TORC: test plan optimization by requirements clustering',
Software Quality Journal 19 (4): 771-799 (2011)",
ACM Computing Reviews 53
(2012).
-
T.H. Tse, "Review of G. Cabodi, M. Murciano, and M. Violante,
'Boosting software fault injection for dependability analysis of
real-time embedded applications',
ACM Transactions on Embedded Computing Systems 10 (2):
Article No. 24 (2010)",
ACM Computing Reviews 52
(2011).
[review]
-
T.H. Tse,
"Review of V. Uzelac and A. Milenkovic,
'A real-time program trace compressor utilizing double move-to-front method',
in
Proceedings of the 46th Annual Design Automation Conference,
ACM, New York, NY, pp. 738-743 (2009)",
ACM Computing Reviews 51
(2010).
[review]
-
T.H. Tse,
"Review of M. Burger and A. Zeller,
'Replaying and isolating failing multi-object interactions',
in
Proceedings of the 2008 International Workshop on Dynamic Analysis
(WODA 2008)
(in conjunction with the ACM SIGSOFT International Symposium on
Software Testing and Analysis
(ISSTA 2008)),
ACM, New York, NY, pp. 71-77 (2008)",
ACM Computing Reviews 49
(2008).
[review]
-
T.H. Tse,
"Review of A. Orso, H. Do, G. Rothermel, M.J. Harrold, D. Rosenblum,
'Using component metadata to regression test component-based software',
Software Testing, Verification and Reliability 17
(2): 61-94 (2007)",
ACM Computing Reviews 48
(2007).
[review]
-
T.H. Tse,
"Review of S. Vegas and V. Basili,
'A characterisation schema for software testing techniques',
Empirical Software Engineering 10
(4): 437-466 (2005)",
ACM Computing Reviews 47
(2006).
[review]
-
T.H. Tse,
"Review of J. Miller and Z. Yin,
'A cognitive-based mechanism for constructing software inspection teams',
IEEE Transactions on Software Engineering 30
(11): 811-825 (2004)",
ACM Computing Reviews 46
(6) (2005).
[review]
-
T.H. Tse,
"Review of N.M. Orlans, A.T. Piszcz, and R.J. Chavez,
'Parametrically controlled synthetic imagery experiment for face
recognition testing',
in
Proceedings of the 2003 ACM SIGMM Workshop on Biometrics Methods and
Applications,
ACM, New York, NY, pp. 58-64 (2003)",
ACM Computing Reviews 45
(6) (2004).
[review]
-
T.H. Tse,
"Review of M. Burnett, A. Sheretov, B. Ren, and G. Rothermel,
'Testing homogeneous spreadsheet grids with the
"what you see is what you test" methodology',
IEEE Transactions on Software Engineering 28
(6): 576-594 (2002)",
ACM Computing Reviews 43
(12) (2002).
[review]
-
T.H. Tse,
"Review of A. Gargantini and A. Morzenti,
'Automated deductive requirements analysis of critical systems',
ACM Transactions on Software Engineering and Methodology 10
(3): 255-307 (2001)",
ACM Computing Reviews 43
(5) (2002).
[review]
-
T.H. Tse,
"Review of B. Littlewood, P.T. Popov, L. Strigini, and N. Shryane,
'Modeling the effects of combining diverse software fault
detection techniques',
IEEE Transactions on Software Engineering 26
(12): 1157-1167 (2000)",
ACM Computing Reviews 42
(6) (2001).
[review]
-
T.H. Tse,
"Book review: M. Fewster and D. Graham,
Software Test Automation: Effective Use of Test Execution Tools,
Addison Wesley, New York, NY (1999)",
ACM Computing Reviews 40
(12) (1999).
[review]
-
T.H. Tse,
"Review of S.R. Chidamber, D.P. Darcy, and C.F. Kemerer,
'Managerial use of metrics for object-oriented software:
an exploratory analysis',
IEEE Transactions on Software Engineering 24
(8): 629-639 (1998)",
ACM Computing Reviews 40
(3) (1999).
[review]
-
T.H. Tse,
"Book review: D. Kafura,
Object-Oriented Software Design and Construction with C++,
Prentice-Hall, Englewood Cliffs, NJ (1997)",
ACM Computing Reviews 39
(8) (1998).
[review]
-
T.H. Tse,
"Book review: B.P. Zeigler,
Objects and Systems: Principled Design with Implementations in C++
and Java,
Springer, New York, NY (1997)",
ACM Computing Reviews 39
(2) (1998).
[review]
-
T.H. Tse,
"Book review: J. McCarthy,
Dynamics of Software Development,
Microsoft Press, Redmond, WA (1995)",
ACM Computing Reviews 38
(3): 154 (1997).
[review]
-
T.H. Tse,
"Review of B.H. Liskov and J.M. Wing,
'A behavioral notion of subtyping',
in
ACM Transactions on Programming Languages and Systems 16
(6): 1811-1841 (1994)",
ACM Computing Reviews 37
(6): 313 (1996).
[review]
-
T.H. Tse,
"Book review: A.C. Gillies and P. Smith,
Managing Software Engineering: CASE
Studies and Solutions,
Chapman and Hall, London (1994)",
ACM Computing Reviews 36
(7): 362-363 (1995).
[review]
-
T.H. Tse,
"Book review: G. Booch,
Object-Oriented Analysis and Design with Applications,
Benjamin/Cummings, Redwood City, CA (1994)",
ACM Computing Reviews 36
(3): 139 (1995).
[review]
-
T.H. Tse,
"Comparative review of Martin and Odell,
Object-Oriented Analysis and Design
(1992),
Coad and Yourdon,
Object-Oriented Analysis
(1991),
Embley et al.,
Object-Oriented Systems Analysis
(1992),
Booch,
Object-Oriented Design with Applications
(1991),
and Rumbaugh et al.,
Object-Oriented Modeling and Design
(1991)",
ACM Computing Reviews 35
(4): 187-190 (1994).
[review]
-
T.H. Tse,
"Review of P.C. Gilmore and G.K. Tsiknis,
'A logic for category theory',
in
Selected Papers of the 6th Workshop on Mathematical Foundations of
Programming Semantics, Theoretical Computer Science 111: 211-252
(1993)",
ACM Computing Reviews 35
(9): 486 (1994).
[review]
-
T.H. Tse,
"Review of G.A. Venkatesh and C.N. Fischer,
'SPARE: A development environment for program analysis algorithms',
IEEE Transactions on Software Engineering 18
(4): 304-318 (1992)",
ACM Computing Reviews 34
(5): 256-257 (1993).
[review]
-
T.H. Tse,
"Review of D.L. Pigozzi,
'Data types over multiple-valued logics',
Theoretical Computer Science 77
(1 and 2): 161-194
(1991)",
ACM Computing Reviews 33
(8): 448 (1992).
[review]
-
T.H. Tse,
"Review of R. Hennicker,
'Observational implementation of algebraic specifications',
Acta Informatica 28
(3): 187-230
(1991)",
ACM Computing Reviews 33
(7): 388-389 (1992).
[review]
-
T.H. Tse,
"Review of M.S. Jaffe, N.G. Leveson, M.P. Heimdahl, and B.E. Melhart,
'Software requirements analysis for real-time process-control systems',
IEEE Transactions on Software Engineering 17
(3): 241-258 (1991)",
ACM Computing Reviews 33
(3): 159 (1992).
[review]
-
T.H. Tse,
"Review of M. Barr,
'Fixed points in Cartesian closed categories',
in
Selected Papers of the 4th Workshop on Mathematical Foundations of Programming Semantics, Theoretical Computer Science 70
(1): 65-72 (1990)",
ACM Computing Reviews 32
(6): 317-318 (1991).
[review]
-
T.H. Tse,
"Review of A. Carle and L. Pollock,
'Modular specification of incremental program transformation systems', in
Proceedings of the 11th International Conference on Software Engineering
(ICSE 1989),
IEEE Computer Society, Washington, DC, pp. 178-187 (1989)",
ACM Computing Reviews 31 (10): 550 (1990).
[review]
-
T.H. Tse,
"Review of G. Smolka and H. Ait-Kaci,
'Inheritance hierarchies: semantics and unification',
Journal of Symbolic Computation 7
(3 and 4): 343-370 (1989)",
ACM Computing Reviews 31 (3): 162 (1990).
[review]
|
|