Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah, João P. Marques Silva. On Applying Incremental Satisfiability to Delay Fault Testing. In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France. pages 380-384, IEEE Computer Society, 2000. [doi]
@inproceedings{KimWSS00, title = {On Applying Incremental Satisfiability to Delay Fault Testing}, author = {Joonyoung Kim and Jesse Whittemore and Karem A. Sakallah and João P. Marques Silva}, year = {2000}, url = {http://csdl.computer.org/comp/proceedings/date/2000/0537/00/05370380abs.htm}, tags = {testing, incremental}, researchr = {https://researchr.org/publication/KimWSS00}, cites = {0}, citedby = {0}, pages = {380-384}, booktitle = {2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France}, publisher = {IEEE Computer Society}, isbn = {0-7695-0537-6}, }