Author of the publication

KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs.

, , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 609-615. Springer, (2011)

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

SymJS: automatic symbolic testing of JavaScript web applications., , and . SIGSOFT FSE, page 449-459. ACM, (2014)Ising-Based Louvain Method: Clustering Large Graphs with Specialized Hardware., , , and . IDA, volume 12695 of Lecture Notes in Computer Science, page 350-361. Springer, (2021)High Level Test Generation for Custom Hardware: An Industrial Perspective.. Asian Test Symposium, page 458. IEEE Computer Society, (2005)On automatic generation of RTL validation test benches using circuit testing techniques., and . ACM Great Lakes Symposium on VLSI, page 289-294. ACM, (2003)Partitioning Dense Graphs with Hardware Accelerators., , , and . ICCS (3), volume 13352 of Lecture Notes in Computer Science, page 476-483. Springer, (2022)High Level Design Validation: Current Practices and Future Directions., , , and . VLSI Design, page 9-11. IEEE Computer Society, (2004)A Technique for Identifying RTL and Gate-Level Correspondences., , , and . ICCD, page 591-594. IEEE Computer Society, (2000)A design for testability technique for RTL circuits using control/data flow extraction., , and . ICCAD, page 329-336. IEEE Computer Society / ACM, (1996)Lazy Symbolic Execution through Abstraction and Sub-space Search., and . Haifa Verification Conference, volume 8244 of Lecture Notes in Computer Science, page 295-310. Springer, (2013)A BIST Scheme for RTL Controller-Data Paths Based on Symbolic Testability Analysis., , and . DAC, page 554-559. ACM Press, (1998)