Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory
formal language » formal languages

1
Published 2019
Academic Press is an imprint of Elsevier
Table of Contents: .... Programming Language and Mutant Operators -- 9.3. Subsumed Mutant Threat -- 9.4. Test Suite Strength and Size...