E-LIB Suche - Ergebnisse für: Segall, Itai

1

Dynamic Update for Synthesized GR(1) Controllers:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE),

Amram, Gal ; Maoz, Shahar ; Segall, Itai. - p. 786-797 , 2022

2

ExVivoMicroTest: ExVivo Testing of Microservices:

Gazzola, Luca ; Goldstein, Maayan ; Mariani, Leonardo...
Journal of Software: Evolution and Process. 35 (2022) 4 - p. , 2022

Link: https://doi.org/10.1002/..

3

Dynamic update for synthesized GR(1) controllers:

, In: Proceedings of the 44th International Conference on Software Engineering,

Amram, Gal ; Maoz, Shahar ; Segall, Itai. - p. 786-797 , 2022

Link: https://dl.acm.org/doi/1..

4

Automatic Ex-Vivo Regression Testing of Microservices:

, In: Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test,

Gazzola, Luca ; Goldstein, Maayan ; Mariani, Leonardo.. - p. 11-20 , 2020

Link: https://dl.acm.org/doi/1..

5

Scalable Prediction of Service-Level Events in Datacenter I..:

Mozo, Alberto ; Segall, Itai ; Margolin, Udi.
IEEE Access. 7 (2019) - p. 179779-179798 , 2019

Link: https://doi.org/10.1109/..

6

Proceedings of the 5th International Conference on Mobile S..:

Julien, Christine ; Lewis, Grace ; Segall, Itai , 2018

Link: https://dl.acm.org/doi/1..

7

Optimizing Virtual Backup Allocation for Middleboxes:

Kanizo, Yossi ; Rottenstreich, Ori ; Segall, Itai...
IEEE/ACM Transactions on Networking (TON). 25 (2017) 5 - p. 2759-2772 , 2017

Link: https://dl.acm.org/doi/1..

8

Multidimensional resource allocation in practice:

, In: Proceedings of the 10th ACM International Systems and Storage Conference,

Raz, Danny ; Segall, Itai ; Goldstein, Maayan - p. 1-10 , 2017

Link: https://dl.acm.org/doi/1..

9

Optimizing Virtual Backup Allocation for Middleboxes:

Kanizo, Yossi ; Rottenstreich, Ori ; Segall, Itai.
IEEE/ACM Transactions on Networking. 25 (2017) 5 - p. 2759-2772 , 2017

Link: https://doi.org/10.1109/..

10

Automatic and continuous software architecture validation:

, In: Proceedings of the 37th International Conference on Software Engineering - Volume 2,

Goldstein, Maayan ; Segall, Itai - p. 59-68 , 2015

Link: https://dl.acm.org/doi/1..

11

Feedback-driven combinatorial test design and execution:

, In: Proceedings of the 8th ACM International Systems and Storage Conference,

Segall, Itai ; Tzoref-Brill, Rachel - p. 1-6 , 2015

Link: https://dl.acm.org/doi/1..

12

Synthesizing tests for combinatorial coverage of modal scen..:

, In: Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems,

Manna, Valerio Panzica La ; Segall, Itai ; Greenyer, Joel - p. 126-135 , 2015

Link: https://dl.acm.org/doi/1..

13

Interaction-based test-suite minimization:

, In: Proceedings of the 2013 International Conference on Software Engineering,

Blue, Dale ; Segall, Itai ; Tzoref-Brill, Rachel. - p. 182-191 , 2013

Link: https://dl.acm.org/doi/1..

14

Synthesis from scenario-based specifications:

Harel, David ; Segall, Itai
Journal of Computer and System Sciences. 78 (2012) 3 - p. 970-980 , 2012

Link: https://doi.org/10.1016/..

15

Using combinatorial benchmark construction to improve the a..:

, In: Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging,

Bradbury, Jeremy S. ; Segall, Itai ; Farchi, Eitan.. - p. 25-35 , 2012

Link: https://dl.acm.org/doi/1..