| 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 | 412 | 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 | 384 | 1992 |
| Partition analysis: A method combining testing and verification DJ Richardson, LA Clarke IEEE Transactions on Software Engineering, 1477-1490, 1985 | 160 | 1985 |
| 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 | 150 | 2014 |
| TAOS: Testing with analysis and oracle support DJ Richardson Proceedings of the 1994 ACM SIGSOFT international symposium on Software …, 1994 | 148 | 1994 |
| Software testing at the architectural level DJ Richardson, AL Wolf Joint proceedings of the second international software architecture workshop …, 1996 | 142 | 1996 |
| A close look at domain testing LA Clarke, J Hassell, DJ Richardson IEEE Transactions on Software Engineering, 380-390, 1982 | 142 | 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 | 140 | 1989 |
| The uncertainty principle in software engineering H Ziv, D Richardson, R Klösch submitted to Proceedings of the 19th International Conference on Software …, 1997 | 129 | 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 | 120 | 1993 |
| Applications of symbolic evaluation LA Clarke, DJ Richardson Journal of systems and software 5 (1), 15-35, 1985 | 116 | 1985 |
| 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 | 104 | 1988 |
| 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 | 98 | 2014 |
| 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 |
| Picosecond soliton pulse compressor based on dispersion decreasing fibre SV Chernikov, DJ Richardson, EM Dianov, DN Payne Electronics letters 28 (19), 1842-1844, 1992 | 92 | 1992 |
| A partition analysis method to increase program reliability DJ Richardson, LA Clarke Proceedings of the 5th international conference on Software engineering, 244-253, 1981 | 92 | 1981 |
| Static and dynamic specification slicing J Chang, DJ Richardson Proceedings of the Fourth Irvine Software Symposium, 1994 | 87 | 1994 |
| Cold atoms probe the magnetic field near a wire MPA Jones, CJ Vale, D Sahagun, BV Hall, CC Eberlein, BE Sauer, ... Journal of Physics B: Atomic, Molecular and Optical Physics 37 (2), L15, 2003 | 79 | 2003 |
| Structural specification-based testing with ADL J Chang, DJ Richardson, S Sankar Proceedings of the 1996 ACM SIGSOFT international symposium on Software …, 1996 | 78 | 1996 |
