Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/978-3-319-03077-7_24 | Haifa Verification Conference |
Field | DocType | Citations |
On demand,Computer science,Control flow,Theoretical computer science,Symbolic execution,Concolic testing,Software verification,Computation | Conference | 1 |
PageRank | References | Authors |
0.35 | 3 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Hana Chockler | 1 | 482 | 38.31 |
| Dmitry Pidan | 2 | 38 | 3.37 |
| Sitvanit Ruah | 3 | 293 | 13.04 |