High Quality Test Pattern Generation and Boolean Satisfiability

DOI10.1007/978-1-4419-9976-4zbMath1235.94003OpenAlexW346138648WikidataQ59242478 ScholiaQ59242478MaRDI QIDQ3106263

Stephan Eggersglüß, Rolf Drechsler

Publication date: 20 December 2011

Full work available at URL: https://doi.org/10.1007/978-1-4419-9976-4

zbMATH Keywords

Boolean satisfiabilityautomatic test pattern generation

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to information and communication theory (94-02) Fault detection; testing in circuits and networks (94C12) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Mathematical problems of computer architecture (68M07) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Uses Software

• SATIRE

This page was built for publication: High Quality Test Pattern Generation and Boolean Satisfiability