Year | Venue | Keywords |
---|---|---|
2008 | SEKE | pre and postconditions,object-oriented programming,constraint solving,test data generator,random testing,jml language.,test data generation,object oriented programming |
Field | DocType | Citations |
Integer,Random testing,Computer science,Algorithm,Constraint satisfaction problem,Test data,Test case,Solver,Test data generation,Randomness | Conference | 0 |
PageRank | References | Authors |
0.34 | 13 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yoonsik Cheon | 1 | 770 | 56.20 |
Antonio Cortes | 2 | 0 | 0.34 |
Gary T. Leavens | 3 | 2593 | 211.29 |
Martine Ceberio | 4 | 81 | 20.65 |