W. Catherine Christinal Mary

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Automated testing seeks to reduce the cost of verification, typically by using specifications to drive the generation of test inputs and/or the checking of program outputs. Many software systems have structurally complex inputs that cannot be adequately described using simple formalisms such as context-free grammars. In order to generate such inputs, many(More)
Locking is a popular deflation technique followed by many eigensolvers, where a converged eigenvector is frozen and removed from the iteration search space. Other deflation techniques that do not modify the matrix have less favorable numerical properties, so the alternative to locking is not to perform deflation at all. Without deflation, which we refer to(More)
  • 1