Review
Site

Experiments

• Experiment 1: Provided Patterns
  • MuDetect
  • MuDetectXP_180301_1_LabelVisitor
  • MuDetect_180210_DataFlowThroughActionNodes
  • MuDetect_180212_FixSeqOrder
  • MuDetect_180213_IgnoreOrderOnlyConnections
  • MuDetect_180214_ExcludeVeryPrevalent
  • MuDetect_180214_NonDataDepCond_Catch
  • MuDetect_180214_XMethodSupport
  • MuDetect_180221_BestRanking
  • MuDetect_180223_1_ExcludeInstancesAndQualifiers
  • MuDetect_180223_2_SelIsRep
  • MuDetect_180223_4_KeepInstanceFragments
  • MuDetect_180223_5_FilterOnlyDefAndString
  • MuDetect_180225_2_FixCleanup
  • MuDetect_180227_1_ExtendOnlyDataFlow
  • MuDetect_180301_1_LabelVisitor
• Experiment 2: All Findings
  • MuDetect
  • MuDetectXP_180223_KeepInstanceFragments
  • MuDetect_180210_DataFlowThroughActionNodes
  • MuDetect_180212_FixSeqOrder
  • MuDetect_180213_IgnoreOrderOnlyConnections
  • MuDetect_180214_ExcludeVeryPrevalent
  • MuDetect_180214_NonDataDepCond_Catch
  • MuDetect_180214_XMethodSupport
  • MuDetect_180216_10_FixSeveralHeuristics
  • MuDetect_180216_11_IgnoreDataNodesForOverlap
  • MuDetect_180216_12_AlwaysExtendDataNodes
  • MuDetect_180219_1_FixOrder
  • MuDetect_180219_2_FixCycle
  • MuDetect_180219_3_FixCycle2
  • MuDetect_180219_4_WithinMethodSupport
  • MuDetect_180220_1_WithinMethodSupport4Real
  • MuDetect_180221_BestRanking
  • MuDetect_180223_1_ExcludeInstancesAndQualifiers
  • MuDetect_180223_2_SelIsRep
  • MuDetect_180223_4_KeepInstanceFragments
  • MuDetect_180223_5_FilterOnlyDefAndString
  • MuDetect_180225_2_FixCleanup
  • MuDetect_180227_1_ExtendOnlyDataFlow
  • MuDetect_180301_3_Assert
• Experiment 3: Benchmark
  • MuDetect
  • MuDetectRankComp_180220_1_AllInOne
  • MuDetectRankComp_180220_2_TotalOrder
  • MuDetectRankComp_180222_ExcludeInstances
  • MuDetectXP
  • MuDetectXP_180220_1_up2date
  • MuDetectXP_180227_1_ExtendOnlyDataFlow
  • MuDetectXP_180301_1_LabelVisitor
  • MuDetect_180210_DataFlowThroughActionNodes
  • MuDetect_180212_FixSeqOrder
  • MuDetect_180213_IgnoreOrderOnlyConnections
  • MuDetect_180214_ExcludeVeryPrevalent
  • MuDetect_180214_NonDataDepCond_Catch
  • MuDetect_180214_XMethodSupport
  • MuDetect_180215_ExcludeVeryPrevalentFixed
  • MuDetect_180216_10_FixSeveralHeuristics
  • MuDetect_180216_11_IgnoreDataNodesForOverlap
  • MuDetect_180216_12_AlwaysExtendDataNodes
  • MuDetect_180219_1_FixOrder
  • MuDetect_180219_2_FixCycle
  • MuDetect_180219_3_FixCycle2
  • MuDetect_180219_4_WithinMethodSupport
  • MuDetect_180220_1_WithinMethodSupport4Real
  • MuDetect_180221_BestRanking
  • MuDetect_180223_1_ExcludeInstancesAndQualifiers
  • MuDetect_180223_2_SelIsRep
  • MuDetect_180223_3_Backtracking
  • MuDetect_180223_4_KeepInstanceFragments
  • MuDetect_180223_5_FilterOnlyDefAndString
  • MuDetect_180225_2_FixCleanup
  • MuDetect_180227_1_ExtendOnlyDataFlow
  • MuDetect_180301_1_LabelVisitor
  • MuDetect_180301_2_TrueSelIsRep
  • MuDetect_180301_3_Assert
  • MuDetect_180301_4_FilterOnlyMissingAssignment
  • MuDetect_180301_5_OnlyDataFlow
  • MuDetect_180301_6_HoansFixes