INCREDYBLE: A new search strategy for design automation problems with applications to testing

DOI10.1109/12.391182zbMath1038.68551OpenAlexW2121057783MaRDI QIDQ4419719

Sudhakar M. Reddy, Irith Pomeranz

Publication date: 14 October 2003

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: http://csdl.computer.org/comp/trans/tc/1995/06/t0792abs.htm

Mathematics Subject Classification ID

Searching and sorting (68P10) Reliability, testing and fault tolerance of networks and computer systems (68M15)

This page was built for publication: INCREDYBLE: A new search strategy for design automation problems with applications to testing