期刊： ADVANCES IN COMPUTERS, VOL 112, 2019; 112 ()
Mutation testing realizes the idea of using artificial defects to support testing activities. Mutation is typically used as a way to evaluate the adeq......
期刊： ADVANCES IN COMPUTERS, VOL 113, 2019; 113 ()
Regression testing is crucial for ensuring the quality of modern software systems, but can be extremely costly in practice. Test-case prioritization h......
期刊： CREATIVITY IN COMPUTING AND DATAFLOW SUPERCOMPUTING, 2017; 104 ( )
Geoscience research is one of the major fields that calls for the support of high-performance computers (HPC). With the algorithms of geoscience appli......
