Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-38916-0_4 | TAP |
Field | DocType | Citations |
Test suite,Code coverage,Programming language,Intelligent verification,Computer science,Correctness,Theoretical computer science,Verification,Non-regression testing,Program analysis,Software verification | Conference | 3 |
PageRank | References | Authors |
0.51 | 13 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bernhard Beckert | 1 | 862 | 86.50 |
Thorsten Bormer | 2 | 58 | 4.90 |
Markus Wagner | 3 | 7 | 2.93 |