Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Franz Röck"'
Autor:
Gadi Aleksandrowicz, Eli Arbel, Roderick Bloem, Timon ter Braak, Sergei Devadze, Goerschwin Fey, Maksim Jenihhin, Artur Jutman, Kerkoff, Hans G., Robert Könighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao
Publikováno v:
TU Graz
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::affc60f14e638fb6890cc11efda7ef50
https://elib.dlr.de/105923/
https://elib.dlr.de/105923/
Publikováno v:
QSIC
Test suites are hardly ever created from scratch. Hence, automatic test case generation methods should take advantage of existing tests to produce high-quality test suites more efficiently. We present an approach for automatic test suite augmentation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ae3ddf3685e90647f52ad4743e347348
https://doi.org/10.1109/qsic.2014.40
https://doi.org/10.1109/qsic.2014.40
Publikováno v:
Panhellenic Conference on Informatics
Optical packet switching is a promising all-optical network technology for future large-scale networks, due to good resource utilization and the ability to handle high data rates in a cost-efficient way. In this paper we investigate the performance o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c5f7b59c57d1858aeba67dc30e54f2e4
https://doi.org/10.1109/pci.2010.51
https://doi.org/10.1109/pci.2010.51
Publikováno v:
TU Graz
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2068a971b893d608d9d54e3da449513e
https://graz.pure.elsevier.com/en/publications/modelbased-mcdc-testing-of-complex-decisions-for-the-java-card-applet-firewall(6e99b18b-9385-40fa-9c11-d6f961e56d92).html
https://graz.pure.elsevier.com/en/publications/modelbased-mcdc-testing-of-complex-decisions-for-the-java-card-applet-firewall(6e99b18b-9385-40fa-9c11-d6f961e56d92).html
Autor:
Jaan Raik, Heinz Riener, Eli Arbel, Shiri Moran, Artur Jutman, Gadi Aleksandrowicz, Maksim Jenihhin, Goerschwin Fey, Robert Könighofer, Gerard Rauwerda, Sergei Devadze, Timon D. ter Braak, Roderick Bloem, Kim Sunesen, Hans G. Kerkhoff, Jinbo Wan, Yong Zhao, Franz Röck, Konstantin Shibin, Jan Malburg
Publikováno v:
2016 Forum on Specification and Design Languages (FDL)
FDL
FDL
CPS, that consist of a cyber part – a computing system – and a physical part – the system in the physical environment – as well as the respective interfaces between those parts, are omnipresent in our daily lives. The application in the physi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9099282d2cdbe5837be4b13ff40c712a
Publikováno v:
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tests and Proofs
Tests and Proofs
Tests and Proofs ISBN: 9783319212142
TAP@STAF
Lecture Notes in Computer Science-Tests and Proofs
Tests and Proofs
Tests and Proofs ISBN: 9783319212142
TAP@STAF
While many approaches for automatic test case generation have been proposed over the years, it is often difficult to predict which of them may work well on concrete problems. In this paper, we therefore present a case study in automatic, model-based
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::631aa8144b9e621b904b29640e4d74ca