 | 2006 |
|---|
| 4 |       | Adriel Cheng,
Atanas N. Parashkevov,
Cheng-Chew Lim:
Coverage Measurement for Software Application Testing using Partially Ordered Domains and Symbolic Trajectory Evaluation Techniques.
DELTA 2006: 481-487 |
| 2004 |
|---|
| 3 | | Adriel Cheng,
Atanas N. Parashkevov,
Cheng-Chew Lim:
Coverage Measurement for Software Application Level Verification using Symbolic Trajectory Evaluation Techniques.
DELTA 2004: 237-244 |
| 2002 |
|---|
| 2 | | Simon Jolly,
Atanas N. Parashkevov,
Tim McDougall:
Automated equivalence checking of switch level circuits .
DAC 2002: 299-304 |
| 1997 |
|---|
| 1 |  | Atanas N. Parashkevov,
Jay Yantchev:
Space Efficient Reachability Analysis Through Use of Pseudo-Root States.
TACAS 1997: 50-64 |
