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
912011
Low power mode in cloud storage systems
D Harnik, D Naor, I Segall
2009 IEEE International Symposium on Parallel & Distributed Processing, 1-8, 2009
642009
Optimizing virtual backup allocation for middleboxes
Y Kanizo, O Rottenstreich, I Segall, J Yallouz
IEEE/ACM Transactions on Networking 25 (5), 2759-2772, 2017
552017
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
532012
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
472014
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
452013
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
392009
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
352007
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
292017
Synthesis from scenario-based specifications
D Harel, I Segall
Journal of Computer and System Sciences 78 (3), 970-980, 2012
262012
Some results on the expressive power and complexity of LSCs
D Harel, S Maoz, I Segall
Pillars of computer science, 351-366, 2008
252008
Common patterns in combinatorial models
I Segall, R Tzoref-Brill, A Zlotnick
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
232012
Experience report: Log-based behavioral differencing
M Goldstein, D Raz, I Segall
2017 IEEE 28th International Symposium on Software Reliability Engineering …, 2017
192017
Simplified modeling of combinatorial test spaces
I Segall, R Tzoref-Brill, A Zlotnick
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
192012
Visualizing inter-dependencies between scenarios
D Harel, I Segall
Proceedings of the 4th ACM symposium on Software visualization, 145-153, 2008
172008
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
162018
Synthesis from live sequence chart specifications
D Harel, I Segall
Journal of Computer System Sciences, 2011
162011
Verifying robustness of gradient boosted models
G Einziger, M Goldstein, Y Sa’ar, I Segall
Proceedings of the AAAI Conference on Artificial Intelligence 33, 2446-2453, 2019
152019
BDD-based functional modeling
R Tzoref-Brill, I Segall, T Veksler
US Patent 8,595,676, 2013
152013
Test planning using attribute value properties
E Farchi, I Segall, A Zlotnick
US Patent 8,452,813, 2013
142013
The system can't perform the operation now. Try again later.
Articles 1–20