Search Sciweavers | Sciweavers

3090 search results - page 88 / 618

» On Testing Answer-Set Programs

click to vote

ATS
2002
IEEE

74views Hardware» more ATS 2002»

Evolutionary Test Program Induction for Microprocessor Design Verification

15 years 4 months ago

Download www.cs.bham.ac.uk

Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...

claim paper

Read More »

click to vote

COMPSAC
2002
IEEE

96views Software Engineering» more COMPSAC 2002»

Metamorphic Testing of Programs on Partial Differential Equations: A Case Study

15 years 4 months ago

Download www.jos.org.cn

Tsong Yueh Chen, Jianqiang Feng, T. H. Tse

claim paper

Read More »

click to vote

ICSE
2009
IEEE-ACM

134views Software Engineering» more ICSE 2009»

Automated Test Program Generation for an Industrial Optimizing Compiler

15 years 4 months ago

Download ast2009.com

Chen Zhao, Yunzhi Xue, Qiuming Tao, Liang Guo, Zha...

claim paper

Read More »

click to vote

ICTAI
2000
IEEE

80views Artificial Intelligence» more ICTAI 2000»

A genetic algorithm-based system for generating test programs for microprocessor IP cores

15 years 4 months ago

Download dit.upc.es

Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...

claim paper

Read More »

click to vote

ITC
2000
IEEE

80views Hardware» more ITC 2000»

Test program synthesis for path delay faults in microprocessor cores

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers