| Ultra-cold neutrons R Golub, D Richardson, SK Lamoreaux CRC Press, 1991 | 427 | 1991 |
| 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 | 380 | 1989 |
| Self-similarity in ultrafast nonlinear optics JM Dudley, C Finot, DJ Richardson, G Millot Nature Physics 3 (9), 597-603, 2007 | 367 | 2007 |
| Specification-based test oracles for reactive systems DJ Richardson, SL Aha, TO O'malley Proceedings of the 14th international conference on Software engineering …, 1992 | 361 | 1992 |
| Partition analysis: A method combining testing and verification DJ Richardson, LA Clarke IEEE Transactions on Software Engineering, 1477-1490, 1985 | 149 | 1985 |
| TAOS: Testing with analysis and oracle support DJ Richardson Proceedings of the 1994 ACM SIGSOFT international symposium on Software …, 1994 | 143 | 1994 |
| Software testing at the architectural level DJ Richardson, AL Wolf Joint proceedings of the second international software architecture workshop …, 1996 | 131 | 1996 |
| A close look at domain testing LA Clarke, J Hassell, DJ Richardson IEEE Transactions on Software Engineering, 380-390, 1982 | 129 | 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 | 126 | 1989 |
| 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 | 123 | 2014 |
| 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 | 116 | 1993 |
| The uncertainty principle in software engineering H Ziv, D Richardson, R Klösch submitted to Proceedings of the 19th International Conference on Software …, 1997 | 112 | 1997 |
| Applications of symbolic evaluation LA Clarke, DJ Richardson Journal of systems and software 5 (1), 15-35, 1985 | 108 | 1985 |
| 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 | 100 | 1988 |
| An evaluation of software test environment architectures NS Eickelmann, DJ Richardson Proceedings of IEEE 18th International Conference on Software Engineering …, 1996 | 99 | 1996 |
| Structural specification-based testing: Automated support and experimental evaluation J Chang, DJ Richardson Software Engineering—ESEC/FSE’99, 285-302, 1999 | 94 | 1999 |
| Picosecond soliton pulse compressor based on dispersion decreasing fibre SV Chernikov, DJ Richardson, EM Dianov, DN Payne Electronics Letters 28 (19), 1842-1844, 1992 | 90 | 1992 |
| Static and dynamic specification slicing J Chang, DJ Richardson Proceedings of the Fourth Irvine Software Symposium, 1994 | 86 | 1994 |
| A partition analysis method to increase program reliability DJ Richardson, LA Clarke Proceedings of the 5th international conference on Software engineering, 244-253, 1981 | 82 | 1981 |
| 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 | 79 | 2014 |
