Author of the publication

Using Projections to Debug Large Combinatorial Models.

, , and . ICST Workshops, page 311-320. IEEE Computer Society, (2013)

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

Distributed desk checking., , and . Concurr. Comput. Pract. Exp., 19 (3): 295-309 (2007)Multithreaded Java program test generation., , , , and . Java Grande, page 181. ACM, (2001)Cross-Entropy-Based Replay of Concurrent Programs., , , and . FASE, volume 5503 of Lecture Notes in Computer Science, page 201-215. Springer, (2009)Producing scheduling that causes concurrent programs to fail., , , and . PADTAD, page 37-40. ACM, (2006)The Advantages of Post-Link Code Coverage., , , , , , , , and . Haifa Verification Conference, volume 4899 of Lecture Notes in Computer Science, page 235-251. Springer, (2007)Deploying automated ticket router across the enterprise., , , , , , and . AI Mag., 44 (1): 97-111 (March 2023)Reports of the Workshops Held at the 2019 AAAI Conference on Artificial Intelligence., , , , , , , , , and 27 other author(s). AI Mag., 40 (3): 67-78 (2019)Random Test Generation of Application Programming Interfaces., , and . CoRR, (2022)Machine Learning Model Drift Detection Via Weak Data Slices., , , , and . DeepTest@ICSE, page 1-8. IEEE, (2021)Cross-Entropy Based Testing., , , and . FMCAD, page 101-108. IEEE Computer Society, (2007)