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: Chebaro:Omar
Contributed to:
2014
2012201220112010Wrote 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 PathCrawler-online.com (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.