Skip to content. Skip to main navigation.

avatar

Christoph Csallner

  • Associate Professor, Computer Science and Engineering

Education

    • 2008 PhD in Computer Science
      Georgia Institute Technology, 2008
    • 2003 BS + MS combined degree in Software Engineering
      Universitat Stuttgart, 2003
    • 2002 MS in Computer Science
      Georgia Institute Technology, 2002

Appointments

    • Sept 2014 to Present Associate Professor
      Computer Science and Engineering Department ,University of Texas at Arlington (Arlington, TX, United States)
    • Sept 2008 to Aug 2014 Assistant Professor
      Computer Science and Engineering Department ,University of Texas at Arlington (Arlington, TX, United States)
    • Aug 2003 to Aug 2008 Graduate Research Assistant
      Georgia Institute of Technology
      Atlanta, Georgia, Fall 2003 to Summer 2008. Graduate Research Assistant working with Yannis Smaragdakis. Part-time position held while working towards Ph.D. degree.
    • Aug 2006 to Dec 2006 Research Intern
      Microsoft Research (Redmond, WA, United States)
      Research Intern working with Nikolai Tillmann and Wolfram Schulte in the Foundations of Software Engineering Group. Position held while working on Ph.D. degree.
    • May 2006 to Aug 2006 Software Engineer in Test Intern
      Google (Mountain View, CA,
      Software Engineer in Test Intern working with YuQian Zhou and John Penix. Position held while working on Ph.D. degree.
    • May 2002 to Aug 2002 Graduate Research Assistant
      Georgia Institute of Technology
      Graduate Research Assistant working with Yannis Smaragdakis. Part-time position held while working towards M.S. degree.

Memberships

    • 2005 to Present ACM Special Interest Group on Software Engineering
      "The ACM Special Interest Group on Software Engineering provides a forum for computing professionals from industry, government and academia to examine principles, practices, and new research results in software engineering." [https://www.sigsoft.org/]
    • Nov 2001 to Present Association for Computing Machinery

Awards and Honors

    • Dec  2019 ACM TOSEM Board of Distinguished Reviewers sponsored by Transactions on Software Engineering and Methodology (TOSEM)
    • Nov  2015 ACM SIGSOFT Distinguished Paper Award sponsored by IEEE/ACM International Conference on Automated Software Engineering (ASE 2015)
    • Dec  2014 Best Paper Award sponsored by Program Protection and Reverse Engineering Workshop (PPREW-4)
    • Dec  2012 ACM TOSEM Distinguished Referee 2011-2012 sponsored by ACM Transactions on Software Engineering and Methodology (TOSEM)
    • Jul  2012 ACM SIGSOFT Distinguished Paper Award sponsored by International Symposium on Software Testing and Analysis (ISSTA 2012)
    • Nov  2010 Best Paper Award sponsored by IEEE International Symposium on Software Reliability Engineering (ISSRE 2010)
    • Jan  2007 Best Paper Award sponsored by IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
    • Jul  2006 ACM SIGSOFT Distinguished Paper Award sponsored by International Symposium on Software Testing and Analysis (ISSTA 2006)
    • Dec  2003 Invited Member sponsored by Upsilon Pi Epsilon
    • Dec  2002 Invited Member sponsored by Gamma Beta Phi

News Articles

Publications

      Conference Proceeding 2018
      • SPEjs: A Symbolic Partial Evaluator for JavaScript
        [Süslü, Sümeyye, Csallner, Christoph]. 7--12 [.] "ACM".
      2018
      • A curated corpus of Simulink models for model-based empirical studies
        [Chowdhury, ShafiulAzam, Varghese, LinaSera, Mohian, Soumik, Johnson, TaylorT., Csallner, Christoph]. 45--48 [.] "ACM".
      2018
      • Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge
        [Chowdhury, ShafiulAzam, Mohian, Soumik, Mehra, Sidharth, Gawsane, Siddhant, Johnson, TaylorT., Csallner, Christoph]. "ACM". DOI http://dx.doi.org/10.1145/3180155.3180231
      2018
      • Complementing machine learning classifiers via dynamic symbolic execution: ``Human vs. bot generated'' tweets
        [Shrestha, SohilL., Panda, Saroj, Csallner, Christoph]. 15--20 [.] "ACM".
      2018
      • P2A: A tool for converting pixels to animated mobile application user interfaces
        [Natarajan, Siva, Csallner, Christoph]. 224--235 [.] "ACM".
      2018
      • Poster: Testing web-based applications with the voice controlled accessibility and testing tool (VCAT)
        [Ramachandra, NagendraPrasad, Csallner, Christoph]. 208--209 [.] "ACM".

      Conference Proceeding 2016 2016
      • CyFuzz: A differential testing framework for cyber-physical systems development environments
        [Shafiul Azam Chowdhuryand Taylor T. Johnson, Csallner, Christoph]. 46--60 [.] "Springer". DOI http://dx.doi.org/10.1007/978-3-319-51738-4_4

      Journal Article 2016
      • RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications
        [Hussain, Ishtiaque, Csallner, Christoph, Grechanik, Mark, Xie, Qing, Park, Sangmin, Taneja, Kunal, Hossain, B.M.Mainul]. 46(3), 405--431 [.] DOI http://dx.doi.org/10.1002/spe.2290

      Conference Proceeding 2015
      Conference Proceeding 2014
      Journal Article 2014
      • Residual investigation: Predictive and precise bug detection
        [Li, Kaituo, Reichenbach, Christoph, Csallner, Christoph, Smaragdakis, Yannis]. 24(2), 7:1--7:32 [.] "ACM".
      2014
      • Generating test cases for programs that are coded against interfaces and annotations
        [Islam, Mainul, Csallner, Christoph]. 23(3), 21:1--21:38 [.] DOI http://dx.doi.org/10.1145/2544135
      2014
      • A distributed framework for demand-driven software vulnerability detection
        [Zhang, Dazhi, Liu, Donggang, Csallner, Christoph, Kung, DavidC, Lei, Yu]. 87(1), 60--73 [.] DOI http://dx.doi.org/10.1016/j.jss.2013.08.033

      Conference Proceeding 2013
      • SEDGE: Symbolic example data generation for dataflow programs
        [Li, Kaituo, Reichenbach, Christoph, Smaragdakis, Yannis, Diao, Yanlei, Csallner, Christoph]. 235--245 [.] "IEEE". DOI http://dx.doi.org/10.1109/ASE.2013.6693083
      2013 2013
      • Poster: Automatic profiling of evasive mixed-mode malware with SEMU
        [Aboughadareh, Shabnam, Csallner, Christoph, Azarmi, Mehdi].

      Conference Proceeding 2012
      • Dynamic analysis of evasive modular malware
        [Aboughadareh, Shabnam, Csallner, Christoph, Azarmi, Mehdi].
      2012
      • CarFast: Achieving higher statement coverage faster
        [Park, Sangmin, Hussain, Ishtiaque, Csallner, Christoph, Taneja, Kunal, Hossain, B.M.Mainul, Grechanik, Mark, Fu, Chen, Xie, Qing]. 35:1--35:11 [.] "ACM". DOI http://dx.doi.org/10.1145/2393596.2393636
      2012
      • Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator
        [Hussain, Ishtiaque, Csallner, Christoph, Grechanik, Mark, Fu, Chen, Xie, Qing, Park, Sangmin, Taneja, Kunal, Hossain, B.M.Mainul]. 1--6 [.] "ACM". DOI http://dx.doi.org/10.1145/2338966.2336798
      2012
      • Residual investigation: Predictive and precise bug detection
        [Li, Kaituo, Reichenbach, Christoph, Csallner, Christoph, Smaragdakis, Yannis]. 298--308 [.] "ACM". DOI http://dx.doi.org/10.1145/2338965.2336789
      2012
      • An experiment in developing small mobile phone applications comparing on-phone to off-phone development
        [Nguyen, TuanA., Rumee, SarkerT.A., Csallner, Christoph, Tillmann, Nikolai]. 9--12 [.] "IEEE". DOI http://dx.doi.org/10.1109/USER.2012.6226586

      Journal Article 2012
      • SimFuzz: Test case similarity directed deep fuzzing
        [Zhang, Dazhi, Liu, Donggang, Lei, Yu, Kung, DavidC, Csallner, Christoph, Nystrom, Nathaniel, Wang, Wenhua]. 85(1), 102--111 [.] DOI http://dx.doi.org/10.1016/j.jss.2011.07.028

      Conference Proceeding 2011
      • Managing performance testing with release certification and data correlation
        [Nivas, Tuli, Csallner, Christoph].
      2011 2011
      • A combinatorial approach to detecting buffer overflow vulnerabilities
        [Wang, Wenhua, Lei, Yu, Liu, Donggang, Kung, DavidC, Csallner, Christoph, Zhang, Dazhi, Kacker, Raghu, Kuhn, Rick]. 269--278 [.] "IEEE". DOI http://dx.doi.org/10.1109/DSN.2011.5958225

      Journal Article 2009
      Other 2008
      • Combining over- and under-approximating program analyses for automatic software testing
        [Csallner, Christoph]. "Georgia Tech".

      Conference Proceeding 2008
      Journal Article 2008
      Conference Proceeding 2006
      • DSD-Crasher: A hybrid analysis tool for bug finding
        [Csallner, Christoph, Smaragdakis, Yannis]. 245--254 [.] "ACM".
      2006

      Journal Article 2004
      • JCrasher: An automatic robustness tester for Java
        [Csallner, Christoph, Smaragdakis, Yannis]. 34(11), 1025--1050 [.]

      Conference Proceeding 2003
      • FundExplorer: Supporting the diversification of mutual fund portfolios using Context Treemaps
        [Csallner, Christoph, Handte, Marcus, Lehmann, Othmar, Stasko, John]. 203--208 [.] "IEEE". DOI http://dx.doi.org/10.1109/INFVIS.2003.1249027

Presentations

    • November  2019
      Csallner, Christoph, "Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge", IEEE, Hurst, TX. (November , 2019).
    • September  2018
      Csallner, Christoph, "SPEjs: A symbolic partial evaluator for JavaScript", Montpellier, France. (September , 2018).
    • May  2018
      Csallner, Christoph, "P2A: A tool for converting pixels to animated mobile application user interfaces", Gothenburg, Sweden. (May , 2018).
    • May  2018
      Csallner, Christoph, "Voice Controlled Accessibility and Testing tool (VCAT)", Gothenburg, Sweden. (May , 2018).
    • August  2017
      Csallner, Christoph, "Practical rootkit detection, analysis of mixed-mode malware, and fuzzing Simulink", University of Texas at Dallas, Dallas, TX. (August , 2017).
    • May  2017
      Csallner, Christoph, "Reverse engineering object-oriented applications into high-level domain models with Reoom", Buenos Aires, Argentina. (May , 2017).
    • March  2017
      Csallner, Christoph, "Empowering non-programmers to create significant software", University of Texas at Dallas, Dallas, TX. (March , 2017).
    • September  2016
      Csallner, Christoph, "Finding bugs in MathWorks Simulink with CyFuzz", University of Texas at Arlington, Arlington, TX. (September , 2016).
    • August  2016
      Csallner, Christoph, "Reverse engineering mobile application user interfaces with REMAUI", University of Washington, Seattle, WA. (August , 2016).
    • June  2016
      Csallner, Christoph, "GROPG: The First Graphical On-Phone Debugger", BNSF Railway, Fort Worth, TX. (June , 2016).
    • April  2015
      Csallner, Christoph, "REMAUI: Converting pixels to code", University of Texas at Arlington, Arlington, TX. (April , 2015).
    • December  2013
      Csallner, Christoph, "Data privacy in health care applications", University of Texas at Arlington, Arlington, TX. (December , 2013).
    • October  2013
      Csallner, Christoph, "On-phone coding and debugging", IEEE, Arlington, TX. (October , 2013).
    • July  2012
      Csallner, Christoph, "End-user programming for mobile devices", Microsoft, Redmond, WA. (July , 2012).
    • September  2011
      Csallner, Christoph, "New ideas track: Testing MapReduce-style programs", Szeged, Hungary. (September , 2011).
    • September  2010
      Csallner, Christoph, "Scalable automatic software testing and verification", IEEE, Arlington, TX. (September , 2010).
    • July  2010
      Csallner, Christoph, "Code Contracts and Pex: Infrastructure for dynamic and static analysis for .Net", Microsoft, Redmond, WA. (July , 2010).
    • October  2008
      Csallner, Christoph, "Scalable automatic software testing and verification", Accenture, Chicago, IL. (October , 2008).
    • April  2008
      Csallner, Christoph, "Combining static and dynamic analyses for automated bug-finding", Iowa State University, Ames, IA. (April , 2008).
    • April  2008
      Csallner, Christoph, "Combining static and dynamic analyses for automated bug-finding", National University of Singapore, Singapore. (April , 2008).
    • March  2008
      Csallner, Christoph, "Combining static and dynamic analyses for automated bug-finding", University of Texas at Arlington, Arlington, TX. (March , 2008).
    • March  2008
      Csallner, Christoph, "Combining static and dynamic analyses for automated bug-finding", University of Texas, Austin, TX. (March , 2008).
    • March  2008
      Csallner, Christoph, "Combining static and dynamic analyses for automated bug-finding", Ohio State University, Columbus, OH. (March , 2008).
    • March  2008
      Csallner, Christoph, "Combining static and dynamic analyses for automated bug-finding", Hong Kong University of Science and Technology, Hong Kong, China. (March , 2008).
    • March  2008
      Csallner, Christoph, "Combining static and dynamic analyses for automated bug-finding", University of California, Riverside, Riverside, CA. (March , 2008).
    • March  2008
      Csallner, Christoph, "Combining static and dynamic analyses for automated bug-finding", University of Texas at San Antonio, San Antonio, TX. (March , 2008).
    • March  2008
      Csallner, Christoph, "Combining static and dynamic analyses for automated bug-finding", Purdue University, West Lafayette, IN. (March , 2008).
    • February  2008
      Csallner, Christoph, "Combining static and dynamic analyses for automated bug-finding", Lehigh University, Bethlehem, PA. (February , 2008).
    • February  2008
      Csallner, Christoph, "Combining static and dynamic analyses for automated bug-finding", Wayne State University, Detroit, MI. (February , 2008).
    • February  2008
      Csallner, Christoph, "Combining static and dynamic analyses for automated bug-finding", College of William and Mary, Williamsburg, VA. (February , 2008).
    • September  2007
      Csallner, Christoph, "Combining static and dynamic analysis for bug finding", Universität des Saarlandes, Saarbrücken, Germany. (September , 2007).
    • August  2007
      Csallner, Christoph, "Combining static and dynamic analysis for bug finding", Microsoft Research, Redmond, WA. (August , 2007).
    • December  2006
      Csallner, Christoph, "DynaCop: A dynamic pattern checker for .Net applications", Microsoft Research, Redmond, WA. (December , 2006).
    • July  2006
      Csallner, Christoph, "Check 'n' Crash: Combining static checking and testing", NASA, Sunnyvale, CA. (July , 2006).
    • July  2006
      Csallner, Christoph, "DSD-Crasher: A hybrid analysis tool for bug finding", Portland, ME. (July , 2006).
    • July  2006
      Csallner, Christoph, "DSD-Crasher: A hybrid analysis tool for bug finding", Google, Mountain View, CA. (July , 2006).
    • May  2006
      Csallner, Christoph, "Dynamically discovering likely interface invariants", Shanghai, China. (May , 2006).
    • May  2005
      Csallner, Christoph, "Check 'n' Crash: Combining static checking and testing", St. Louis, MO. (May , 2005).

Support & Funding

This data is entered manually by the author of the profile and may duplicate data in the Sponsored Projects section.
    • Oct 2019 to Sept 2022 SHF: Small: Collaborative Research: Fuzzing Cyber-Physical System Development Tool Chains with Deep Learning (DeepFuzz-CPS) sponsored by  - $249918
      Christoph Csallner (Funded)
    • Sept 2014 to Aug 2020 Collaborative: I/UCRC for Assistive Technologies to Enhance Human Performance sponsored by  - $622310
      (Funded)
    • Aug 2016 to Aug 2019 SHF: Small: Automating Improvement of Development Environments for Cyber-Physical Systems (AIDE-CPS) sponsored by  - $224474
      Christoph Csallner (Funded)
    • May 2015 to May 2019 I/UCRC Member Agreement sponsored by  - $82400
      (Funded)
    • Sept 2015 to Aug 2018 SHF: Small: Automating Improvement of Development Environments for Cyber-Physical Systems (AIDE-CPS) sponsored by  - $498437
      Christoph Csallner (Funded)
    • July 2015 to Dec 2016 I-Corps: Automating the Development Process of Mobile Applicagtions sponsored by  - $50000
      Christoph Csallner (Funded)
    • May 2017 to Dec 2018 Bot vs. Bot: Automated Detection of Fake-news Bots sponsored by  - $30000
      (Funded)
    • Sept 2011 to Aug 2016 SHF: Small: Testing Large-Scale Database-Centric Applications sponsored by  - $497955
      (Funded)
    • Aug 2013 to July 2014 Planning Grant: Collaborative: I/UCRC for Assistive Technologies to Enhance Human Performance sponsored by  - $16032
      (Funded)
    • Aug 2010 to July 2013 SHF: Small: Collaborative Research: Preserving Test Coverage While Achieving Data Anonymity for Database-Centric Applications sponsored by  - $250000
      Christoph Csallner (Funded)

Students Supervised

    • Present
      Kevin Yanogo,
    • Present
      Bader Alshemaimri,
    • Present
      Mengfei Ren,
    • Present
      Sunny Shree,
    • Present
      Sohil Shrestha,
    • Present
      Soumik Mohian,
    • Present
      Jaganmohan Chandrasekaran,
    • Present
      Huadong Feng,
    • Present
      Feng Duan,
    • Present
      Shafiul Chowdhury,
    • Present
      Zhongwei Li,
    • Aug 2019
      Nagendra Prasad Kasaghatta,
    • May 2019
      Anam Sahoo,
    • Dec 2018
      Srijanee Niyogi,
    • May 2018
      Sümeyye Süslü,
    • May 2018
      Luan Nguyen,
    • Dec 2017
      Shivangi Kulshrestha,
    • July 2017
      Mohsin Junaid,
    • May 2017
      Sarker Rumee,
    • May 2017
      Siva Natarajan,
    • Dec 2016
      Jing Xu,
    • Dec 2016
      Pranay Shirolkar,
    • Dec 2016
      Adis Kovacevic,
    • May 2016
      Laleh Ghandehari,
    • May 2016
      Mahdi Al-Ameen,
    • May 2016
      Nandish Jayaram,
    • Dec 2015
      Tuan Nguyen,
    • Dec 2015
      Shabnam Aboughadareh,
    • May 2015
      Kanis Fatema,
    • May 2015
      Mainul Islam,
    • Dec 2014
      Hazem Yassin,
    • May 2014
      Ishtiaque Hussain,
    • Dec 2013
      Tuli Nivas,
    • Aug 2013
      Linbin Yu,
    • Aug 2013
      Ankit Upadhyaya,
    • May 2013
      Mehra Borazjany,
    • May 2013
      Asheq Hamid,
    • Aug 2012
      Dengfeng Xia,
    • Aug 2012
      Tuan Nguyen,
    • May 2011
      Kishen Das,
    • May 2011
      Saurabh Kothari,

Courses

      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Fall - Regular Academic Session - 2019
      • CSE 6699-029 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2019
      • CSE 3311-001 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458)
        Fall - Regular Academic Session - 2019 Download Syllabus
      • CSE 6397-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2019
      • CSE 6697-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2019
      • CSE 5324-002 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Fall - Regular Academic Session - 2019 Download Syllabus
      • CSE 5324-202 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Fall - Regular Academic Session - 2019 Download Syllabus
      • CSE 5698-029 MASTER'S THESIS II
        (Course Id: 102571)
        Summer - Eleven Week - 2019
      • CSE 6699-029 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2019
      • CSE 5398-029 MASTER'S THESIS I
        (Course Id: 102566)
        Spring - Regular Academic Session - 2019
      • CSE 3311-002 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458)
        Spring - Regular Academic Session - 2019 Download Syllabus
      • CSE 6697-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2019
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Fall - Regular Academic Session - 2018 Download Syllabus
      • CSE 6699-029 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2018
      • CSE 5398-029 MASTER'S THESIS I
        (Course Id: 102566)
        Fall - Regular Academic Session - 2018
      • CSE 3311-001 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458)
        Fall - Regular Academic Session - 2018 Download Syllabus
      • CSE 6397-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2018
      • CSE 6697-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2018
      • CSE 6699-029 DISSERTATION
        (Course Id: 102615)
        Summer - Eleven Week - 2018
      • CSE 6999-029 DISSERTATION
        (Course Id: 102619)
        Spring - Regular Academic Session - 2018
      • CSE 5698-029 MASTER'S THESIS II
        (Course Id: 102571)
        Spring - Regular Academic Session - 2018
      • CSE 3311-002 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458 | Servlearn: No)
        Spring - Regular Academic Session - 2018 Download Syllabus
      • CSE 6397-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2018
      • CSE 6697-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2018
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Fall - Regular Academic Session - 2017 Download Syllabus
      • CSE 5393-029 DIRECTED STUDY IN COMPUTER SCI
        (Course Id: 102562)
        Fall - Regular Academic Session - 2017
      • CSE 6999-029 DISSERTATION
        (Course Id: 102619)
        Fall - Regular Academic Session - 2017
      • CSE 5398-029 MASTER'S THESIS I
        (Course Id: 102566)
        Fall - Regular Academic Session - 2017
      • CSE 5698-029 MASTER'S THESIS II
        (Course Id: 102571)
        Fall - Regular Academic Session - 2017
      • CSE 3311-001 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458)
        Fall - Regular Academic Session - 2017 Download Syllabus
      • CSE 6397-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2017
      • CSE 6697-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2017
      • CSE 5698-029 MASTER'S THESIS II
        (Course Id: 102571)
        Summer - Eleven Week - 2017
      • CSE 6324-002 ADV TOPS SOFTWARE ENGINEERING
        (Topic: Program Analysis | Course Id: 102585)
        Spring - Regular Academic Session - 2017 Download Syllabus
      • CSE 5698-029 MASTER'S THESIS II
        (Course Id: 102571)
        Spring - Regular Academic Session - 2017
      • CSE 3311-002 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458)
        Spring - Regular Academic Session - 2017 Download Syllabus
      • CSE 6397-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2017
      • CSE 5398-029 MASTER'S THESIS I
        (Course Id: 102566)
        Fall - Regular Academic Session - 2016
      • CSE 5698-029 MASTER'S THESIS II
        (Course Id: 102571)
        Fall - Regular Academic Session - 2016
      • CSE 6397-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2016
      • CSE 4322-002 SOFTWARE PROJECT MANAGEMENT
        (Course Id: 102469)
        Fall - Regular Academic Session - 2016 Download Syllabus
      • CSE 7399-029 DOCTORAL DEGREE COMPLETION
        (Course Id: 111647)
        Summer - Eleven Week - 2016
      • CSE 6397-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2016
      • CSE 6399-029 DISSERTATION
        (Course Id: 102610)
        Fall - Regular Academic Session - 2015
      • CSE 7399-029 DOCTORAL DEGREE COMPLETION
        (Course Id: 111647)
        Fall - Regular Academic Session - 2015
      • CSE 5398-029 MASTER'S THESIS I
        (Course Id: 102566)
        Fall - Regular Academic Session - 2015
      • CSE 6697-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2015
      • CSE 6999-029 DISSERTATION
        (Course Id: 102619)
        Summer - Eleven Week - 2015
      • CSE 7399-029 DOCTORAL DEGREE COMPLETION
        (Course Id: 111647)
        Summer - Eleven Week - 2015
      • CSE 5398-029 MASTER'S THESIS I
        (Course Id: 102566)
        Summer - Eleven Week - 2015
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Spring - Regular Academic Session - 2015 Download Syllabus
      • CSE 6699-029 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2015
      • CSE 7399-029 DOCTORAL DEGREE COMPLETION
        (Course Id: 111647)
        Spring - Regular Academic Session - 2015
      • CSE 5324-001 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Spring - Regular Academic Session - 2015 Download Syllabus
      • CSE 6699-029 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2014
      • CSE 6397-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2014
      • CSE 6697-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2014
      • CSE 4322-001 SOFTWARE PROJECT MANAGEMENT
        (Course Id: 102469)
        Fall - Regular Academic Session - 2014 Download Syllabus
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Spring - Regular Academic Session - 2014 Download Syllabus
      • CSE 6699-029 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2014
      • CSE 6697-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2014
      • CSE 5324-001 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Spring - Regular Academic Session - 2014 Download Syllabus
      • CSE 6699-029 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2013
      • CSE 6999-029 DISSERTATION
        (Course Id: 102619)
        Fall - Regular Academic Session - 2013
      • CSE 7399-029 DOCTORAL DEGREE COMPLETION
        (Course Id: 111647)
        Fall - Regular Academic Session - 2013
      • CSE 4322-001 SOFTWARE PROJECT MANAGEMENT
        (Course Id: 102469)
        Fall - Regular Academic Session - 2013 Download Syllabus
      • CSE 6699-029 DISSERTATION
        (Course Id: 102615)
        Summer - Eleven Week - 2013
      • CSE 7399-029 DOCTORAL DEGREE COMPLETION
        (Course Id: 111647)
        Summer - Eleven Week - 2013
      • CSE 6397-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Summer - Eleven Week - 2013
      • CSE 6399-029 DISSERTATION
        (Course Id: 102610)
        Spring - Regular Academic Session - 2013
      • CSE 6699-029 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2013
      • CSE 5698-029 MASTER'S THESIS II
        (Course Id: 102571)
        Spring - Regular Academic Session - 2013
      • CSE 6697-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2013
      • CSE 5324-001 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Spring - Regular Academic Session - 2013 Download Syllabus
      • CSE 6329-001 SPEC TOPS ADV SFTWR ENGR
        (Course Id: 102588)
        Spring - Regular Academic Session - 2013 Download Syllabus
      • CSE 6399-029 DISSERTATION
        (Course Id: 102610)
        Fall - Regular Academic Session - 2012
      • CSE 6699-029 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2012
      • CSE 5698-029 MASTER'S THESIS II
        (Course Id: 102571)
        Fall - Regular Academic Session - 2012
      • CSE 6397-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2012
      • CSE 6697-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2012
      • CSE 5325-001 SFWR ENG II: MGMT, MAIN, & QA
        (Course Id: 102523)
        Fall - Regular Academic Session - 2012 Download Syllabus
      • CSE 4322-001 SOFTWARE PROJECT MANAGEMENT
        (Course Id: 102469)
        Fall - Regular Academic Session - 2012 Download Syllabus
      • CSE 5698-029 MASTER'S THESIS II
        (Course Id: 102571)
        Summer - Eleven Week - 2012
      • CSE 6399-029 DISSERTATION
        (Course Id: 102610)
        Spring - Regular Academic Session - 2012
      • CSE 5398-029 MASTER'S THESIS I
        (Course Id: 102566)
        Spring - Regular Academic Session - 2012
      • CSE 6397-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2012
      • CSE 6697-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2012
      • CSE 5324-001 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Spring - Regular Academic Session - 2012 Download Syllabus
      • CSE 5325-001 SFWR ENG II: MGMT, MAIN, & QA
        (Course Id: 102523)
        Spring - Regular Academic Session - 2012 Download Syllabus
      • CSE 4322-001 SOFTWARE PROJECT MANAGEMENT
        (Course Id: 102469)
        Spring - Regular Academic Session - 2012 Download Syllabus
      • CSE 5393-029 DIRECTED STUDY IN COMPUTER SCI
        (Course Id: 102562)
        Fall - Regular Academic Session - 2011
      • CSE 6399-029 DISSERTATION
        (Course Id: 102610)
        Fall - Regular Academic Session - 2011
      • CSE 5398-029 MASTER'S THESIS I
        (Course Id: 102566)
        Fall - Regular Academic Session - 2011
      • CSE 6397-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2011
      • CSE 6697-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2011
      • CSE 5324-001 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Fall - Regular Academic Session - 2011 Download Syllabus
      • CSE 6697-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Summer - Eleven Week - 2011
      • CSE 5393-029 DIRECTED STUDY IN COMPUTER SCI
        (Course Id: 102562)
        Spring - Regular Academic Session - 2011
      • CSE 6399-029 DISSERTATION
        (Course Id: 102610)
        Spring - Regular Academic Session - 2011
      • CSE 6397-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2011
      • CSE 6697-029 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2011
      • CSE 5324-001 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Spring - Regular Academic Session - 2011 Download Syllabus
      • CSE 6329-001 SPEC TOPS ADV SFTWR ENGR
        (Course Id: 102588)
        Spring - Regular Academic Session - 2011 Download Syllabus
      • CSE 6399-033 DISSERTATION
        (Course Id: 102610)
        Fall - Regular Academic Session - 2010
      • CSE 6397-033 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2010
      • CSE 6697-033 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2010
      • CSE 5324-001 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Fall - Regular Academic Session - 2010 Download Syllabus
      • CSE 5393-033 DIRECTED STUDY IN COMPUTER SCI
        (Course Id: 102562)
        Summer - Eleven Week - 2010
      • CSE 6397-033 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2010
      • CSE 5324-001 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Spring - Regular Academic Session - 2010 Download Syllabus
      • CSE 6397-033 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2009

