Efficiently generating test vectors with state pruning

Ying Chen; Dennis Abts; David J Lilja

Efficiently generating test vectors with state pruning

Ying Chen, Dennis Abts, David J Lilja

Electrical and Computer Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

Abstract

This paper extends the depth first search (DFS) used in the previously proposed witness string method for generating efficient test vectors. A state pruning method is added that exploits different search heuristics in simultaneous searches. Using an IBM Power4 multiprocessor system with the Berkeley Active Message library, we show that this new method of state pruning is efficient and produces quantitatively better witness strings compared to both pure and guided DFS.

Original language	English (US)
Title of host publication	Proceedings of the 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005
Pages	1196-1199
Number of pages	4
State	Published - Dec 1 2005
Event	2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005 - Shanghai, China Duration: Jan 18 2005 → Jan 21 2005

Publication series

Name	Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Volume	2

Other

Other	2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005
Country/Territory	China
City	Shanghai
Period	1/18/05 → 1/21/05

OpenUrl availability

Full text

Cite this

Efficiently generating test vectors with state pruning. / Chen, Ying; Abts, Dennis; Lilja, David J.
Proceedings of the 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005. 2005. p. 1196-1199 1466556 (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC; Vol. 2).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Chen, Y, Abts, D & Lilja, DJ 2005, Efficiently generating test vectors with state pruning. in Proceedings of the 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005., 1466556, Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC, vol. 2, pp. 1196-1199, 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005, Shanghai, China, 1/18/05.

@inproceedings{dd508536d92f41c8978cc41fc6e1b4ab,

title = "Efficiently generating test vectors with state pruning",

abstract = "This paper extends the depth first search (DFS) used in the previously proposed witness string method for generating efficient test vectors. A state pruning method is added that exploits different search heuristics in simultaneous searches. Using an IBM Power4 multiprocessor system with the Berkeley Active Message library, we show that this new method of state pruning is efficient and produces quantitatively better witness strings compared to both pure and guided DFS.",

author = "Ying Chen and Dennis Abts and Lilja, {David J}",

year = "2005",

month = dec,

day = "1",

language = "English (US)",

isbn = "0780387368",

series = "Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC",

pages = "1196--1199",

booktitle = "Proceedings of the 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005",

note = "2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005 ; Conference date: 18-01-2005 Through 21-01-2005",

}

TY - GEN

T1 - Efficiently generating test vectors with state pruning

AU - Chen, Ying

AU - Abts, Dennis

AU - Lilja, David J

PY - 2005/12/1

Y1 - 2005/12/1

N2 - This paper extends the depth first search (DFS) used in the previously proposed witness string method for generating efficient test vectors. A state pruning method is added that exploits different search heuristics in simultaneous searches. Using an IBM Power4 multiprocessor system with the Berkeley Active Message library, we show that this new method of state pruning is efficient and produces quantitatively better witness strings compared to both pure and guided DFS.

AB - This paper extends the depth first search (DFS) used in the previously proposed witness string method for generating efficient test vectors. A state pruning method is added that exploits different search heuristics in simultaneous searches. Using an IBM Power4 multiprocessor system with the Berkeley Active Message library, we show that this new method of state pruning is efficient and produces quantitatively better witness strings compared to both pure and guided DFS.

UR - http://www.scopus.com/inward/record.url?scp=84861441423&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84861441423&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84861441423

SN - 0780387368

SN - 9780780387362

T3 - Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

SP - 1196

EP - 1199

BT - Proceedings of the 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005

T2 - 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005

Y2 - 18 January 2005 through 21 January 2005

ER -

Efficiently generating test vectors with state pruning

Abstract

Publication series

Other

OpenUrl availability

Other files and links

Cite this