Search Sciweavers | Sciweavers

3090 search results - page 88 / 618

» On Testing Answer-Set Programs

123

click to vote

ATS
2002
IEEE

74views Hardware» more ATS 2002»

Evolutionary Test Program Induction for Microprocessor Design Verification

15 years 11 months ago

Download www.cs.bham.ac.uk

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

claim paper

Read More »

124

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 11 months ago

Download www.jos.org.cn

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

claim paper

Read More »

128

click to vote

ICSE
2009
IEEE-ACM

134views Software Engineering» more ICSE 2009»

Automated Test Program Generation for an Industrial Optimizing Compiler

15 years 11 months ago

Download ast2009.com

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

claim paper

Read More »

115

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 10 months ago

Download dit.upc.es

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

claim paper

Read More »

105

click to vote

ITC
2000
IEEE

80views Hardware» more ITC 2000»

Test program synthesis for path delay faults in microprocessor cores

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers