| A formal evaluation of data flow path selection criteria LA Clarke, A Podgurski, DJ Richardson, SJ Zeil IEEE Transactions on Software Engineering 15 (11), 1318-1332, 1989 | 423 | 1989 |
| Specification-based test oracles for reactive systems DJ Richardson, SL Aha, TO O'malley Proceedings of the 14th international conference on Software engineering …, 1992 | 393 | 1992 |
| High-energy, high-power ytterbium-doped Q-switched fiber laser JA Alvarez-Chavez, HL Offerhaus, J Nilsson, PW Turner, WA Clarkson, ... Optics letters 25 (1), 37-39, 2000 | 262 | 2000 |
| Tunable, femtosecond pulse source operating in the range 1.06–1.33 µm based on an Yb3+-doped holey fiber amplifier JHV Price, K Furusawa, TM Monro, L Lefort, DJ Richardson JOSA B 19 (6), 1286-1294, 2002 | 240 | 2002 |
| Characteristics of Q-switched cladding-pumped ytterbium-doped fiber lasers with different high-energy fiber designs CC Ranaud, HL Offerhaus, JA Alvarez-Chavez, CJ Nilsson, WA Clarkson, ... IEEE Journal of Quantum Electronics 37 (2), 199-206, 2001 | 203 | 2001 |
| Safety, security, now sustainability: The nonfunctional requirement for the 21st century B Penzenstadler, A Raturi, D Richardson, B Tomlinson IEEE software 31 (3), 40-47, 2014 | 176 | 2014 |
| Partition analysis: A method combining testing and verification DJ Richardson, LA Clarke IEEE Transactions on Software Engineering, 1477-1490, 1985 | 165 | 1985 |
| Stretched pulse Yb3+:silica fiber laser V Cautaerts, DJ Richardson, R Paschotta, DC Hanna Optics letters 22 (5), 316-318, 1997 | 154 | 1997 |
| TAOS: Testing with analysis and oracle support DJ Richardson Proceedings of the 1994 ACM SIGSOFT international symposium on Software …, 1994 | 152 | 1994 |
| Software testing at the architectural level DJ Richardson, AL Wolf Joint proceedings of the second international software architecture workshop …, 1996 | 147 | 1996 |
| A close look at domain testing LA Clarke, J Hassell, DJ Richardson IEEE Transactions on Software Engineering, 380-390, 1982 | 147 | 1982 |
| Approaches to specification-based testing D Richardson, O O'Malley, C Tittle Proceedings of the ACM SIGSOFT'89 third symposium on Software testing …, 1989 | 144 | 1989 |
| Adaptive pulse shape control in a diode-seeded nanosecond fiber MOPA system KT Vu, A Malinowski, DJ Richardson, F Ghiringhelli, LMB Hickey, ... Optics Express 14 (23), 10996-11001, 2006 | 136 | 2006 |
| The uncertainty principle in software engineering H Ziv, D Richardson, R Klösch submitted to Proceedings of the 19th International Conference on Software …, 1997 | 135 | 1997 |
| An analysis of test data selection criteria using the RELAY model of fault detection DJ Richardson, MC Thompson IEEE Transactions on Software Engineering 19 (6), 533-553, 1993 | 121 | 1993 |
| Applications of symbolic evaluation LA Clarke, DJ Richardson Journal of systems and software 5 (1), 15-35, 1985 | 118 | 1985 |
| Systematic mapping study on software engineering for sustainability (SE4S) B Penzenstadler, A Raturi, D Richardson, C Calero, H Femmer, X Franch Proceedings of the 18th International Conference on Evaluation and …, 2014 | 113 | 2014 |
| An evaluation of software test environment architectures NS Eickelmann, DJ Richardson Proceedings of IEEE 18th International Conference on Software Engineering …, 1996 | 107 | 1996 |
| The RELAY model of error detection and its application DJ Richardson, MC Thompson Workshop on Software Testing, Verification, and Analysis, 223,224,225,226 …, 1988 | 105 | 1988 |
| Structural specification-based testing: Automated support and experimental evaluation J Chang, DJ Richardson ACM SIGSOFT Software Engineering Notes 24 (6), 285-302, 1999 | 98 | 1999 |
