Browse Graduate Dissertations and Theses at Illinois by Contributor "Xie, Tao"

  • Gu, Mengqi (2016-07-21)
    Environmental interactions (e.g., file I/O, network communication, database querying) are common bottlenecks of software applications. These interactions are also prone to performance bugs because developers may not ...

    application/pdf

    application/pdfPDF (260kB)
  • Yang, Wei (2018-04-20)
    As mobile phones become an increasingly critical part of our world, ensuring the security and privacy of mobile applications (in short as apps) becomes increasingly important. For too long, researchers have often tackled ...

    application/pdf

    application/pdfPDF (1MB)Restricted to U of Illinois
  • Cao, Jiayi (2018-04-27)
    Significant progress has been made in the field of automatic test generation, and Dynamic Symbolic Execution (DSE) is among the most effective techniques in this field. Despite its success, DSE still suffers from various ...

    application/pdf

    application/pdfPDF (740kB)Restricted to U of Illinois
  • Lin, Yu (2015-09-21)
    In multicore era, programmers exploit concurrent programming to gain performance and responsiveness benefits. However, concurrent programs are difficult to write: the programmer has to balance two conflicting forces, thread ...

    application/pdf

    application/pdfPDF (3MB)
  • Li, Dengfeng (2017-04-25)
    Given the ever increasing number of research tools to automatically generate inputs to test Android applications (or simply apps), researchers recently asked the question “Are we there yet?” (in terms of the practicality ...

    application/pdf

    application/pdfPDF (6MB)
  • Okur, Semih (2016-11-29)
    Concurrency is becoming the norm in modern software because multicores are now everywhere. Developers use concurrency constructs (i) to make their software responsive and scalable via asynchrony and (ii) to increase the ...

    application/pdf

    application/pdfPDF (1MB)
  • Hariri, Farah (2018-04-18)
    Software testing is by far the most popular technique used in industry for quality assurance. One key challenge of software testing is how to evaluate the quality of test suites in terms of their bug-finding capability. A ...

    application/pdf

    application/pdfPDF (544kB)
  • Alebiosu, Oreoluwa (2017-04-26)
    Machine Learning (ML) software, used to implement an ML algorithm, is widely used in many application domains such as financial, business, and engineering domains. Faults in ML software can cause substantial losses in these ...

    application/pdf

    application/pdfPDF (452kB)
  • Lee, Choonghwan (2014-01-16)
    Runtime verification is an effective and accurate technique for ensuring that an execution of a program conform to certain specifications at runtime. Although excessive runtime overhead, one of its main drawbacks, has been ...

    application/pdf

    application/pdfPDF (535kB)
  • Gyori, Alex (2017-07-10)
    Regression testing is the most wide-spread method to ensure the quality of software systems. Whenever a change is made to the software, tests are run to ensure bugs are not introduced: if all tests pass, the change is ...

    application/pdf

    application/pdfPDF (804kB)
  • Luo, Qingzhou (2015-06-02)
    With the development of multi-core processors, concurrent programs are becoming more and more popular. Among several models, the multithreaded shared-memory model is the predominant programming paradigm for developing ...

    application/pdf

    application/pdfPDF (1MB)
  • Nistor, Adrian (2014-05-30)
    Software performance is critical for how end-users perceive the quality of software products. Performance bugs---programming errors that cause performance degradation—lead to poor user experience and low system throughput. ...

    application/pdf

    application/pdfPDF (469kB)