Wassim (Wes) Masrifeaweb.aub.edu.lb/personalwebsites/wm13/CV.pdf · Case Western Reserve University, Cleveland, OH B.S. -Electrical Engineering -August 1986 American University of

Wassim (Wes) Masri Professor

Electrical and Computer Engineering Department (ECE)

Maroun Semaan Faculty of Engineering and Architecture (MSFEA)

American University of Beirut (AUB), Beirut, Lebanon

Email: [email protected]

Phone: 961-70894728

feaweb.aub.edu.lb/personalwebsites/wm13

SUMMARY STATEMENT

My general area of research is software engineering, with emphasis on software testing

and dynamic program analysis. In particular, I am interested in devising effective quality

enhancing techniques and tools to support software testing, fault localization, program

repair, software security, and program analysis in general. I also have a strong interest in

discovering and analyzing code patterns and program behaviors that affect the principal

quality attributes of software systems, namely, reliability, safety, and security.

My research training is backed by a PhD in Computer Engineering (2005) and fifteen

years of U.S. industry experience as a software architect and developer in various domains

such as medical imaging, middleware, telecom, genomics, semiconductor, and financial.

In 2013, I received the “CNRS Research Excellence Award" presented by the Lebanese

Council for Scientific Research in recognition of my research which is funded by several

agencies including NSF. Since joining AUB, I served on the Program Committee of the

premier conferences in my field, namely, ICSE, FSE, ICST, and ISSRE; and reviewed

numerous submissions to leading journals such as TOSEM, TSE, STVR, EMSE, and JSS.

My teaching interests are focused on software related subjects; e.g., design and

implementation of programming languages, data structures and algorithms, software

testing, and software engineering. I am also very interesting in teaching introductory and

intermediate programming courses, in which I focus on the dos and don’ts of

programming practices.

EDUCATION

Case Western Reserve University, Cleveland, OH

Ph.D. - Computer Engineering - January 2005

Advisor: Andy Podgurski

Research focus: Dynamic Information Flow Analysis and Slicing

The Pennsylvania State University, University Park, PA

M.S. - Electrical Engineering - December 1988

Advisor: Rangachar Kasturi

Research focus: Image Processing and Graphics Recognition


B.S. - Electrical Engineering - August 1986

American University of Beirut, Beirut, Lebanon

B.E. - Electrical Engineering - sophomore year -1983/84

ACADEMIC WORK EXPERIENCE

American University of Beirut, Beirut Lebanon

Full Professor - ECE Department - Fall’17/present

Associate Professor - ECE Department - Fall’10/Spring’17

Assistant Professor - ECE Department - Spring’09/Spring’10

Assistant Professor - CMPS Department - Fall’04/Fall’08

Headed the ECE Department's Software Committee

Played an integral role in the design and development of the “Computer

Science & Engineering” undergraduate program

Leveraged my research and broad software industry experience to develop

and/or teach the following undergraduate (U) and graduate (G) courses:

Object-oriented and effective Java programming (U, developed/taught)

Programming language design and implementation (U, developed/taught)

Software testing and analysis (U/G, developed/taught)

Computer security (U/G, developed/taught)

Introduction to programming using Java, C++, and Python (U, taught)

Introduction to programming using C++ & MATLAB (U, taught)

Data structures and algorithms (U, taught)

Software engineering (U, taught)


Instructor - EECS Department - Fall’02/Fall’03

Taught an introductory computer programming course using C++

The Pennsylvania State University, University Park, PA

Graduate Assistant – Computer Engineering Department - Fall’86/Fall’88

Researched graphics recognition and image processing techniques

Developed graphical simulation software to aid in teaching signals and

systems courses

Taught digital systems design and circuits labs

Took on system administration duties for a VAX-11/780

RESEARCH

HIGHLIGHTS

My signature contributions resulted in innovations and advancements in the following

interrelated subareas of software testing and analysis: 1) strength-based dynamic

dependence analysis, 2) coincidental correctness, 3) dynamic information flow analysis,

4) structural and state-based profiling, and 5) user-defined coverage criteria. These

contributions were judged as impactful by my peers, and by the fact that they were

supported by an NSF grant, one of the very few ever awarded to AUB. In addition, a study

analyzing software engineering research listed me under the category of “Noteworthy

Scholars and Institutions in Special Research Areas”1.

My service to the software engineering community was also significant, as I was a PC

member in 40+ conferences and workshops, which included ICSE, FSE, ICST, and

ISSRE. I was also a reviewer of numerous submissions to premier journals such as

TOSEM, TSE, STVR, EMSE, IST, JSS, JSSM, and SQJ.

CITATIONS

Google Scholar: 1885 citations, H-index = 19, i10-index = 31

http://scholar.google.com/citations?user=BQM2KwcAAAAJ

Scopus: 1036 citations, H-index=14, i10-index = 20

https://www.scopus.com/authid/detail.uri?authorId=12645050700

AWARDS

Recipient of the 2013 Research Excellence Award presented by the Lebanese

