Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q4035620> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- Q4035620 subject Q11705815.
- Q4035620 abstract "CHESS is a software model checker for finding errors/heisenbugs in multithreaded software by systematic exploration of thread schedules. It finds errors, such as data-races, deadlocks, livelocks, and data-corruption induced access violations, that are extremely hard to find with current testing tools. Once CHESS locates an error, it provides a fully repeatable execution of the program leading to the error, thus greatly aiding the debugging process.CHESS can be used for testing concurrent software, as an alternative to stress testing.".
- Q4035620 wikiPageExternalLink cc950526.aspx.
- Q4035620 wikiPageExternalLink CHESS.
- Q4035620 wikiPageWikiLink Q11705815.
- Q4035620 wikiPageWikiLink Q1569697.
- Q4035620 wikiPageWikiLink Q54270.
- Q4035620 wikiPageWikiLink Q623276.
- Q4035620 wikiPageWikiLink Q7397.
- Q4035620 comment "CHESS is a software model checker for finding errors/heisenbugs in multithreaded software by systematic exploration of thread schedules. It finds errors, such as data-races, deadlocks, livelocks, and data-corruption induced access violations, that are extremely hard to find with current testing tools.".
- Q4035620 label "CHESS model checker".