Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-38916-0_3 | TAP |
Field | DocType | Citations |
System under test,Computer science,Intelligent verification,Verification,Non-regression testing,Theoretical computer science,Software performance testing,Model-based testing,Software reliability testing,Computer engineering,Software verification | Conference | 6 |
PageRank | References | Authors |
0.46 | 19 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Cyrille Artho | 1 | 588 | 44.46 |
Armin Biere | 2 | 4106 | 245.11 |
Martina Seidl | 3 | 685 | 51.78 |