Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/LURCH> ?p ?o }
Showing triples 1 to 27 of
27
with 100 triples per page.
- LURCH abstract "LURCH is a tool for software design debugging that uses a nondeterministic algorithm to quickly explore the reachable states of a software model. By performing a partial and random search, LURCH looks for faults in the model and reports the pathways leading to the faults.".
- LURCH wikiPageExternalLink randomoka.pdf.
- LURCH wikiPageID "660243".
- LURCH wikiPageLength "3418".
- LURCH wikiPageOutDegree "9".
- LURCH wikiPageRevisionID "535894463".
- LURCH wikiPageWikiLink Category:Debuggers.
- LURCH wikiPageWikiLink Determinism.
- LURCH wikiPageWikiLink Nondeterministic_algorithm.
- LURCH wikiPageWikiLink Software_testing.
- LURCH wikiPageWikiLink Software_verification.
- LURCH wikiPageWikiLink State_(computer_science).
- LURCH wikiPageWikiLink State_space.
- LURCH wikiPageWikiLink Thrashing_(computer_science).
- LURCH wikiPageWikiLinkText "LURCH".
- LURCH wikiPageUsesTemplate Template:Notability.
- LURCH wikiPageUsesTemplate Template:Other_uses.
- LURCH subject Category:Debuggers.
- LURCH hypernym Tool.
- LURCH type Software.
- LURCH comment "LURCH is a tool for software design debugging that uses a nondeterministic algorithm to quickly explore the reachable states of a software model. By performing a partial and random search, LURCH looks for faults in the model and reports the pathways leading to the faults.".
- LURCH label "LURCH".
- LURCH sameAs Q6460267.
- LURCH sameAs m.030ktr.
- LURCH sameAs Q6460267.
- LURCH wasDerivedFrom LURCH?oldid=535894463.
- LURCH isPrimaryTopicOf LURCH.