I agree that this site is using cookies. You can find further informations here.
X
Qu, Daohan
2  results:
Search for persons X
?
1

Towards Life-long Software Self-validation in Production:

, In: Proceedings of the 15th Asia-Pacific Symposium on Internetware,
Qu, Daohan ; Zhao, Chaoyi ; Jiang, Yanyan. - p. 357-366 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

JPF: From 2003 to 2023:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Artho, Cyrille ; Parízek, Pavel ; Qu, Daohan.. - p. 3-22 , 2024
Link: https://doi.org/10.1007/..
 
1-2