Service to the University

    • Sept 2019 to  Present Committee Member
      Advisory Committee
    • Sept 2019 to  Present Committee Member
      Bylaws Committee
    • Sept 2018 to  Present Committee Member
      Faculty Recognition (FDL and REP awards)
    • Sept 2017 to  Present Committee Chair
      Tenured / Tenure-track Faculty Recruiting Committee
    • Sept 2017 to  Present Faculty Mentor
      UTA's university-wide faculty mentoring program
    • Sept 2014 to  Present Committee Member
      Tenure & Promotion Committee
    • Past to  Oct 2018 Guest Speaker
      Panel of 4th Annual Research Integrity Symposium
    • Sept 2016 to  Aug 2017 Committee Member
      CSE Industry MS program
    • Sept 2016 to  Aug 2017 Committee Member
      Faculty Recruiting Committee
    • Sept 2016 to  Aug 2017 Committee Chair
      Visiting Appointments Committee
    • Sept 2015 to  Aug 2017 Committee Member
      Colloquia & Distinguished Lecturer Series
    • Sept 2015 to  Aug 2016 Committee Member
      Visiting Appointments Committee
    • Sept 2014 to  Aug 2015 Committee Chair
      Colloquia & Distinguished Lecturer Series
    • Sept 2014 to  Aug 2015 Committee Member
      Quality Assurance Committee
    • Sept 2014 to  Aug 2015 Committee Chair
      Visiting Appointments Committee
    • Sept 2013 to  Aug 2014 Committee Chair
      Adjunct and Visiting Appointments Committee
    • Sept 2012 to  Aug 2013 Committee Member
      Adjunct and Visiting Appointments Committee
    • Sept 2012 to  Aug 2013 Committee Member
      Faculty Recruiting Committee
    • Sept 2011 to  Aug 2013 Committee Member
      Senior Design Assessment Group
    • Sept 2010 to  Aug 2013 Committee Member
      Industry and Alumni Relations Committee
    • Sept 2010 to  Aug 2012 Committee Member
      M.S. Admissions Committee
    • Sept 2009 to  Aug 2011 Committee Member
      Adjunct and Visiting Appointments Committee
    • Sept 2008 to  Aug 2009 Committee Member
      Ph.D. Admissions Committee

