| 2006 |
|---|
| 5 | EE | Jinlin Yang,
David Evans,
Deepali Bhardwaj,
Thirumalesh Bhat,
Manuvir Das:
Perracotta: mining temporal API rules from imperfect traces.
ICSE 2006: 282-291 |
| 2005 |
|---|
| 4 | EE | David Coppit,
Jinlin Yang,
Sarfraz Khurshid,
Wei Le,
Kevin J. Sullivan:
Software Assurance by Bounded Exhaustive Testing.
IEEE Trans. Software Eng. 31(4): 328-339 (2005) |
| 2004 |
|---|
| 3 | EE | Jinlin Yang,
David Evans:
Automatically Inferring Temporal Properties for Program Evolution .
ISSRE 2004: 340-351 |
| 2 | EE | Kevin J. Sullivan,
Jinlin Yang,
David Coppit,
Sarfraz Khurshid,
Daniel Jackson:
Software assurance by bounded exhaustive testing.
ISSTA 2004: 133-142 |
| 1 | EE | Jinlin Yang,
David Evans:
Dynamically inferring temporal properties.
PASTE 2004: 23-28 |
