Search Constraints

Start Over
Filtering by: Creator Harman, Taran V. Remove constraint Creator: Harman, Taran V. Committee Member Jensen, Carlos Remove constraint Committee Member: Jensen, Carlos

Search Results

  • Enhancing Search-Based Techniques with Information Control Dependencies

    Creator:
    Aburas, Ali
    Abstract:
    Software testing is a very important task during software development and it can be used to improve the quality and reliability of the software system. One potential way to reduce the cost and increase the efficiency of software testing is to generate test data automatically. Search-based approaches successfully generate unit...
    Resource Type:
    Dissertation

  • Improving the Quality of Software Using Mutation Testing and Fault Prediction

    Creator:
    Ahmed, Iftekhar
    Abstract:
    Our confidence in software systems depends on our confidence in the exhaustiveness of our testing. As software systems get more complex, the task of exhaustive testing becomes more complex and even infeasible in some cases. In order to build less error prone systems, we therefore need to not only focus...
    Resource Type:
    Dissertation

  • Test Case Reduction, Prioritization, and Selection for Symbolic Execution

    Creator:
    Zhang, Chaoqiang
    Abstract:
    Software testing is of critical importance for the success of software projects. Current inefficient testing methods often still take up half or more of a software project's budget. Automatic test data generation is the most promising way to lower the software testing cost. Manually creating testing data is expensive and...
    Resource Type:
    Dissertation
    Full Text:
    instruction of s 5: if typeof(instr) is v:=e then 6: s ← s.M [v ← e] ⊲ M maps a variable to its symbolic value

  • Understanding Software Development and Testing Practices

    Creator:
    Hilton, Michael
    Abstract:
    A bad software development process leads to wasted effort and inferior products. In order to improve a software process, it must be first understood. In this work I focus on understanding software processes. The first process we seek to understand is Continuous Integration (CI). CI systems automate the compilation, building,...
    Resource Type:
    Dissertation