Author of the publication

Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers.

, , , , and . ICCAD, page 1-9. IEEE, (2021)

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

Formal modelling of list based dynamic memory allocators., , , , , , and . Sci. China Inf. Sci., 61 (12): 122103:1-122103:16 (2018)The stochastic semantics and verification for periodic control systems., , , , , and . Sci. China Inf. Sci., 55 (12): 2675-2693 (2012)FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain., , , , , , , , , and 1 other author(s). CoRR, (2023)Experimenting a New Programming Practice with LLMs., , , , , and . CoRR, (2024)Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework., , , , , , and . CoRR, (2023)MDM: A Mode Diagram Modeling Framework for Periodic Control Systems, , , , , , , and . CoRR, (2012)SPARDL: A Requirement Modeling Language for Periodic Control System., , , , , , and . ISoLA (1), volume 6415 of Lecture Notes in Computer Science, page 594-608. Springer, (2010)Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning., , , , and . ICECCS, page 131-138. IEEE Computer Society, (2006)Path-Based Approach to Integration Testing., , and . SSIRI, page 445-446. IEEE Computer Society, (2009)Static Check of WS-CDL Documents., , , , , , and . SOSE, page 142-147. IEEE Computer Society, (2008)