World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
59
Citations
13889
World Ranking
3424
National Ranking
1656

Research.com Recognitions

  • 2013 - IEEE Fellow For contributions to improved efficiency and robustness of software
  • 2012 - ACM - IEEE CS Ken Kennedy Award For contributions to compiler technology and software engineering, exemplary service to the profession, and life-long dedication to mentoring and improving diversity in computing.
  • 1999 - ACM Fellow For the development and enhancement of code improving transformations and the efficient design of program analysis algorithms for use in compilers and software engineering tools.

Overview

Mary Lou Soffa is affiliated with the University of Virginia in the United States. Their research primarily spans the field of Computer Science, with a focus on software and artificial intelligence subfields.

The scientist's main topics of work include:

  • Software Testing and Debugging Techniques
  • Adversarial Robustness in Machine Learning
  • Explainable Artificial Intelligence (XAI)
  • Formal Methods in Verification
  • Model-Driven Software Engineering Techniques

Mary Lou Soffa's recent papers are:

  • "Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing," 2022, published in ACM Transactions on Software Engineering and Methodology
  • "A Language for Autonomous Vehicles Testing Oracles," 2020, published in arXiv (Cornell University)

The frequent publication venues for Soffa's work include:

  • ACM Transactions on Software Engineering and Methodology
  • arXiv (Cornell University)

Mary Lou Soffa has collaborated often with researchers such as:

  • Swaroopa Dola
  • Matthew B. Dwyer
  • Ana Nora Evans
  • Sebastian Elbaum

The scientist has received several awards, including:

  • IEEE Fellow (2013) for contributions to improved efficiency and robustness of software
  • ACM - IEEE CS Ken Kennedy Award (2012) for contributions to compiler technology and software engineering, service to the profession, and mentoring
  • ACM Fellow (1999) for development and enhancement of code improving transformations and efficient design of program analysis algorithms for compilers and software engineering tools

Best Publications

  • A methodology for controlling the size of a test suite

    M. Jean Harrold;Rajiv Gupta;Mary Lou Soffa

  • Bubble-Up: increasing utilization in modern warehouse scale computers via sensible co-locations

    Jason Mars;Lingjia Tang;Robert Hundt;Kevin Skadron

  • Black-Box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers

    Ji Gao;Jack Lanchantin;Mary Lou Soffa;Yanjun Qi

  • TimeAware test suite prioritization

    Kristen R. Walcott;Mary Lou Soffa;Gregory M. Kapfhammer;Robert S. Roos

  • Hierarchical GUI test case generation using automated planning

    A.M. Memon;M.E. Pollack;M.L. Soffa

  • Coverage criteria for GUI testing

    Atif M. Memon;Mary Lou Soffa;Martha E. Pollack

  • An approach to regression testing using slicing

    R. Gupta;M.J. Harrold;M.L. Soffa

  • The impact of memory subsystem resource sharing on datacenter applications

    Lingjia Tang;Jason Mars;Neil Vachharajani;Robert Hundt

  • Automated test data generation using an iterative relaxation method

    Neelam Gupta;Aditya P. Mathur;Mary Lou Soffa

  • Regression testing of GUIs

    Atif M. Memon;Mary Lou Soffa

  • A comprehensive framework for testing graphical user interfaces

    Mary Lou Soffa;Atif Muhammed Memon

  • Retargetable and reconfigurable software dynamic translation

    K. Scott;N. Kumar;S. Velusamy;B. Childers

  • Automated test oracles for GUIs

    Atif M. Memon;Martha E. Pollack;Mary Lou Soffa

  • Interprocedual data flow testing

    Mary Jean Harrold;Mary Lou Soffa

  • Clairvoyant: a comprehensive source-level debugger for wireless sensor networks

    Jing Yang;Mary Lou Soffa;Leo Selavo;Kamin Whitehouse

  • Efficient computation of interprocedural definition-use chains

    Mary Jean Harrold;Mary Lou Soffa

  • An incremental approach to unit testing during maintenance

    M.J. Harrold;M.L. Souffa

  • Using component metacontent to support the regression testing of component-based software

    A. Orso;M.J. Harrold;D. Rosenblum;G. Rothermel

  • Generating test data for branch coverage

    N. Gupta;A.P. Mathur;M.L. Soffa

  • An approach for exploring code improving transformations

    Deborah L. Whitfield;Mary Lou Soffa

  • Proceedings of the 28th international conference on Software engineering

    Leon J. Osterweil;Dieter Rombach;Mary Lou Soffa

Frequent Co-Authors

Rajiv Gupta
Rajiv Gupta University of California, Riverside
Jack W. Davidson
Jack W. Davidson University of Virginia
Jason Mars
Jason Mars University of Michigan–Ann Arbor
Lori Pollock
Lori Pollock University of Delaware
Atif M. Memon
Atif M. Memon University of Maryland, College Park
Lingjia Tang
Lingjia Tang University of Michigan–Ann Arbor
Martha E. Pollack
Martha E. Pollack Cornell University
Rastislav Bodik
Rastislav Bodik University of Washington
Shi-Kuo Chang
Shi-Kuo Chang University of Pittsburgh
Barbara G. Ryder
Barbara G. Ryder Virginia Tech

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens doors to many online degree options and flexible career pathways. Many students consider specialized programs, such as data science programs, which blend computing with statistics and are in high demand across industries. These programs often emphasize practical skills and up-to-date technology, preparing graduates for roles such as data analysts and machine learning engineers.

For those interested in integrating technology with fields like engineering or business, pursuing a construction management degree online is another great option. These degrees often cover project management software, digital collaboration tools, and essential skills for overseeing complex building projects.

Professionals aiming for leadership roles might explore the most affordable online MBA programs, which typically feature courses in technical project management, analytics, and entrepreneurship. This route builds both technical and business expertise, offering more versatile career options.

For those looking to advance quickly, a 1 year masters degree online provides a fast-track path, allowing students to gain advanced knowledge and credentials in a short period without compromising on quality.

Best Scientists Citing Mary Lou Soffa

Trending Scientists

Recently Published Articles