Itai Segall
Itai Segall
Bell Labs Researcher
Verified email at alcatel-lucent.com - Homepage
Title
Cited by
Cited by
Year
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
1072011
Optimizing virtual backup allocation for middleboxes
Y Kanizo, O Rottenstreich, I Segall, J Yallouz
IEEE/ACM Transactions on Networking 25 (5), 2759-2772, 2017
722017
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
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
542012
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
512014
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
492013
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
422009
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
Common patterns in combinatorial models
I Segall, R Tzoref-Brill, A Zlotnick
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
312012
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
Some results on the expressive power and complexity of LSCs
D Harel, S Maoz, I Segall
Pillars of computer science, 351-366, 2008
272008
Synthesis from scenario-based specifications
D Harel, I Segall
Journal of Computer and System Sciences 78 (3), 970-980, 2012
252012
Experience report: Log-based behavioral differencing
M Goldstein, D Raz, I Segall
2017 IEEE 28th International Symposium on Software Reliability Engineering …, 2017
232017
Simplified modeling of combinatorial test spaces
I Segall, R Tzoref-Brill, A Zlotnick
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
232012
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
222019
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
222018
Test planning using attribute value properties
E Farchi, I Segall, A Zlotnick
US Patent 8,452,813, 2013
192013
Visualizing inter-dependencies between scenarios
D Harel, I Segall
Proceedings of the 4th ACM symposium on Software visualization, 145-153, 2008
182008
BDD-based functional modeling
R Tzoref-Brill, I Segall, T Veksler
US Patent 8,595,676, 2013
172013
Combinatorial testing with order requirements
E Farchi, I Segall, R Tzoref-Brill, A Zlotnick
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
162014
The system can't perform the operation now. Try again later.
Articles 1–20