Service to the Profession

    • 2015 to  Present
      Editorial Review Board Member
      PeerJ CS
    • Past to  2020
      Committee Member
      Program Committee for the Demonstrations track of the IEEE/ACM International Conference on Software Engineering (ICSE)
    • Past to  2019
      Reviewer, Journal Article
      IEEE Transactions on Software Engineering (TSE)
    • Past to  2019
      Reviewer, Journal Article
      Journal of Systems and Software (JSS)
    • Past to  2019
      Committee Member
      Program Committee of the IEEE International Conference on Software Testing, Verification and Validation (ICST)
    • Past to  2019
      Committee Member
      Program Committee of the IEEE/ACM International Conference on Automated Software Engineering (ASE)
    • Past to  2019
      Committee Member
      Program Committee of the IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft)
    • Past to  2019
      Committee Member
      Program Committee of the Software Security, Protection, and Reverse Engineering Workshop (SSPREW)
    • Past to  2018
      Reviewer, Journal Article
      IEEE Transactions on Software Engineering (TSE)
    • Past to  2018
      Committee Member
      Program Committee of the International Workshop on Load Testing and Benchmarking Software Systems (LTB)
    • Past to  2018
      Committee Member
      Program Committee of the Software Security, Protection, and Reverse Engineering Workshop (SSPREW)
    • Sept 2018 to  Sept 2018
      Session Chair
      Symbolic Execution track, IEEE/ACM International Conference on Automated Software Engineering (ASE)
    • Past to  2017
      Reviewer, Journal Article
      ACM Transactions on Software Engineering and Methodology (TOSEM)
    • Past to  2017
      Chairperson
      Artifact Evaluation track of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
    • Past to  2017
      Committee Member
      Program Committee of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
    • Past to  2017
      Committee Member
      Program Committee of the International Workshop on Load Testing and Benchmarking Software Systems (LTB)
    • Past to  2017
      Committee Member
      Program Committee of the Software Security, Protection, and Reverse Engineering Workshop (SSPREW)
    • Past to  2017
      Committee Member
      Steering Committee of the International Workshop on Dynamic Analysis (WODA)
    • May 2017 to  May 2017
      Session Chair
      Future of SBST track, International Workshop on Search-Based Software Testing (SBST)
    • Past to  2016
      Reviewer, Journal Article
      IEEE Transactions on Software Engineering (TSE)
    • Past to  2016
      Reviewer, Journal Article
      Journal of Systems and Software (JSS)
    • Past to  2016
      Committee Member
      National Science Foundation (NSF) panel tasked with peer-review of proposals for research funding
    • Past to  2016
      Committee Member
      NSF Travel Award Committee of the IEEE/ACM International Conference on Software Engineering (ICSE)
    • Past to  2016
      Committee Chair
      Program Committee for the Tools Track of the IEEE International Conference on Software Testing, Verification, and Validation (ICST)
    • Past to  2016
      Committee Member
      Program Committee of the IEEE/ACM International Conference on Software Engineering (ICSE)
    • Past to  2016
      Committee Member
      Program Committee of the International Workshop on Large-Scale Testing (LT)
    • Past to  2016
      Committee Member
      Program Committee of the International Workshop on Pre- and Post-Deployment Verification Techniques (PrePost)
    • Past to  2016
      Reviewer, Journal Article
      Science of Computer Programming (SCICO)
    • Past to  2016
      Reviewer, Journal Article
      Software Testing, Verification and Reliability (STVR)
    • Past to  2016
      Committee Member
      Steering Committee of the International Workshop on Dynamic Analysis (WODA)
    • Past to  2016
      Chairperson
      Student Volunteers Team of the IEEE/ACM International Conference on Software Engineering (ICSE)
    • Past to  2015
      Committee Member
      Expert Review Panel of the IEEE/ACM International Conference on Automated Software Engineering (ASE)
    • Past to  2015
      Reviewer, Journal Article
      IEEE Transactions on Software Engineering (TSE)
    • Past to  2015
      Reviewer, Journal Article
      Information and Software Technology (IST)
    • Past to  2015
      Reviewer, Conference Paper
      International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
    • Past to  2015
      Reviewer, Journal Article
      Journal of Systems and Software (JSS)
    • Past to  2015
      Session Chair
      New Ideas: Testing and Debugging track of the IEEE/ACM International Conference on Automated Software Engineering (ASE)
    • Past to  2015
      Committee Member
      Program Committee for the Early Research Achievements (ERA) track of the IEEE International Conference on Software Maintenance and Evolution (ICSME)
    • Past to  2015
      Committee Member
      Program Committee for the Security track of the IEEE International Conference on Big Data Computing Service and Applications (BDS)
    • Past to  2015
      Committee Member
      Program Committee for the Tools track of the IEEE International Conference on Software Testing, Verification and Validation (ICST)
    • Past to  2015
      Committee Member
      Program Committee of the IEEE International Conference on Software Testing, Verification and Validation (ICST)
    • Past to  2015
      Committee Member
      Program Committee of the International Workshop on Large-Scale Testing (LT)
    • Past to  2015
      Reviewer, Journal Article
      Science of Computer Programming (SCICO)
    • Past to  2015
      Reviewer, Journal Article
      Software Testing, Verification and Reliability (STVR)
    • Past to  2015
      Committee Member
      Steering Committee of the International Workshop on Dynamic Analysis (WODA)
    • Past to  2014
      Reviewer, Journal Article
      ACM Transactions on Software Engineering and Methodology (TOSEM)
    • Past to  2014
      Reviewer, Journal Article
      IEEE Transactions on Reliability (TR)
    • Past to  2014
      Reviewer, Journal Article
      IEEE Transactions on Software Engineering (TSE)
    • Past to  2014
      Reviewer, Journal Article
      Information and Software Technology (IST)
    • Past to  2014
      Reviewer, Conference Paper
      International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
    • Past to  2014
      Workshop Organizer
      International Workshop on Dynamic Analysis (WODA)
    • Past to  2014
      Reviewer, Conference Paper
      International World Wide Web Conference (WWW)
    • Past to  2014
      Reviewer, Journal Article
      Journal of Systems and Software (JSS)
    • Past to  2014
      Committee Member
      Program Committee for the Tools track of the IEEE International Conference on Software Testing, Verification and Validation (ICST)
    • Past to  2014
      Committee Member
      Program Committee of the IEEE International Conference on Software Testing, Verification and Validation (ICST)
    • Past to  2014
      Committee Member
      Program Committee of the International Workshop on Large-Scale Testing (LT)
    • Past to  2014
      Committee Member
      Program Committee of the International Workshop on Testing The Cloud (TTC)
    • Past to  2014
      Reviewer, Journal Article
      Science of Computer Programming (SCICO)
    • Past to  2013
      Committee Member
      Expert Review Panel of the IEEE/ACM International Conference on Automated Software Engineering (ASE)
    • Past to  2013
      Reviewer, Journal Article
      IEEE Transactions on Software Engineering (TSE)
    • Past to  2013
      Reviewer, Journal Article
      Journal of Systems and Software (JSS)
    • Past to  2013
      Session Chair
      New Ideas: Testing and Debugging track of the IEEE/ACM International Conference on Automated Software Engineering (ASE)
    • Past to  2013
      Committee Member
      Program Committee for the Early Research Achievements (ERA) track of the IEEE International Conference on Program Comprehension (ICPC)
    • Past to  2013
      Committee Member
      Program Committee for the Student Contest on Software Engineering (SCORE) of the IEEE/ACM International Conference on Software Engineering (ICSE)
    • Past to  2013
      Committee Member
      Program Committee for the Tools track of the IEEE International Conference on Software Testing, Verification and Validation (ICST)
    • Past to  2013
      Committee Member
      Program Committee of the IEEE International Conference on Software Testing, Verification and Validation (ICST)
    • Past to  2013
      Committee Member
      Program Committee of the International Workshop on Regression Testing (Regression)
    • Past to  2013
      Committee Member
      Program Committee of the International Workshop on Testing The Cloud (TTC)
    • Past to  2013
      Committee Member
      Program Committee of the Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA)
    • Past to  2013
      Reviewer, Journal Article
      Science of Computer Programming (SCICO)
    • Past to  2012
      Reviewer, Journal Article
      ACM Transactions on Software Engineering and Methodology (TOSEM)
    • Past to  2012
      Reviewer, Journal Article
      Automated Software Engineering (JASE)
    • Past to  2012
      Reviewer, Journal Article
      Journal of Systems and Software (JSS)
    • Past to  2012
      Committee Member
      National Science Foundation (NSF) panel tasked with peer-review of proposals for research funding
    • Past to  2012
      Committee Member
      Program Committee for the Early Research Achievements (ERA) track of the IEEE International Conference on Software Maintenance (ICSM)
    • Past to  2012
      Committee Member
      Program Committee for the Industry track of the Working Conference on Reverse Engineering (WCRE)
    • Past to  2012
      Committee Member
      Program Committee of the International Workshop on Large-Scale Testing (LT)
    • Past to  2012
      Committee Member
      Program Committee of the International Workshop on Regression Testing (Regression)
    • Past to  2012
      Committee Member
      Program Committee of the Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA)
    • Past to  2011
      Reviewer, Conference Paper
      ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
    • Past to  2011
      Reviewer, Journal Article
      ACM Transactions on Software Engineering and Methodology (TOSEM)
    • Past to  2011
      Reviewer, Conference Paper
      IEEE International Conference on Data Mining (ICDM)
    • Past to  2011
      Reviewer, Conference Paper
      International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
    • Past to  2011
      Reviewer, Grant Proposal
      Israel Science Foundation (ISF)
    • Past to  2011
      Reviewer, Journal Article
      Journal of Systems and Software (JSS)
    • Past to  2011
      Committee Member
      National Science Foundation (NSF) panel tasked with peer-review of proposals for research funding
    • Past to  2011
      Reviewer, Grant Proposal
      Netherlands Organisation for Scientific Research (NWO)
    • Past to  2011
      Committee Member
      Program Committee for the Early Research Achievements (ERA) track of the IEEE International Conference on Software Maintenance (ICSM)
    • Past to  2011
      Committee Member
      Program Committee for the Industry track of the IEEE International Conference on Software Maintenance (ICSM)
    • Past to  2011
      Committee Member
      Program Committee for the Tool Demonstrations of the IEEE International Conference on Software Maintenance (ICSM)
    • Past to  2011
      Committee Member
      Program Committee of the International Workshop on End-to-End Test Script Engineering (ETSE)
    • Past to  2011
      Committee Member
      Program Committee of the Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA)
    • Past to  2011
      Workshop Organizer
      Workshop on State-space Exploration for Automated Testing (SSEAT)
    • Past to  2010
      Reviewer, Journal Article
      IEEE Transactions on Software Engineering (TSE)
    • Past to  2010
      Reviewer, Conference Paper
      IEEE/ACM International Conference on Software Engineering (ICSE)
    • Past to  2010
      Reviewer, Conference Paper
      International Conference on Runtime Verification (RV)
    • Past to  2010
      Committee Member
      Program Committee for the Early Research Achievements (ERA) track of the IEEE International Conference on Software Maintenance (ICSM)
    • Past to  2010
      Committee Member
      Program Committee of the International Workshop on Dynamic Analysis (WODA)
    • Past to  2010
      Workshop Organizer
      Workshop on State-space Exploration for Automated Testing (SSEAT)
    • Past to  2009
      Reviewer, Conference Paper
      ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
    • Past to  2009
      Reviewer, Journal Article
      ACM Transactions on Software Engineering and Methodology (TOSEM)
    • Past to  2009
      Session Chair
      Formal Research Demonstrations of the ACM/IEEE International Conference on Software Engineering (ICSE)
    • Past to  2009
      Reviewer, Conference Paper
      Hawaii International Conference on System Sciences (HICSS)
    • Past to  2009
      Reviewer, Journal Article
      IEEE Transactions on Software Engineering (TSE)
    • Past to  2009
      Reviewer, Conference Paper
      International Conference on Information Technology (ICIT)
    • Past to  2009
      Reviewer, Grant Proposal
      Netherlands Organisation for Scientific Research (NWO)
    • Past to  2009
      Committee Member
      Program Committee for the Demonstrations track of the IEEE/ACM International Conference on Software Engineering (ICSE)
    • Past to  2009
      Committee Member
      Program Committee for the Tool Demonstrations of the IEEE International Conference on Software Maintenance (ICSM)
    • Past to  2009
      Committee Member
      Program Committee of the Haifa Verification Conference (HVC)
    • Past to  2009
      Reviewer, Journal Article
      Software Testing, Verification and Reliability (STVR)
    • Past to  2008
      Reviewer, Journal Article
      ACM Transactions on Software Engineering and Methodology (TOSEM)