resess/GoalExplorer

Issues

• Error in build STG

  #14 opened 2 months ago
  3

• Something wrong in stg.xml

  #13 opened 3 months ago
  5

• package "st.cs.uni.saarland.de" is missing

  #12 opened 8 months ago
  3

• Failed to build STG

  #11 opened 3 months ago
  3

• Error when running GoalExplore-1.2.0

  #10 opened a year ago
  8

• Confusion during using

  #9 opened 2 years ago
  1

• Exceptions in the static analysis module

  #8 opened 2 years ago
  2

• Question About ICCBot

  #7 opened 2 years ago
  1

• The APK file is not decompiled during the GoalExplorer.jar execution

  #5 opened 2 years ago
  2