August Shi

Ph.D. Student
Office: 4219 Siebel Center
Email: awshi2@illinois.edu
Address: 201 N Goodwin Ave. Urbana, IL 61801


Short Bio

I am a Ph.D. student in the Department of Computer Science at the University of Illinois at Urbana-Champaign working with Professor Darko Marinov. My research interests are in software testing, and I am in particular interested in regression testing and how to make regression testing run faster without loss in quality of testing. I obtained a B.S. in both Computer Science and Electrical and Computer Engineering from the University of Texas at Austin in 2013.  You can download my CV from here.
Publications

  1. SRCIROR: A Toolset for Mutation Testing of C Source Code and LLVM Intermediate Representation
    Farah Hariri, August Shi
    IEEE/ACM Conference on Automated Software Engineering Tool Demonstrations Track
    (ASE DEMO 2018), pages 860-863, Montpellier, France, Sept. 2018
    slides

  2. Evaluating Test-Suite Reduction in Real Software Evolution
    August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov
    International Symposium on Software Testing and Analysis
    (ISSTA 2018), pages 84-94, Amsterdam, Netherlands, Jul. 2018
    slides

  3. An Extensible, Regular-Expression-Based Tool for Multi-Language Mutant Generation
    Alex Groce, Josie Holmes, Darko Marinov, August Shi, Lingming Zhang
    International Conference on Software Engineering Tool Demonstrations Track
    (ICSE DEMO 2018), pages 25-28, Gothenburg, Sweden, May-Jun. 2018
    slides

  4. Approximate Transformations as Mutation Operators
    Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic
    IEEE International Conference on Software Testing, Verification and Validation
    (ICST 2018), pages 285-296, Vasteras, Sweden, Apr. 2018

  5. STARTS: STAtic Regression Test Selection
    Owolabi Legunsen, August Shi, Darko Marinov
    IEEE/ACM Conference on Automated Software Engineering Tool Demonstrations Track
    (ASE DEMO 2017), pages 949-954, Urbana-Champaign, Illinois, Oct.-Nov. 2017

  6. Mutation Testing Meets Approximate Computing
    Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi
    International Conference on Software Engineering, New Ideas and Emerging Results
    (ICSE NIER 2017), pages 3-6, Buenos Aries, Argentina, May 2017
    slides

  7. Optimizing Test Placement for Module-Level Regression Testing
    August Shi, Suresh Thummalapenta, Shuvendu Lahiri, Nikolaj Bjorner, Jacek Czerwonka
    International Conference on Software Engineering
    (ICSE 2017), pages 689-699, Buenos Aries, Argentina, May 2017
    (This paper won an ACM SIGSOFT Distinguished Paper Award.)
    slides

  8. NonDex: A tool for detecting and debugging wrong assumptions on Java API specifications
    Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov
    ACM SIGSOFT International Symposium on the Foundations of Software Engineering Tool Demonstrations Track
    (FSE DEMO 2016), pages 993-997, Seattle, Washington, Nov. 2016

  9. An Extensive Study of Static Regression Test Selection in Modern Software Evolution
    Owolabi Legunsen, Farah Hariri, August Shi, Yafeng Lu, Lingming Zhang, Darko Marinov
    ACM SIGSOFT International Symposium on the Foundations of Software Engineering
    (FSE 2016), pages 583-594, Seattle, Washington, Nov. 2016

  10. Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level
    Farah Hariri, August Shi, Hayes Converse, Darko Marinov, Sarfraz Khurshid
    IEEE International Symposium on Software Reliability Engineering
    (ISSRE 2016), pages 105-115, Ottawa, Canada, Oct. 2016

  11. Evaluating Non-adequate Test-Case Reduction
    Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, Alex Groce
    IEEE/ACM Conference on Automated Software Engineering
    (ASE 2016), pages 16-26, Singapore, Singapore, Sept. 2016
    slides

  12. Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications
    August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov
    IEEE International Conference on Software Testing, Verification and Validation
    (ICST 2016), pages 80-90, Chicago, Illinois, Apr. 2016
    slides

  13. Comparing and Combining Test-Suite Reduction and Regression Test Selection
    August Shi, Tifany Yung, Alex Gyori, Darko Marinov
    ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (FSE 2015), pages 237-247, Bergamo, Italy, Sept. 2015
    slides

  14. Reliable Testing: Detecting State-Polluting Tests to Prevent Test Dependency
    Alex Gyori, August Shi, Farah Hariri, Darko Marinov
    International Symposium on Software Testing and Analysis
    (ISSTA 2015), pages 223-233, Baltimore, Maryland, Jul. 2015

  15. Balancing Trade-Offs in Test-Suite Reduction
    August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, Darko Marinov
    ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (FSE 2014), pages 246-256, Hong Kong, Nov. 2014
    slides

  16. Evaluation of a Feature Tracking Vision Application on a Heterogeneous Chip
    Ruben Gran Tejero, August Shi, Ehsan Totoni, Maria J. Garzaran
    IEEE International Symposium on Computer Architecture and High Performance Computing
    (SBAC-PAD 2014), pages 246-253, Paris, France, Oct. 2014