| 591 | -- | 592 | Achim D. Brucker, Jacques Julliand. Editorial for the special issue of STVR on tests and proofs volume 2: tests and proofs for improving the generation time and quality of test data suites |
| 593 | -- | 607 | Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler. Bridging the gap between easy generation and efficient verification of unsatisfiability proofs |
| 608 | -- | 628 | Eunkyoung Jee, Donghwan Shin, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae. Automated test case generation for FBD programs implementing reactor protection system software |
| 629 | -- | 655 | Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias. RepOK-based reduction of bounded exhaustive testing |
| 656 | -- | 683 | Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko, Catherine Masson. A random testing approach using pushdown automata |
| 684 | -- | 705 | Maggie Hamill, Katerina Goseva-Popstojanova. Exploring the missing link: an empirical study of software fixes |
| 706 | -- | 737 | Gwan-Hwan Hwang, Che-Sheng Lin, Teng-Shuo Lee, Chi Wu-Lee. A model-free and state-cover testing scheme for semaphore-based and shared-memory concurrent programs |