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

6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08)., , and . ISSTA, page 309-310. ACM, (2008)Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design., and . SEFM Workshops, volume 9509 of Lecture Notes in Computer Science, page 35-42. Springer, (2015)Quality Engineering for Agile and DevOps on the Cloud and Edge., and . CoRR, (2023)A Chaos Recommendation Tool for Reliability Testing in Large-Scale Cloud-Native Systems., , , , , , , , , and 1 other author(s). COMSNETS, page 270-272. IEEE, (2024)Using program closures to make an application programming interface (API) implementation thread safe., , , and . PADTAD, page 18-24. ACM, (2012)Convex Bounds on the Softmax Function with Applications to Robustness Verification., , , , , and . AISTATS, volume 206 of Proceedings of Machine Learning Research, page 6853-6878. PMLR, (2023)Effective Testing and Debugging Techniques for a Group Communication System., , , , and . DSN, page 80-85. IEEE Computer Society, (2005)Applications of synchronization coverage., , , , and . PPoPP, page 206-212. ACM, (2005)A Novel Metric for Measuring the Robustness of Large Language Models in Non-adversarial Scenarios., , , and . CoRR, (2024)Optimal Search in Trees: Extended Abstract + Appendix., , and . SODA, page 739-746. ACM/SIAM, (1997)