Jason G. Tong

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Spectral Clustering

Symbolic Execution

Simulation Data

Mutation Testing

Top Venues

ACM Trans. Design Autom. Electr. Syst.

Publications

Jason G. Tong, Marc Boule, Zeljko Zilic
Accelerating assertion assessment using GPUs. HLDVT (2016)
Jason G. Tong, Marc Boule, Zeljko Zilic
Test compaction techniques for assertion-based test generation. ACM Trans. Design Autom. Electr. Syst. 19 (1) (2013)
Jason G. Tong, Marc Boule, Zeljko Zilic
Efficient Data Encoding for Improving Fault Simulation Performance on GPUs. ISED (2013)
Jason G. Tong, Marc Bottle, Zeljko Zilic
Assertion clustering for compacted test sequence generation. ISQED (2012)
Jason G. Tong, Marc Boule, Zeljko Zilic
Defining and Providing Coverage for Assertion-Based Dynamic Verification. J. Electron. Test. 26 (2) (2010)
Jason G. Tong, Marc Boule, Zeljko Zilic
Airwolf-TG: A test generator for assertion-based dynamic verification. HLDVT (2009)
Jason G. Tong, Mohammed A. S. Khalid
Profiling Tools for FPGA-Based Embedded Systems: Survey and Quantitative Comparison. J. Comput. 3 (6) (2008)