Zobrazeno 1 - 10
of 55
pro vyhledávání: '"Shmuel Ur"'
Publikováno v:
Computer Aided Systems Theory – EUROCAST 2017 ISBN: 9783319747262
EUROCAST (2)
EUROCAST (2)
Testing of concurrent programs is difficult since the scheduling non-determinism requires one to test a huge number of different thread interleavings. Moreover, a simple repetition of test executions will typically examine similar interleavings only.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3b08f95f3bfe1bfddbe948fd5cc61f55
https://doi.org/10.1007/978-3-319-74727-9_12
https://doi.org/10.1007/978-3-319-74727-9_12
Publikováno v:
Empirical Software Engineering. 18:550-593
It has often been claimed that SBSE uses so-called ‘embarrassingly parallel’ algorithms that will imbue SBSE applications with easy routes to dramatic performance improvements. However, despite recent advances in multicore computation, this claim
Publikováno v:
International Journal on Software Tools for Technology Transfer. 13:207-221
We introduce comparative functional coverage—a technique for comparing the coverage of multiple workloads—and the tool in which it was implemented, FoCuS. The need to compare workloads and the use of functional coverage as a technique to explore
Publikováno v:
Theoretical Computer Science. 404(3):219-234
Automated regression suites are essential in developing large applications, while maintaining reasonable quality and timetables. The main argument against the automation of regression suites, in addition to the cost of creation and maintenance, is th
Autor:
Shmuel Ur, Shady Copty
Publikováno v:
Electronic Notes in Theoretical Computer Science. 174(9):151-165
Debugging is one of the most time-consuming activities in program design. Work on automatic debugging has received a great deal of attention and there are a number of symposiums dedicated to this field. Automatic debugging is usually invoked when a t
Publikováno v:
Concurrency and Computation: Practice and Experience. 19:267-279
SUMMARY Multi-threaded code is becoming very common, both on the server side, and very recently for personal computers as well. Consequently, looking for intermittent bugs is a problem that is receiving more and more attention. As there is no silver
Publikováno v:
IEEE Transactions on Computers. 55:1367-1379
Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools' help users identify areas in the design that have not been adequately tested. Because of their sheer size, the analysis of large coverag
Publikováno v:
Concurrency and Computation: Practice and Experience. 15:485-499
Finding bugs due to race conditions in multi-threaded programs is difficult, mainly because there are many possible interleavings, any of which may contain a fault. In this work we present a methodology for testing multi-threaded programs which has m
Publikováno v:
Journal of Graph Theory. 22:125-136
The cloud will be populated by software applications that consist of advanced, dynamic, and largely autonomic interactions among services, end-user applications, content, and media. The complexity of the technologies involved in the cloud makes testi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9cfe4585d42ab98295ea0c2d4292a793
https://doi.org/10.4018/978-1-4666-2536-5.ch014
https://doi.org/10.4018/978-1-4666-2536-5.ch014