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

FSX: fine-grained incremental unit test generation for C/C++ programs., , , , and . ISSTA, page 106-117. ACM, (2016)Cross-platform feature matching for web applications., , and . ISSTA, page 82-92. ACM, (2014)Verification Techniques for System-Level Design., , and . The Morgan Kaufmann series in systems on silicon Morgan Kaufmann, (2008)Automated testing with targeted event sequence generation., , and . ISSTA, page 67-77. ACM, (2013)VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks., , , , and . ASE, page 129-141. IEEE, (2021)SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions., , , , , , , , and . ICSE, page 1932-1944. ACM, (2022)Using Problem Symmetry in Search Based Satisfiability Algorithms., , and . DATE, page 134-141. IEEE Computer Society, (2002)Can SAT be used to Improve Sequential ATPG Methods?, , and . VLSI Design, page 585-. IEEE Computer Society, (2004)X-PERT: accurate identification of cross-browser issues in web applications., , and . ICSE, page 702-711. IEEE Computer Society, (2013)WEAVE: WEb Applications Validation Environment., , , , , and . ICSE Companion, page 101-111. IEEE, (2009)