In many papers like Empirical Evaluation of the Tarantula Automatic Fault-Localization Technique there is a good explanation about how tarantula algorithm can be used with test suits. Is there any book or even explanation of how this could be usefull in case of model checking? with abstract reachability graph?

  • $\begingroup$ This seems vague, can you describe what the tarantula algorithm is briefly and define some context? Specifically you could say what you mean by the test suites and abstract reachability graph, and what is the input to the model checking you have in mind. $\endgroup$
    – 6005
    Apr 7 '20 at 3:59
  • $\begingroup$ can i please content with you ? $\endgroup$
    – Alex
    Apr 7 '20 at 13:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.