Adelaide Research & Scholarship
Browsing "Electrical and Electronic Engineering publications" by Author Osseiran, A.
Showing results 1 to 4 of 4
Preview | Issue Date | Title | Author(s) |
| 2004 | Coverage measurement for software application level verification using symbolic trajectory evaluation techniques | Cheng, A.; Parashkevov, A.; Lim, C.; Osseiran, A.; IEEE International Workshop on Electronic Design, Test and Applications (2nd : 2004 : Perth, Australia) |
| 2006 | Coverage measurement for software application testing using partially ordered domains and symbolic trajectory evaluation techniques | Cheng, A.; Parashkevov, A.; Lim, C.; Girard, P.; Osseiran, A.; Chew, M.; IEEE International Workshop on Electronic Design, Test and Applications (3rd : 2006 : Kuala Lumpur, Malaysia) |
| 2008 | Using genetic evolutionary software application testing to verify a DSP SoC | Cheng, A.; Lim, C.; Sun, Y.; He, H.; Zhou, Z.; Lei, T.; Osseiran, A.; IEEE International Symposium on Electronic Design (4th : 2008 : Hong Kong) |
| 2005 | Verifying system-on-chips at the software application level | Cheng, A.; Parashkevov, A.; Lim, C.; Osseiran, A.; Lachowicz, S.; Reis, R.; Pfleiderer, H.; Kang, S.; International Conference on Very Large Scale Integration System-on-Chip (2005 : Perth, Western Australia) |