( en | de | ru )

 

Disambiguation of "Ur, Shmuel"

Author of the publication

copydeleteadd this publication to your clipboard
Forcing small models of conditions on program interleaving for detection of concurrent bugs.

, , , , , and . PADTAD, ACM, (2009)

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.

ur Büyükburç

Ascher Ben-Shmuel

Mehbub-Ur Rahman

Shafqat ur Rehman

Hubert Sauer- ur

 

Other publications of authors with the same name

Hole analysis for functional coverage data., , , and . DAC, page 807-812. ACM, (2002)Forcing small models of conditions on program interleaving for detection of concurrent bugs., , , , , and . PADTAD, ACM, (2009)Combinatorial test design in practice., and . ICSE (2), page 495-496. ACM, (2010)978-1-60558-719-6.Towards a framework and a benchmark for testing tools for multi-threaded programs., , , and . Concurr. Comput. Pract. Exp., 19 (3): 267-279 (2007)Framework for testing multi-threaded Java programs., , , , , and . Concurr. Comput. Pract. Exp., 15 (3-5): 485-499 (2003)Boosted decision trees for behaviour mining of concurrent programmes., , , , , , , and . Concurr. Comput. Pract. Exp., (2017)A platform for search-based testing of concurrent software., , , and . PDATAD, page 48-58. ACM, (2010)A new characterization of graphs based on interception relations., , and . J. Graph Theory, 22 (2): 125-136 (1996)Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ., and . TV@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 151-165. Elsevier, (2006)ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools., and . SOQUA, page 9-16. ACM, (2007)