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
882011
Low power mode in cloud storage systems
D Harnik, D Naor, I Segall
2009 IEEE International Symposium on Parallel & Distributed Processing, 1-8, 2009
632009
Optimizing virtual backup allocation for middleboxes
Y Kanizo, O Rottenstreich, I Segall, J Yallouz
IEEE/ACM Transactions on Networking 25 (5), 2759-2772, 2017
472017
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
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
442012
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
422014
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
212012
Experience report: Log-based behavioral differencing
M Goldstein, D Raz, I Segall
2017 IEEE 28th International Symposium on Software Reliability Engineering …, 2017
182017
Simplified modeling of combinatorial test spaces
I Segall, R Tzoref-Brill, A Zlotnick
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
182012
Visualizing inter-dependencies between scenarios
D Harel, I Segall
Proceedings of the 4th ACM symposium on Software visualization, 145-153, 2008
172008
Synthesis from live sequence chart specifications
D Harel, I Segall
Journal of Computer System Sciences, 2011
162011
BDD-based functional modeling
R Tzoref-Brill, I Segall, T Veksler
US Patent 8,595,676, 2013
152013
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
132018
Interactive refinement of combinatorial test plans
I Segall, R Tzoref-Brill
2012 34th International Conference on Software Engineering (ICSE), 1371-1374, 2012
132012
Combinatorial testing with order requirements
E Farchi, I Segall, R Tzoref-Brill, A Zlotnick
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
122014
The system can't perform the operation now. Try again later.
Articles 1–20