Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Evolutionary Conflict Checking., , , , and . CoRR, (2020)Analyzing Interrupt Handlers via Interprocedural Summaries., , and . Symposium on Real-Time and Hybrid Systems, volume 11180 of Lecture Notes in Computer Science, Springer, (2018)Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking., , , , and . SERE (Companion), page 204-210. IEEE, (2013)NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs., , , , and . APSEC, page 338-347. IEEE, (2022)An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals., , , , and . SETTA, volume 14464 of Lecture Notes in Computer Science, page 314-330. Springer, (2023)Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification., , , , , and . SAS, volume 11822 of Lecture Notes in Computer Science, page 296-319. Springer, (2019)Leveraging specifications of subcomponents to mine precise specifications of composite components., , , and . WCRE, page 162-171. IEEE Computer Society, (2013)Automatic recovery from resource exhaustion exceptions by collecting leaked resources., , , and . Journal of Zhejiang University - Science C, 15 (8): 622-635 (2014)Automated regression unit test generation for program merges., , , , and . Sci. China Inf. Sci., 65 (9): 1-2 (2022)Grammar-based fuzz testing for microprocessor RTL design., , , , and . Integr., (2022)