A concurrency testing tool and its plug-ins for dynamic analysis and runtime healing

B Křena, Z Letko, Y Nir-Buchbinder… - Runtime Verification: 9th …, 2009 - Springer
This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its
extensions. The extensions (called plug-ins in this paper) are implemented through the …
被引用次数：18 相关文章

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

B Křena, Z Letko, Y Nir-Buchbinder… - Lecture Notes in …, 2009 - ui.adsabs.harvard.edu
This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its
extensions. The extensions (called plug-ins in this paper) are implemented through the …
[PDF] academia.edu

[PDF][PDF] A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing

B Kˇrena, Z Letko, T Vojnar, Y Nir-Buchbinder… - academia.edu
This report presents a tool for concurrency testing (abbreviated as ConTest) and some of its
extensions. The extensions (called plug-ins in this report) are implemented through the …
[PDF] psu.edu

[PDF][PDF] A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing

B Kˇrena, Z Letko, T Vojnar, Y Nir-Buchbinder… - Citeseer
This report presents a tool for concurrency testing (abbreviated as ConTest) and some of its
extensions. The extensions (called plug-ins in this report) are implemented through the …

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

B Křena, Z Letko, Y Nir-Buchbinder… - … Workshop, RV 2009 …, 2009 - dl.acm.org
This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its
extensions. The extensions (called plug-ins in this paper) are implemented through the …
[PDF] vutbr.cz

[PDF][PDF] A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing

B Kˇrena, Z Letko, T Vojnar, Y Nir-Buchbinder… - fit.vutbr.cz
This report presents a tool for concurrency testing (abbreviated as ConTest) and some of its
extensions. The extensions (called plug-ins in this report) are implemented through the …

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

B Křena, Z Letko, Y Nir-Buchbinder, R Tzoref-Brill, S Ur… - Runtime Verification - infona.pl
This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its
extensions. The extensions (called plug-ins in this paper) are implemented through the …

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

B Krena, Z Letko, Y Nir-Buchbinder, R Tzoref-Brill, S Ur… - Runtime Verification - Springer
This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its
extensions. The extensions (called plug-ins in this paper) are implemented through the …
[PDF] researchgate.net

[PDF][PDF] A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing

B Kˇrena, Z Letko, T Vojnar, Y Nir-Buchbinder… - researchgate.net
This report presents a tool for concurrency testing (abbreviated as ConTest) and some of its
extensions. The extensions (called plug-ins in this report) are implemented through the …

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

B Kˇrena, Z Letko, Y Nir-Buchbinder… - … Workshop, RV 2009 …, 2009 - books.google.com
This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its
extensions. The extensions (called plug-ins in this paper) are implemented through the …