Council for Scientific Research (CNRS) - aub.edu.lb/news/2014/Pages/cnrs-13.aspx

Certificate of Appreciation for outstanding service on the Technical Track

Committee, International Conference on Software Engineering, ICSE 2019

Certificate of Appreciation for outstanding service as a reviewer for Software

Testing, Verification & Reliability, STVR 2019

PUBLICATIONS

(Names of faculty members are shown in bold and corresponding authors are indicated by a ‘*’. Each

journal article entry is followed by the journal's: 1) JCR impact factor; 2) Scopus based ranking ranging

from Q1 to Q4; and 3) Scopus based H-index.)

Journal Articles

1 Zhi Wang, Bing Li, Yutao Ma. An Analysis of Research in Software Engineering: Assessment and Trends.

https://arxiv.org/abs/1407.4903, July 2014.

http://scholar.google.com/citations?user=BQM2KwcAAAAJ

https://www.scopus.com/authid/detail.uri?authorId=12645050700

1. Chadi Trad, Rawad Abou Assi, and *Wes Masri. Substate Profiling for Online

Failure Detection. IEEE Access, to be submitted.

2. Rawad Abou Assi, *Wes Masri, and Chadi Trad. How Detrimental is Coincidental

Correctness to Coverage-based Fault Detection and Localization: An Empirical

Study. Software Testing, Verification and Reliability (STVR), under review.

3. Rawad Abou Assi, Chadi Trad, Marwan Maalouf, *Wes Masri. Coincidental

correctness in the Defects4J benchmark. Software Testing, Verification and

Reliability (STVR) 29(3) (2019).

4. Rawad Abou Assi, Chadi Trad, *Wes Masri. ACDC: Altering Control Dependence

Chains for Automated Patch Generation. CoRR abs/1705.00811 (2017)

5. Hammoud D., Zaraket F., and *Masri W. GUICop: Approach and Toolset for

Specification-based GUI Testing. Software Testing, Verification and Reliability

(STVR) 27(8) (2017), 29 pages. (impact factor = 1.59, Q1, H-index = 41)

6. Abou Assi R., *Masri W., and Zaraket F. UCov: User-Defined Coverage Criterion

for Test Case Intent Verification. Software Testing, Verification and Reliability

(STVR), 26 (6), pp. 460-491, September 2016. (impact factor = 1.59, Q1, H-index

= 41)

7. *Masri W. and Sleiman S. (2015) SQLPIL: SQL injection prevention by input

labeling, Security and Communication Networks, Vol. 8, Issue 15, pages 2545–

2560, October 2015. doi:10.1002/sec.1199. (impact factor = 0.632, Q2, H-index =

23)

8. Farjo J., Abou Assi R., and *Masri W. Reducing execution profiles: techniques and

benefits. Software Testing, Verification and Reliability (STVR). 25(2): 115-137

(2015). (impact factor = 1.59, Q1, H-index = 41)

9. *Masri W., Abou Assi R, and El-Ghali M. Generating Profile-Based Signatures for

Online Intrusion and Failure Detection. Information and Software Technology (IST)

(Elsevier). Vol. 56, Issue 2, Feb. 2014, pages 238-251. (impact factor = 2.7, Q1, H-

index = 76)

10. Fawaz K., *Zaraket F., Masri W., Harkous H. PBCOV: a property-based coverage

criterion. Software Quality Journal 23(1): 171-202 (2015) (impact factor = 1.8, Q1,

H-index = 33)

11. *Masri W. and Abou Assi R. Prevalence of Coincidental Correctness and

Mitigation of its Impact on Fault-Localization. ACM Transactions on Software

Engineering and Methodology (TOSEM), 23(1): 8 (2014), pp 1-28. (impact factor

= 2.52, Q1, H-index = 65)

http://www.informatik.uni-trier.de/~ley/db/journals/tosem/tosem23.html#MasriA14

12. Ghandour W., *Akkary H., and Masri W. Leveraging Strength-Based Dynamic

Information Flow Analysis to Enhance Data Value Prediction. ACM Transactions

on Architecture and Code Optimization 9, 1, Article 1 (March 2012), 33 pages, pp

1-33. (TACO) (impact factor = 1.64, Q2, H-index = 21)

13. *Masri W. and Halabi H. An algorithm for capturing variables dependences in test

suites. Journal of Systems and Software (JSS) 84(7): pp 1171-1190 (2011) (impact

factor = 2.4, Q1, H-index = 82)

14. *Masri W. Fault Localization Based on Information Flow Coverage. Software

Testing, Verification and Reliability (STVR) (Wiley), 2010, vol. 20(2), pp. 121-

147. (impact factor = 1.59, Q1, H-index = 41)

15. *Masri W. and Podgurski A. Measuring the Strength of Information Flows in

Programs. ACM Transactions on Software Engineering and Methodology

(TOSEM). , Vol. 19, No. 2, Article 5, October 2009. (impact factor = 2.52, Q1, H-

index = 65)

16. *Masri W. and Podgurski A. Algorithms and Tool Support for Dynamic

Information Flow Analysis. Information and Software Technology (IST)

