Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 2 of 2 for “"Dependency Metrics"”.

  1. Partitioning Strategies to Enhance Symbolic Execution

    … in a non-consecutive order guided by data dependency metrics within the sections. Experimental results show that both strategies can achieve significant speedup in reducing the number of unnecessary solver calls in large programs. More than 1000x speedup can be achieved in large programs …

    vt Repository record for Partitioning Strategies to Enhance Symbolic Execution (opens in a new tab)

  2. Analysis Of Complexity And Coupling Metrics Of Subsystems In Large Scale Software Systems

    … of software quality. We developed a set of metrics for measuring the coupling at the subsystems level in a large-scale software system as a part of this work. These metrics do not take into account the complexity internal to a subsystem and considers a subsystem as a single entity. Such a …

    ucf