Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"IMUnit"”.
-
Improved regression testing of multithreaded programs
… dissertation presents a novel framework, called IMUnit, for expressing and enforcing schedules reliably and efficiently in multithreaded tests. IMUnit includes a new language for specifying schedules as constraints on events encountered during test execution and a tool for automatically enforcing …
-
Státní imunita na prahu 21. století: Soumrak nebo renesance?
1/3 ABSTRAKT STÁTNÍ IMUNITA NA PRAHU 21. STOLETÍ: SOUMRAK NEBO RENESANCE? JAROSLAV KUDRNA, ESQ., LL.M. Státní imunita je jedním ze základů mezinárodního práva veřejného. Imunita států vychází ze základního principu mezinárodního práva, a sice rovnosti států - par in parem non habet imperium. Státní …
-
Testing, runtime verification, and analysis of concurrent programs
… programs. The first two techniques are the IMUnit framework for enforcing testing schedules and the EnforceMOP system for enforcing runtime properties for multithreaded programs. An experimental evaluation shows that our techniques can enforce thread schedules and runtime properties …