(Elsevier). Vol. 51 (Feb. 2009), pages 385-404. (impact factor = 2.7, Q1, H-index

= 76)

17. *Masri W. Exploiting the Empirical Characteristics of Program Dependences for

Improved Forward Computation of Dynamic Slice. Empirical Software

Engineering (EMSE) (Springer), 2008 13:369-399. (impact factor = 3.3, Q1, H-

index = 50)

18. *Masri W. and Podgurski A. Application-Based Anomaly Intrusion Detection

with Dynamic Information Flow Analysis. Computers & Security (Elsevier). Vol.

27 (2008), pages 176-187. (impact factor = 1.4, Q1, H-index = 55)

19. *Masri W., Podgurski A., and Leon D. An Empirical Study of Test Case Filtering

Techniques Based On Exercising Information Flows. IEEE Transactions on

Software Engineering, July, 2007, vol. 33, number 7, page 454. (impact factor =

3.3, Q1, H-index = 137)

20. Jabbour R., *Masri W., El-Hajj A. Optimizing password security through key-

pattern analysis. International Journal of Internet Technology and Secured

Transactions, 2011, 3, 178-193. Press release and some related magazine articles: [onespot.wsj.com/gadgets/2011/05/20/0691f/key-pattern-analysis-software-times-your]

[www.sciencedaily.com/releases/2011/05/110517110304.htm]

[www.engadget.com/2011/05/20/key-pattern-analysis-software-times-your-typing-for-improved-

pas/]

[www.businessinsider.com/key-pattern-analysis-software-times-your-typing-for-improved-password-

protection-2011-5]

[gsuryalss.wordpress.com/tag/key-pattern-analysis/]

[onespot.wsj.com/gadgets/2011/05/20/0691f/key-pattern-analysis-software-times-your]

21. *Podgurski A., Masri W., McCleese Y., Wolff F., and Yang C. Estimation of

Software Reliability by Stratified Sampling, ACM Transactions on Software

Engineering and Methodology (TOSEM), Vol. 8, issue 3 (July 1999), pp 263-283.

(impact factor = 2.52, Q1, H-index = 65)

22. *Katsuri R., Bow S.T., El-Masri W., Shah J., Gattiker J.R., and Mokate U.B. A

System for Interpretation of Line Drawings, IEEE Transactions on Pattern Analysis

and Machine Intelligence (PAMI), vol.12, no.10, pp 978-992, Oct. 1990. (impact

factor = 7.76, Q1, H-index = 241)

Book Chapters

23. *Masri W. and Zaraket F. "Coverage-based Software Testing: Beyond Basic Test

Requirements". Advances in Computers, Elsevier, August 2016, pp 79-142.

24. *Masri W. "Automated Fault Localization: Advances and Challenges". Advances

in Computers, Elsevier, June 2015, pp 103-156.

doi:10.1016/bs.adcom.2015.05.001.

25. *Katsuri R., Bow S.T., El-Masri W., Shah J., Gattiker J.R., and Mokate U.B. A

System for Interpretation of Line Drawings, Computer Vision: Advances and

Applications by R. Kasturi and R. C. Jain, IEEE Computer Society Press, pp 529-

543, 1991.

Conference/workshop Proceedings

26. Rawad Abou Assi, Wes Masri*, Chadi Trad. Substate Profiling for Enhanced Fault

Detection and Localization: An Empirical Study. Thirteenth International

Conference on Software Testing, Verification and Validation, ICST 2020, March,

Porto, Portugal (presentation was postponed to an undetermined date)

27. Rawad Abou Assi, Wes Masri*, Chadi Trad. Substate Profiling for Effective Test

Suite Reduction. ISSRE 2018: 123-134

28. Chadi Trad, Rawad Abou Assi, Wes Masri*, Fadi A. Zaraket. CFAAR: Control

Flow Alteration to Assist Repair. ISSRE Workshops 2018: 208-215

29. Abou-Assi R. and *Masri W. Lossless Reduction of Execution Profiles using a

Genetic Algorithm. Regression/ICST 2014, Cleveland, April 2014, pp 294-297.

30. *Masri W., Daou J., and Abou-Assi R. State Profiling of Internal Variables.

Regression/ICST 2014, Cleveland, April 2014, pp 332-335.

31. Farjo J. and *Masri W. Weighted Execution Profiles for Software Testing.

Regression/ICST 2014, Cleveland, April 2014, pp 298-301.

32. Farjo J., *Masri W., and Hajj H. Isolating Failing Test Cases: A Comparative

Experimental Study of Clustering Techniques. The 3rd Int’l Conference on

Communications and Information Technology ICCIT 2013, June, 2013 – Beirut,

Lebanon, pp 73-77.

33. Farjo J., Abou Assi R., *Masri W., and Zaraket F. Does Principal Component

Analysis Improve Cluster-Based Analysis? Regression/ICST 2013, Luxembourg,

March 2013, pp 400-403.

34. Shaccour E., Zaraket F., *Masri W., and Noureddine M. Coverage Specification

