El Tse

TH Tse ( chino :謝俊謙) es un académico de Hong Kong que es profesor e investigador en pruebas y depuración de programas . Está clasificado internacionalmente como el segundo autor más prolífico en pruebas metamórficas . ^[1] Según Bruel et al., ^[2] "La investigación sobre técnicas formales e informales integradas puede rastrear sus raíces en el trabajo de TH Tse a mediados de los años ochenta". Las áreas de aplicación de su investigación incluyen software orientado a objetos , computación de servicios , computación generalizada , sistemas concurrentes , software de imágenes y programas numéricos . Además, crea diseños gráficos para organizaciones no gubernamentales . ^[3]

Tse recibió el doctorado de la London School of Economics en 1988 bajo la supervisión de Frank Land e Ian Angell. ^[4] Fue profesor visitante en la Universidad de Oxford en 1990 y 1992. Actualmente es profesor honorario de informática en la Universidad de Hong Kong tras retirarse de su cátedra titular en 2014. Fue condecorado con un MBE por la reina Isabel II del Reino Unido . ^{[5] [6] : 87}

En 2013, se celebró en Nanjing, China, un evento internacional titulado " El Simposio sobre Arneses de Pruebas de Ingeniería " " en honor a la jubilación de TH Tse". ^[7] El acrónimo del simposio era "TSE-TH".

Entre 2017 y 2021, Tse actuó como intermediario para la recaudación de fondos de 150 millones de dólares para que la Universidad de Hong Kong estableciera las alas de innovación Tam Wing Fan I y II en la Facultad de Ingeniería. ^{[8] [9] [10]}

En 2019, Tse y su equipo aplicaron pruebas metamórficas para verificar la solidez de los servicios de indexación de citas , incluidos Scopus y Web of Science . El método innovador, conocido como "prueba de robustez metamórfica", reveló que la presencia de guiones simples en los títulos de artículos académicos afecta negativamente a los recuentos de citas y a los factores de impacto de las revistas , independientemente de la calidad de las publicaciones. ^{[11] [12]} Este "extraño nuevo hallazgo", ^[13] así como la refutación de Web of Science y la aclaración de Tse, se informó en ScienceAlert , ^[13] Nature Index , ^[14] Communications of the ACM , ^[15] Psychology Today , ^[16] y The Australian . ^[17]

En 2021, Tse y su equipo fueron seleccionados como el Gran Campeón del Premio al Artículo Más Influyente ^[18] por el Journal of Systems and Software por su artículo de 2010. ^[19] Según Google Scholar , la revista ocupa el puesto número 3 en el índice h 5 entre los lugares de publicación internacionales en sistemas de software. ^[20]

En 2024, Tse nominó con éxito a Tsong Yueh Chen de la Universidad Tecnológica de Swinburne , Melbourne , Australia, para recibir el Premio de Investigación Destacada ACM SIGSOFT 2024 "por contribuciones a las pruebas de software a través de la invención y el desarrollo de pruebas metamórficas ". ^{[21] [22]} Este premio se otorga a personas que han realizado contribuciones de investigación significativas y duraderas a la teoría o la práctica de la ingeniería de software . ^[23] Los premiados están invitados a dar una presentación magistral en la conferencia ICSE . ^[23] Los ganadores anteriores incluyen a Gail Murphy 2023, Lionel Briand 2022, Mark Harman 2019, Daniel Jackson 2017, Carlo Ghezzi 2015, Alexander Wolf 2014, David Notkin 2013, Lori Clarke 2012, David Garlan y Mary Shaw 2011, Erich Gamma , Richard Helm , Ralph Johnson y John Vlissides 2010, Axel van Lamsweerde 2008, Elaine J. Weyuker 2007, David Harel 2006, Nancy Leveson 2004, Leon J. Osterweil 2003, Gerard Holzmann 2002, Michael Jackson 2001, Victor Basili 2000, Harlan Mills 1999, Niklaus Wirth 1999, David Parnas 1998 y Barry Boehm. 1997. ^[23]

En julio de 2024, Tse fue seleccionado como revisor destacado del mes por ACM Computing Reviews . ^[24]

• W. Eric Wong; TH Tse, eds. (2023). Manual de localización de fallos de software: fundamentos y avances. Hoboken , NJ, EE. UU.: Wiley-IEEE Press . ISBN 978-1-119-29180-0.

• TH Tse, Un marco unificador para análisis estructurado y modelos de diseño: un enfoque que utiliza la semántica del álgebra inicial y la teoría de categorías , Cambridge Tracts in Theoretical Computer Science, vol. 11, Cambridge University Press , Cambridge . Edición de libro electrónico (2010). Edición de bolsillo (2009). Edición de tapa dura (1991).

• Tsong Yueh Chen; TH Tse (2021). Nuevas visiones sobre pruebas metamórficas después de un cuarto de siglo desde su creación . Ideas, Visiones y Reflexiones, Actas de la Conferencia y Simposio Conjunto Europeo de Ingeniería de Software de la ACM sobre Fundamentos de la Ingeniería de Software (ESEC/FSE '21). ACM , Nueva York, NY, EE. UU., págs. 1487–1490. doi :10.1145/3468264.3473136.

• Zhi Quan Zhou; TH Tse; Matt Witheridge (2021). "Pruebas de robustez metamórfica: exposición de defectos ocultos en las estadísticas de citas y los factores de impacto de las revistas". IEEE Transactions on Software Engineering . 47 (6): 1164–1183. doi : 10.1109/TSE.2019.2915065 .

• Tsong Yueh Chen; Fei-Ching Kuo; Huai Liu; Pak-Lok Poon; Dave Towey; TH Tse; Zhi Quan Zhou (2018). "Pruebas metamórficas: una revisión de desafíos y oportunidades". ACM Computing Surveys . 51 (1): 4:1–4:27. hdl : 10722/254895 .

• Huo Yan Chen; TH Tse (2013). "Igualdad entre iguales y desiguales: una revisión de los criterios de equivalencia y no equivalencia en las pruebas a nivel de clase de software orientado a objetos". IEEE Transactions on Software Engineering . 39 (11): 1549–1563. doi :10.1109/TSE.2013.33. hdl : 10722/187124 . S2CID  8694513.

• Tsong Yueh Chen; TH Tse; Zhi Quan Zhou (2010). "Semi-proving: Un método integrado para probar, testear y depurar programas". IEEE Transactions on Software Engineering . 37 (1): 109–125. doi :10.1109/TSE.2010.23..

• Tsong Yueh Chen; Fei-Ching Kuo; Robert G. Merkel; TH Tse (2010). "Pruebas aleatorias adaptativas: el arte de la diversidad de casos de prueba". Journal of Systems and Software . 83 (1): 60–66. doi :10.1016/j.jss.2009.02.022. hdl : 10722/89054 .