Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Shady Copty"'
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1ca19d3c9947131c159f73db38afdfbd
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d1cec2aeb452e1a7cfc3a949a3ec653a
Autor:
Allon Adir, Shady Copty, Gil Shurek, Charles Meissner, Shimon Landa, Avi Ziv, Schumann John A, Amir Nahir
Publikováno v:
DATE
The growing importance of post-silicon validation in ensuring functional correctness of high-end designs increases the need for synergy between the pre-silicon verification and post-silicon validation. We propose a unified functional verification met
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cf33b3ff26b49961816b2ae4d49010b2
https://doi.org/10.1109/date.2011.5763252
https://doi.org/10.1109/date.2011.5763252
Publikováno v:
DAC
Parallelism in system architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. We report on a method for system-level test case generation. This method relies on dyna
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7883e5a17a94d40599a1895d17666945
https://doi.org/10.1145/1278480.1278700
https://doi.org/10.1145/1278480.1278700
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540326045
Haifa Verification Conference
Haifa Verification Conference
Over the last few years, there has been increasing emphasis on integrating ready-made components (IP, cores) into complex System on a Chip (SoC) designs. The verification of such designs poses new challenges. At the heart of these challenges lies the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f40ebb56d141745b9ddb12e2a3bb5afe
https://doi.org/10.1007/11678779_1
https://doi.org/10.1007/11678779_1
Autor:
Shmuel Ur, Shady Copty
Publikováno v:
Euro-Par 2005 Parallel Processing ISBN: 9783540287001
Euro-Par
Euro-Par
We investigate the suitability of AOP (Aspect Oriented Programming) for testing tools by trying to implement the ConTest testing tool using AspectJ, a tool that implements AOP for the Java programming language. We examine whether the entire set of fe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::114a2938e3febdc15d496e71cb2a4bca
https://doi.org/10.1007/11549468_81
https://doi.org/10.1007/11549468_81