for Test Case Intent Preservation in Regression Suites. Regression/ICST 2013,

Luxembourg, March 2013, pp 392-395.

35. *Masri W., Abou Assi R., Zaraket F., and Fatairi N. Enhancing Fault Localization

via Multivariate Visualization, Regression/ICST 2012, Montreal, Canada, April

2012, pp 737-741.

36. *Zaraket F., Masri W., Adam M., Hammoud D., Hamzeh R., Farhat R., Khamissi

E., and Noujaim J. GUICop: Specification-based GUI Testing, Regression/ICST

2012, Montreal, Canada, April 2012, pp 747-751.

37. Abou-Assi R. and *Masri W. Identifying Failure-Correlated Dependence Chains.

First International Workshop on Testing and Debugging, TeBug 2011, Berlin,

March 2011, pp 607-616.

38. Ghandour, W. J., *Akkary, H., and Masri, W. 2010. The potential of using

dynamic information flow analysis in data value prediction. In Proceedings of the

19th international Conference on Parallel Architectures and Compilation

Techniques (Vienna, Austria, September 11 - 15, 2010). PACT '10. ACM, New

York, NY, 431-442. (17% acceptance)

39. *Masri W., Abou-Assi R. Cleansing Test Suites from Coincidental Correctness to

Enhance Fault-Localization. Third International Conference on Software Testing,

Verification and Validation, ICST 2010, Paris, France, April 2010, pp 165-174.

(26% acceptance)

40. *Masri W. and El-Ghali M. Test Case Filtering and Prioritization Based on

Coverage of Combinations of Program Elements. Seventh International Workshop

on Dynamic Analysis, WODA, Chicago, IL, 2009, pp 29-34.

41. *Masri W., Abou-Assi R., El-Ghali M., and Fatairi N. An Empirical Study of the

Factors that Reduce the Effectiveness of Coverage-based Fault Localization.

International Workshop on Defects in Large Software Systems, DEFECTS,

Chicago, IL, 2009

42. Zaraket F. and *Masri W. Property Based Coverage Criterion. International

Workshop on Defects in Large Software Systems, DEFECTS, Chicago, IL, 2009.

43. El-Ghali M. and *Masri W. and. Intrusion Detection Using Signatures Extracted

from Execution Profiles. 5th International Workshop on Software Engineering for

Secure Systems, SESS, Vancouver, Canada, 2009, pp 17-24.

44. *Masri W., Nahas N. and Podgurski, A. Memoized Forward Computation of

Dynamic Program Slices. 17th. IEEE International Symposium on Software

Reliability Engineering, ISSRE 2006, Raleigh, NC, USA, pp 23-32. (30%

acceptance)

45. *Masri W. and Podgurski A. An Empirical Study of the Relationship between

Information Flow and Program Dependence. Fourth International Workshop on

Dynamic Analysis (WODA 2006), Shanghai, China, May 2006.

46. *Masri W. and A. Podgurski. “Using Dynamic Information Flow Analysis to

Detect Attacks against Applications”. Software Engineering for Secure Systems

(SESS05). May 15, 2005, St. Louis, MO.

47. Leon, D., Masri W., *Podgurski. A. “An Empirical Evaluation of Test Case

Filtering Techniques Based On Exercising Complex Information Flows”. 27th

International Conference on Software Engineering, ICSE 2005, St. Louis, MO, May

2005, pp 412-421. (14% acceptance)

48. *Masri, W., Podgurski, A., and Leon, D. “Detecting and Debugging Insecure

Information Flows”. 15th. IEEE International Symposium on Software Reliability

Engineering, ISSRE 2004. Rennes, France Nov 2-5, 2004, pp 198-209. (25%

acceptance)

49. A. *Podgurski, D. Leon, P. Francis, Masri W., Minch M., Sun J., and Wang B.

Automated Support for Classifying Software Failure Reports, ICSE 2003,

International Conference on Software Engineering, May 2003, Portland, Oregon, pp

465-477. (13% acceptance)

50. *Podgurski A., Yang C., and Masri W. Partition testing, Stratified sampling and

Cluster Analysis, ACM SIGSOFT, FSE, Los Angeles, Dec. 7, 1993, pp 169-181.

(15% acceptance. Note: the 3rd name does not show when searching)

51. Apicella A., Wood C., Nessaiver M., Hajjar F., and Masri W. Segmentation of

Ventricles in Short Axis NMR Black Blood Images", IEEE Conf. Engineering

Medicine and Biology, Nov. 1991

52. *Kasturi R., Bow S.T., Gattiker J., Shah, J., El-Masri, W. Mokate U., and

Honnenahalli S. A System for Recognition and Description of Graphics, the 9th

International Conf. on Pattern Recognition, Vol.I, pp 255-259, Rome, Italy, Nov.

1988

53. *Bow S.T. and El-Masri W. Knowledge-based Graphics Understanding and

Description for Document Archival and Retrieval. Proc. SPIE Conf., Advances in

Intelligent Robotic Systems, Vol.848, pp 640-647, Nov. 1987

