Software quality engineering testing, quality assurance, and quantifiable improvement - Tain, Jeff (New Delhi Wiley India Pvt. Ltd., 2018)
Includes bibliographical references and index.
Keywords: Computer software -- Software quality -- Automation -- Input domain -- Testing -- Finite state machines -- Data dependence -- Formal verification -- Software engineering -- FC