Seguir
Itai Segall
Itai Segall
Bell Labs Researcher
Dirección de correo verificada de alcatel-lucent.com - Página principal
Título
Citado por
Citado por
Año
Using binary decision diagrams for combinatorial test design
I Segall, R Tzoref-Brill, E Farchi
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
1132011
Optimizing virtual backup allocation for middleboxes
Y Kanizo, O Rottenstreich, I Segall, J Yallouz
IEEE/ACM Transactions on Networking 25 (5), 2759-2772, 2017
792017
Obtaining file system view in block-level data storage systems
M Allalouf, M Ben-Yehuda, J Satran, I Segall
US Patent 8,290,994, 2012
732012
Low power mode in cloud storage systems
D Harnik, D Naor, I Segall
2009 IEEE International Symposium on Parallel & Distributed Processing, 1-8, 2009
702009
CloudWave: Where adaptive cloud management meets DevOps
D Bruneo, T Fritz, S Keidar-Barner, P Leitner, F Longo, C Marquezan, ...
2014 IEEE Symposium on Computers and Communications (ISCC), 1-6, 2014
562014
Interaction-based test-suite minimization
D Blue, I Segall, R Tzoref-Brill, A Zlotnick
2013 35th International Conference on Software Engineering (ICSE), 182-191, 2013
502013
Compositional synthesis of reactive systems from live sequence chart specifications
H Kugler, I Segall
International Conference on Tools and Algorithms for the Construction and …, 2009
462009
Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs,
D Harel, I Segall
International Conference on Tools and Algorithms for the Construction and …, 2007
382007
Verifying robustness of gradient boosted models
G Einziger, M Goldstein, Y Sa’ar, I Segall
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2446-2453, 2019
322019
Common patterns in combinatorial models
I Segall, R Tzoref-Brill, A Zlotnick
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
322012
Integration of a software content space with test planning and test case generation
EB Boden, I Segall, E Trainin
US Patent 9,569,343, 2017
302017
Designing optimal middlebox recovery schemes with performance guarantees
Y Kanizo, O Rottenstreich, I Segall, J Yallouz
IEEE Journal on Selected Areas in Communications 36 (10), 2373-2383, 2018
282018
Some results on the expressive power and complexity of LSCs
D Harel, S Maoz, I Segall
Pillars of computer science, 351-366, 2008
272008
Experience report: Log-based behavioral differencing
M Goldstein, D Raz, I Segall
2017 IEEE 28th International Symposium on Software Reliability Engineering …, 2017
262017
Synthesis from scenario-based specifications
D Harel, I Segall
Journal of Computer and System Sciences 78 (3), 970-980, 2012
262012
Simplified modeling of combinatorial test spaces
I Segall, R Tzoref-Brill, A Zlotnick
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
252012
Test planning using attribute value properties
E Farchi, I Segall, A Zlotnick
US Patent 8,452,813, 2013
242013
Test planning based on dynamic coverage analysis
I Segall, R Tzoref-Brill
US Patent 9,218,271, 2015
222015
Visualizing inter-dependencies between scenarios
D Harel, I Segall
Proceedings of the 4th ACM symposium on Software visualization, 145-153, 2008
192008
Combinatorial testing with order requirements
E Farchi, I Segall, R Tzoref-Brill, A Zlotnick
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
172014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20