Examples of DrawGraphs

Examples of statechum.analysis.learning.DrawGraphs

1622
1623
1624
1625
1626
1627
1628
1629
1630
1631
1632
 
 
  @SuppressWarnings("null")
  public static void runExperiment() throws Exception
  {
    DrawGraphs gr = new DrawGraphs();
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setAskQuestions(false);config.setDebugMode(false);config.setGdLowToHighRatio(0.7);config.setRandomPathAttemptFudgeThreshold(1000);
    config.setTransitionMatrixImplType(STATETREE.STATETREE_LINKEDHASH);config.setLearnerScoreMode(ScoreMode.COMPATIBILITY);//ONLYOVERRIDE);
    ConvertALabel converter = new Transform.InternStringLabel();
    GlobalConfiguration.getConfiguration().setProperty(G_PROPERTIES.LINEARWARNINGS, "false");
    final int ThreadNumber = ExperimentRunner.getCpuNumber(); 
View Full Code Here

Examples of statechum.analysis.learning.DrawGraphs

818
819
820
821
822
823
824
825
826
827
828
  }
   
  @SuppressWarnings("null")
  public static void runExperiment() throws Exception
  {
    DrawGraphs gr = new DrawGraphs();
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setAskQuestions(false);config.setDebugMode(false);config.setGdLowToHighRatio(0.7);config.setRandomPathAttemptFudgeThreshold(1000);
    config.setTransitionMatrixImplType(STATETREE.STATETREE_LINKEDHASH);config.setLearnerScoreMode(ScoreMode.COMPATIBILITY);
    ConvertALabel converter = new Transform.InternStringLabel();
    GlobalConfiguration.getConfiguration().setProperty(G_PROPERTIES.LINEARWARNINGS, "false");
    final int ThreadNumber = ExperimentRunner.getCpuNumber(); 
View Full Code Here

Examples of statechum.analysis.learning.DrawGraphs

2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
  }
 
  @SuppressWarnings("null")
  public static void runExperiment() throws Exception
  {
    DrawGraphs gr = new DrawGraphs();
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setAskQuestions(false);config.setDebugMode(false);config.setGdLowToHighRatio(0.7);config.setRandomPathAttemptFudgeThreshold(1000);
    config.setTransitionMatrixImplType(STATETREE.STATETREE_LINKEDHASH);
    ConvertALabel converter = new Transform.InternStringLabel();
    //gr_NewToOrig.setLimit(7000);
    GlobalConfiguration.getConfiguration().setProperty(G_PROPERTIES.LINEARWARNINGS, "false");
View Full Code Here

Examples of statechum.analysis.learning.DrawGraphs

103
104
105
106
107
108
109
110
111
112
113
    mutationStages = mutationStagesArg;graphComplexityMax = graphComplexityMaxArg;
   
  }
 
  public void runExperiment(int initStates, boolean skip){
    DrawGraphs gr = new DrawGraphs();
    this.skipLanguage = skip;
    Random r = new Random(0);

    RBoxPlot<Integer>
      gr_Diff_States = new RBoxPlot<Integer>("States","Diff/Mutations",new File("diff_states.pdf")),
View Full Code Here

Examples of statechum.analysis.learning.DrawGraphs

2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
2027
  }
 
  @SuppressWarnings("null")
  public static void runExperiment() throws Exception
  {
    DrawGraphs gr = new DrawGraphs();
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setAskQuestions(false);config.setDebugMode(false);config.setGdLowToHighRatio(0.7);config.setRandomPathAttemptFudgeThreshold(1000);
    config.setTransitionMatrixImplType(STATETREE.STATETREE_LINKEDHASH);
    ConvertALabel converter = new Transform.InternStringLabel();
    //gr_NewToOrig.setLimit(7000);
    GlobalConfiguration.getConfiguration().setProperty(G_PROPERTIES.LINEARWARNINGS, "false");
View Full Code Here

Examples of statechum.analysis.learning.DrawGraphs

2063
2064
2065
2066
2067
2068
2069
2070
2071
2072
2073
  }
 
  @SuppressWarnings("null")
  public static void runExperiment() throws Exception
  {
    DrawGraphs gr = new DrawGraphs();
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setAskQuestions(false);config.setDebugMode(false);config.setGdLowToHighRatio(0.7);config.setRandomPathAttemptFudgeThreshold(1000);
    config.setTransitionMatrixImplType(STATETREE.STATETREE_LINKEDHASH);
    ConvertALabel converter = new Transform.InternStringLabel();
    //gr_NewToOrig.setLimit(7000);
    GlobalConfiguration.getConfiguration().setProperty(G_PROPERTIES.LINEARWARNINGS, "false");
View Full Code Here

Examples of statechum.analysis.learning.DrawGraphs

719
720
721
722
723
724
725
726
727
728
729
   }
  
   public void runExperimentWithSingleAutomaton(int ifDepth, String name, String arffName, LearnerGraph referenceGraph) throws Exception
   {
     final Collection<List<Label>> evaluationTestSet = computeEvaluationSet(referenceGraph,-1,-1);
       DrawGraphs gr = new DrawGraphs();
    final RBoxPlot<String>
      uas_F=new RBoxPlot<String>("Time","F-measure",new File("time_"+name+"_f.pdf")),
      uas_Diff=new RBoxPlot<String>("Time","Diff-measure",new File("time_"+name+"_Diff.pdf"));
    SquareBagPlot gr_diff_to_f = new SquareBagPlot("f-measure","diff-based measure",new File("diff-to-f.pdf"),0,1,true);
View Full Code Here

Examples of statechum.analysis.learning.DrawGraphs

988
989
990
991
992
993
994
995
996
997
998
      //final Collection<List<Label>> evaluationTestSet = computeEvaluationSet(referenceGraph);
      
    // Here I need to moderate the effort because choosing traces for all seeds is good but I need
    // that many times more traces, so I have to create a graph in terms of effort v.s. quailty (or even better, scale
    // the existing one).
    final DrawGraphs gr = new DrawGraphs();

    final RBoxPlot<Pair<Integer,String>>
      uas_outcome = new RBoxPlot<Pair<Integer,String>>("Time","f-measure",new File("time_f.pdf"));
    final RBoxPlot<String>
          uas_A=new RBoxPlot<String>("Time","f-measure",new File("time_A_f.pdf")),
View Full Code Here

Examples of statechum.analysis.learning.DrawGraphs

2096
2097
2098
2099
2100
2101
2102
2103
2104
2105
2106
 
 
  @SuppressWarnings("null")
  public static void runExperiment() throws Exception
  {
    DrawGraphs gr = new DrawGraphs();
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setAskQuestions(false);config.setDebugMode(false);config.setGdLowToHighRatio(0.7);config.setRandomPathAttemptFudgeThreshold(1000);
    config.setTransitionMatrixImplType(STATETREE.STATETREE_LINKEDHASH);config.setLearnerScoreMode(ScoreMode.COMPATIBILITY);
    ConvertALabel converter = new Transform.InternStringLabel();
    GlobalConfiguration.getConfiguration().setProperty(G_PROPERTIES.LINEARWARNINGS, "false");
    final int ThreadNumber = ExperimentRunner.getCpuNumber(); 
View Full Code Here

Examples of statechum.analysis.learning.DrawGraphs

1627
1628
1629
1630
1631
1632
1633
1634
1635
1636
1637
 
 
  @SuppressWarnings("null")
  public static void runExperiment() throws Exception
  {
    DrawGraphs gr = new DrawGraphs();
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setAskQuestions(false);config.setDebugMode(false);config.setGdLowToHighRatio(0.7);config.setRandomPathAttemptFudgeThreshold(1000);
    config.setTransitionMatrixImplType(STATETREE.STATETREE_LINKEDHASH);config.setLearnerScoreMode(ScoreMode.COMPATIBILITY);//ONLYOVERRIDE);
    ConvertALabel converter = new Transform.InternStringLabel();
    GlobalConfiguration.getConfiguration().setProperty(G_PROPERTIES.LINEARWARNINGS, "false");
    final int ThreadNumber = ExperimentRunner.getCpuNumber(); 
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.