EXTERNAL GRANTS

2008-2013

NSF - Software for Real-World Systems (PI): “Enhancing the Reliability of

Bioinformatics Software by Correlating User Feedback and Execution Data”.

Collaborative research with Case Western Reserve University. [Combined award =

$826,383 - AUB’s award = $139,236]

2010-2012

Dar Al-Handasah (PI): “Exploiting Dynamic Dependence Analysis to Improve

Disjoint Out-of-order Execution Architectures”. Research to be conducted in

collaboration with Prof. Haitham Akkary of AUB. [$20,000]

2008-2010

Arab Science and Technology Foundation (PI): Automated .NET Program

Debugging Based on Dynamic Program Analysis [$30,120]

Lebanese National Council for Scientific Research (LNCSR):

2020 (Pending)

State Profiling for Enhanced Software Reliability and Security. [20,000,000LL per

year]

2014-2017

Transforming Execution Profiles to Improve the Effectiveness of Software Analysis

[$6,000 per year]

2012-2013

Dynamic Software Analysis via Multivariate Visualization [$5,300]

2010-2011

Refining Test Suites to Enhance Coverage-based Fault Localization [$4,600]

2008-2009

Debugging Based on Dynamic Program Analysis [$4,600] (second year)

2007-2008

Debugging Based on Dynamic Program Analysis [$4,600]

2005-2006

Application of Dynamic Information Flow Analysis in Software Testing and Security

[$4,600]

AUB GRANTS (University Research Board)

2019-2020

Automatically Reviving Quarantined Flaky Tests [$8,000]

2017-2019

Repairing Programs by Altering their Dependence Chains [$7,500/year]

2015-2017

UCov: a User-Defined Coverage Criterion for Test Case Intent Verification [$6,500/ year]

2013-2015

Enhancing Execution Profiles for better Software Testing [$6,500/year]

2012-2013

Dynamic Software Analysis via Multivariate Visualization [$6,500]

2011-2012

Using Failure-Correlated Dependence Chains to Guide Fault Localization [$6,300]

2010-2011

Enhancing Fault Localization: How to Effectively Deal with Coincidentally Correct

Tests? [$6,600]

2009-2010

Leveraging Combinations of Multi-Type Program Elements to Enhance Software

Reliability [$5,900]

2008-2009

Debugging Based on Dynamic Program Analysis – year two [$2,856]

2007-2008

Debugging Based on Dynamic Program Analysis – year one [$3,600]

2006-2007

An Empirical Study of the Strength and Length of Information Flows in Programs

[$3,500]

2005-2006

Application of Dynamic Information Flow Analysis in Software Testing and Security

[$3,200]

2005

Dynamic Information Flow Analysis and Profiling [$4,500]

DECLINED PROPOSALS

2020

Facebook (Privacy Preserving Technologies): “A Comprehensive Evaluation of the

Effectiveness of Data Anonymization Techniques”. Research to be conducted in

collaboration with Prof. Ibrahim Issa of AUB [$80,000]

2019

Facebook (Testing and Verification): “Automatically Reviving Quarantined Flaky Tests”

[$50,000]

2015

National Instruments: “CTLV: An Approach and Tool for Concolic Testing of

LabView”. Research to be conducted in collaboration with Prof. Fadi Zaraket of AUB

[$50,000]

2012

Qatar National Research Foundation: “A Reconfigurable Disjoint Out-of-order

Execution (DOE) Multi-Core Architecture: FPGA Prototype, Compiler, and Performance

Studies”. Research to be conducted in collaboration with Prof. Haitham Akkary of AUB

and Mazen Saghir of TAMU-Qatar [$8,200,000]

2011

Qatar National Research Foundation: “Design and Prototype of a Reconfigurable

Multicore Processor Architecture for Speculative Disjoint Out-of-Order Execution”.

Research to be conducted in collaboration with Prof. Haitham Akkary of AUB and Mazen

Saghir of TAMU-Qatar [$1,100,000]

2010

NSF Software and Hardware Foundations: “Leveraging Dynamic Dependence

Analysis to Support and Enhance Disjoint Out-of-order Execution Architectures”.

Research to be conducted in collaboration with Prof. Haitham Akkary of AUB and Alex

Orso of Georgia Tech. [Combined requested funds = $480,000 - AUB’s requested funds =

$249,923]

2009

NSF Software and Hardware Foundations: “Improving Software Quality through

Advanced Program Dependence Analysis”. Research to be conducted in collaboration

