BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Italy
1 × Spain
1 × Switzerland
1 × United Kingdom
Collaborated with:
N.Kosmatov A.Giorgetti J.Julliand S.Bardin M.Delahaye N.Williams B.Botella M.Roger
Talks about:
program (4) test (4) analysi (3) generat (2) static (2) combin (2) slice (2) debug (2) techniqu (1) structur (1)

Person: Omar Chebaro

DBLP DBLP: Chebaro:Omar

Contributed to:

TAP 20142014
SAC 20122012
TAP 20122012
TAP 20112011
TAP 20102010

Wrote 5 papers:

TAP-2014-BardinCDK #automation #testing #tool support
An All-in-One Toolkit for Automated White-Box Testing (SB, OC, MD, NK), pp. 53–60.
SAC-2012-ChebaroKGJ #dynamic analysis #slicing #verification
Program slicing enhances a verification technique combining static and dynamic analysis (OC, NK, AG, JJ), pp. 1284–1291.
TAP-2012-KosmatovWBRC #testing
A Lesson on Structural Testing with (NK, NW, BB, MR, OC), pp. 169–175.
TAP-2011-ChebaroKGJ #analysis #c #debugging #generative #slicing #testing
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 78–83.
TAP-2010-ChebaroKGJ #c #debugging #generative #static analysis #testing
Combining Static Analysis and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 94–100.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.