with Georgia Tech and Case Western Reserve University. [Combined requested funds =

$490,000 - AUB’s requested funds = $101,775

2008

NSF Cyber-Trust: “Extending and Supporting Program Dependence Analysis to Improve

Software Security”. Research to be conducted in collaboration with Georgia Tech. Two

separate but linked proposals were submitted. [Combined requested funds = $453,543 -

AUB’s requested funds = $151,795]

2006

NSF CNS - Res in Networking Tech & Sys: “A Comprehensive Suite of Protocols and

Infrastructure Software Tools for Energy Efficient Wireless Sensor Networks”. In

collaboration with Dr. Mohamed Watfa. [Requested funds = $262,695]

PROGRAM COMMITTEE MEMBERSHIP

Conferences

ACM/IEEE International Conference on Automation of Software Test AST 2020,

Seoul, South Korea

ESEC/FSE 2019. 27th ACM Joint European Software Engineering Conference and

Symposium on the Foundations of Software Engineering TALLINN, ESTONIA, 26-

30 AUGUST 2019

41th International Conference on Software Engineering, ICSE 2019, Montreal,

Canada, May 2019

12th International Conference on Software Testing, Verification and Validation, ICST

2019, Xi’an, China, April 2019

40th International Conference on Software Engineering, ICSE 2018, Gothenburg,

Sweden, May 2018


2017, Tokyo, Japan, March 2017

28th International Conference on Testing Software and Systems, ICTSS 2016, Graz,

Austria, October 17-19

ESEC/FSE 2015. 10th Joint Meeting of the European Software Engineering

Conference and the ACM SIGSOFT Symposium on the Foundations of Software

Engineering BERGAMO, ITALY August 31 – September 4


2015, Graz, Austria, April 2015

27th International Conference on Testing Software and Systems, ICTSS 2015, Dubai,

November 23-25

25th IEEE International Symposium on Software Reliability Engineering (ISSRE),

Naples, Italy, November 2014


2014, Cleveland, April 2014

24th IEEE International Symposium on Software Reliability Engineering, ISSRE

2013, Pasadena, CA, November

Testing Academic & Industrial Conference – Practice and Research Techniques,

London, UK. TAIC-PART 2013-2014-2015


2013, Luxembourg, March 2013

19th Asia-Pacific Software Engineering Conference, Emerging Research Track,

APSEC 2012, Hong Kong, December 2012.


2012, Montreal, Canada, April 2012


2011, Berlin, Germany, April 2011

Testing Academic & Industrial Conference – Practice and Research Techniques,

London, UK. TAIC-PART 2006-2007-2008-2009-2010


2009, Bengaluru-Mysuru, India


2008, Seattle, Washington

1st International Conference on Software Testing, Verification and Validation, ICST

2008, Lillehammer, Norway, April 2008

Workshops

2nd International Workshop on Debugging and Repair IDEAR 2019

1st International Workshop on Debugging and Repair IDEAR 2018, , co-located with

ISSRE 2018, Memphis, Tennessee, October 2018

8th International Workshop on Program Debugging IWPD 2017, co-located with

ISSRE 2017, Toulouse, France, October 2017


ISSRE 2016, Ottawa, Canada, October 2016


ISSRE 2015, Gaithersburg, Maryland, November 2015


ISSRE 2014, Naples, Italy, November 2014


2013, Tools Workshop, Luxembourg, March 2013

3rd International Workshop on Program Debugging IWPD 2012, co-located with

ISSRE 2012, Dallas, Texas, November 2012

8th International Workshop on Dynamic Analysis, WODA 2010, Trento, Italy

5th International Workshop on Automation of Software Test, AST 2010, Cape Town,

South Africa

7th International Workshop on Dynamic Analysis, WODA 2009, Chicago, Illinois

REVIEWER

Software Testing, Verification and Reliability (STVR), 2020

IEEE Transactions on Software Engineering (TSE), 2019

IEEE Access, 2018

Empirical Software Engineering (EMSE), 2017



Software Quality Journal (SQJ), 2016

Journal of Systems and Software (JSS), 2016


Software Testing, Verification and Reliability (STVR), 2016


ACM Transactions on Software Engineering and Methodology (TOSEM), 2014

Information and Software Technology (IST), 2014






ACM Transactions on Software Engineering and Methodology (TOSEM), 2011


Journal of Software and Systems Modeling (JSSM, Springer), 2010


18th. IEEE International Symposium on Software Reliability Engineering, ISSRE

2007, Trollhättan, Sweden

Conference on Current Trends in the Theory and Applications of Computer Science

Notre Dame University (NDU), Lebanon, February 2008

Reviewed a number of proposals for LNCSR

PROMOTION REFEREE

Served as a referee for the promotion (with tenure) to associate professor of an

applicant in a US university

Served as a referee for the promotion to associate professor of an applicant in a

regional university

IMPROVEMENT ACTIVITIES

Will present a paper at ICST 2020, Porto, Portugal

Presented a paper at ISSRE 2019, Memphis, Tennessee

Presented a paper at IDEAR/ISSRE 2019, Memphis, Tennessee

Presented three papers at Regression 2014, Cleveland

Attended the PC meeting of ESEC/FSE 2015, Florence, Italy

Presented three papers at Regression 2014, Cleveland

Presented two papers at Regression 2013, Luxembourg

Chaired a research session at ICST 2013, Luxembourg

Presented two papers at Regression 2012, Montreal, Canada

Chaired a research session at ICST 2012, Montreal, Canada

Presented a paper at TeBug’11, April 2011, Berlin, Germany

Presented a paper at ICST’10, March 2010, Paris, France

Presented a paper at WODA’09, July 2009, Chicago, Illinois

Presented a paper at DEFECTS’09, July 2009, Chicago, Illinois

Presented a second paper at DEFECTS’09, July 2009, Chicago, Illinois

Presented a paper at SESS’09, May 2009, Vancouver, Canada

Presented a paper at WODA’06, May 2006, Shanghai, China

Presented a paper at SESS’05, May 2005, Saint Louis, MS

Attended ISSTA 2009, July 2009, Chicago, Illinois

Attended ICSE 2009, May 2009, Vancouver, Canada

Attended ICSE 2006, May 2006, Shanghai, China

Attended ICSE 2005, May 2005, Saint Louis, MS

Participated in a research workshop at Notre Dame U. (Lebanon), 2006 and 2008

GRADUATE STUDENTS

PhD Students:

Chadi Trad (expected graduation: Summer 2020)

Rawad Abou-Assi (Graduated: Spring 2014)

Walid Ghandour (co-advisor, Graduated: Fall 2011)

MS students:

Ahmad Mustapha (expected graduation: Fall 2020)

Joan Farjo (Graduated: Spring 2014)

Nour Fatairi (Graduated: Spring 2011)

Hiba Halabi (Graduated: Spring 2009)

Marwa El-Ghali (Graduated: Fall 2008)

Rawad Abou-Assi (Graduated: Fall 2008)

Dalal Hammoud (co-advisor, Graduated: Summer 2015)

Elie Shaccour (co-advisor, Graduated: Summer 2013)

Fatima Hamdan (co-advisor, Graduated: Fall 2012)

MS Thesis committee member for:

Three ECE students

Ten CMPS students

TEACHING

COURSES TAUGHT AT AUB

Term Course Title # Students

Spring 2020 EECE 230

EECE 334

Introduction to Programming using Python

Programming Languages

Online

Online

Fall 2019 EECE 332

EECE 330

Object-Oriented and Effective Java Programming

Data Structures and Algorithms

42

35


EECE 334



Both revamped for CSE

36

27

Fall 2018 Research Leave

Summer 2018 EECE 503C Object-Oriented and Effective Java Programming 13


EECE 230

Software Testing

Introduction to Programming

21

38

Fall 2017 EECE 503C

EECE 434

EECE 499



Undergraduate Research

31

35

3

Summer 2017 EECE 230 Introduction to Programming 15


EECE 230

Software Testing


17

31

Fall 2016 EECE 330

EECE 434



39

39

Summer 2016 EECE 499 Undergraduate Research 1


EECE 230

Software Testing


21

45

Fall 2015 EECE 330

EECE 434

EECE 638

EECE 231



Software Testing

Introduction to Programming Using C++/MATLAB

30

41

2

45


Spring 2015 Research leave

Fall 2014 EECE 330

EECE 434

EECE 638



Software Testing

33

23

9



EECE 434



34

40

Fall 2013 EECE 330

EECE 638

EECE 499


Software Testing


46

10

1

Summer 2013 EECE 434 Programming Languages 11


EECE 434



33

34

Fall 2012 EECE 330 Data Structures and Algorithms 32

EECE 638 Software Testing 8

Summer 2012 EECE 230

EECE 434



18

10


EECE 434

EECE 638

EECE 499



Software Testing


28

39

5

1

Fall 2011 Research leave

Summer 2011 EECE 230

EECE 434



15

6


EECE 230

Software Testing


13

36

Fall 2010 EECE 434

EECE 430

EECE 230


Software Engineering


39

20

36


EECE 434



36

23

Fall 2009 EECE 230

EECE 638


Software Testing

54

12


CMPS 258



36

58/2 secs

Fall 2008 CMPS 200

CMPS 212

CMPS 212

Introductory Programming

Intermediate Programming and Data Structures

Recitation

20

21

21

Spring 2008 CMPS 396L

CMPS 212

Software Reliability and Security (Developed)


14

40/2 secs

Fall 2007 Hewlett leave to Georgia Tech

Spring 2007 CMPS 297C

CMPS 258

Computer Security


25

26

Fall 2006 CMPS 396H

CMPS 212

CMPS 200

Program Analysis (Developed)


Introductory Programming

18

34

41

Spring 2006 CMPS 297C

CMPS 212

Computer Security (Developed)


34

40

Fall 2005 CMPS 396C

CMPS 212

Computer Security (Developed)


19

30

Spring 2005 CMPS 258

CMPS 212



38

48

Fall 2004 CMPS 396C

CMPS 212

Computer Security (Developed and taught)


28

66

SERVICE

HIGHLIGHTS

AUB professors are expected (but are not required) to serve on committees at the

departmental, faculty, and university levels. As part of a departmental committee, I was

heavily involved in designing and developing the newly proposed undergraduate

Computer Science & Engineering program. I am currently heading the MSFEA University

Research Board Committee. Some committees stand out as being very demanding, e.g.,

the Financial Aid Committee which is one of the committees that I served on for over six

years required us to manually scrutinize hundreds of applications multiple times every

year.

UNDERGRADUATE STUDENTS ADVISING

2017–2018 48 students

2016–2017 48 students

2015–2016 82 students

2014–2015 53 students

2013–2014 50 students

2012–2013 53 students

2011–2012 26 students

2010–2011 32 students

2009–2010 40 students

2008–2009 45 students

2007–2008 45 students

2006–2007 54 students

2005–2006 120 students

2004–2005 50 students

SERVICE TO AUB

2010–2016 Financial Aid Committee

2016 Marshal at commencement

2010–2016 Disciplinary Committee


2008–2009 University Senate


SERVICE TO ECE

2018–present Graduate Committee

2017 Ad Hoc Recruitment Committee

2015–present Ad Hoc Committee: Computer Science & Engineering Program

2016–2017 Graduate Committee

2009–present Software Committee (headed from 2009 to 2014)

2012–2014 Undergraduate Committee

2010–2011 Undergraduate Committee


2009–2010 Ad Hoc Committee: FYP

2004–2010 Reviewed URB proposals submitted by faculty members

SERVICE TO MSFEA

2017–present Head, MSFEA University Research Board Committee

2016–2017 MSFEA University Research Board Committee

2016–present Student Affairs Committee

2012–2014 FEA conference organizing committee

2012 Ad Hoc Committee: Promoting Technology Entrepreneurships

2011–present Curriculum Committee

SERVICE TO FAS

2004–present Reviewed a number of URB proposals submitted by faculty members

SERVICE TO CMPS

2007–2008 Curriculum Committee

2006–2007 Curriculum Committee


Coordinator, Research Seminars


Coordinator, Research Seminars

SOFTWARE INDUSTRY EXPERIENCE (1989–2003)

2002–2003 Hyland Software Inc., Westlake, OH (2000 hours)

Designed and developed a set of automated testing and diagnostics tools for

document imaging products in support of the QA department.

2000–2002 Acero/Incyte–Genomics/IBM, Cleveland, OH/Palo Alto, CA (3000 hours)

Designed and developed a computing heterogeneous Farm that enables users

to submit parallel tasks, potentially numbering in the thousands. The system

is required to dispatch and run the tasks taking into consideration load

balancing, throughput, fault-tolerance and recovery. This CORBA based

distributed system runs on hybrid platforms comprising Linux, Solaris and

Windows. The supported client environments are Java, C++ and Perl. The

system was deployed on a cluster of 2500+ Linux execution node managed

by several Solaris nodes.

1995–2001 Keithley Instruments, Solon, OH (7000 hours)

Designed and developed the test definition and data presentation software

subsystems for a parametric semiconductor test machine. Provided

capabilities to apply transforms and analyze the data in real-time and

graphical mode. Designed and developed a suite of front-end applications

for a semiconductor process monitoring machine. The applications included

an off-line graphical test generator, a real-time control operator interface and

a post-processing database/analysis tool. The product was subsequently

acquired by KLA-Tencor.

2000 Royal Appliance/Dirt Devil, Cleveland OH (400 hours)

Assessed the organization’s current software practices then made

recommendations to improve them; trained development staff in various

object-oriented technologies including EJB and UML.

1999–2000 First Energy, Akron OH (1000 hours)

Developed an E-Bill payment application and a Customer Service

application (Intranet) using WebSphere, Servlets, JSPs and Visual Age for

Java.

1999 KeyCorp, Cleveland OH (1000 hours)

Developed e-commerce applications (www.keybank.com) for consumer loan

lending (e.g., personal, auto, home equity, loan calculators etc.). The

assignment involved both Server and Client side development using Java

and NetDynamics.

http://www.keybank.com/

1997–1999 Bristol West, Cleveland OH (4000 hours)

Lead designer and developer of an Intranet-based Insurance Claims System.

This multi-tiered distributed system was deployed in over 40 offices

nationwide. The adopted technologies included: EJB, CORBA, Rational

Rose, TOPLINK, and Visual Age for Java.

1994–1998 ICG, Independence, OH (4000 hours)

Lead the design and development of the customer care and provisioning

software system. The system supported a multitude of products including

various Local Phone services, Long Distance, Calling Card, and Voice Mail.

Those products were provided by various vendors, which required the use of

different types of technologies (EDI, EDE etc.) to implement the

provisioning process.

1990–1994 Philips Medical Systems (R&D), Highland Heights, OH (9000 hours)

Researched and developed a 3-D medical imaging visualization and surgical

planning system. In addition to software design and development, the work

included 2D and 3D algorithm design and development, e.g., multi-planar

reformatting, 3-D surface, volume and angiographic rendering, multiple

object disarticulation and fusion.

1989–1990 General Electric Medical Systems, Waukesha, WI (2000 hours)

Developed a suite of tools to enable medical imaging researchers develop

and emulate MRI pulse sequences.

Documents

Wassim (Wes) Masrifeaweb.aub.edu.lb/personalwebsites/wm13/CV.pdf · Case Western Reserve University, Cleveland, OH B.S. -Electrical Engineering -August 1986 American University of