Follow
Debra J. Richardson
Debra J. Richardson
Professor of Informatics, University of California, Irvine
Verified email at ics.uci.edu
Title
Cited by
Cited by
Year
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
4131989
Specification-based test oracles for reactive systems
DJ Richardson, SL Aha, TO O'malley
Proceedings of the 14th international conference on Software engineering …, 1992
3861992
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
2502000
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
1992001
Partition analysis: A method combining testing and verification
DJ Richardson, LA Clarke
IEEE Transactions on Software Engineering, 1477-1490, 1985
1601985
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
1542014
TAOS: Testing with analysis and oracle support
DJ Richardson
Proceedings of the 1994 ACM SIGSOFT international symposium on Software …, 1994
1491994
Stretched pulse Yb3+:silica fiber laser
V Cautaerts, DJ Richardson, R Paschotta, DC Hanna
Optics letters 22 (5), 316-318, 1997
1481997
A close look at domain testing
LA Clarke, J Hassell, DJ Richardson
IEEE Transactions on Software Engineering, 380-390, 1982
1441982
Software testing at the architectural level
DJ Richardson, AL Wolf
Joint proceedings of the second international software architecture workshop …, 1996
1421996
Approaches to specification-based testing
D Richardson, O O'Malley, C Tittle
Proceedings of the ACM SIGSOFT'89 third symposium on Software testing …, 1989
1401989
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
1322006
The uncertainty principle in software engineering
H Ziv, D Richardson, R Klösch
submitted to Proceedings of the 19th International Conference on Software …, 1997
1301997
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
1201993
Applications of symbolic evaluation
LA Clarke, DJ Richardson
Journal of systems and software 5 (1), 15-35, 1985
1181985
An evaluation of software test environment architectures
NS Eickelmann, DJ Richardson
Proceedings of IEEE 18th International Conference on Software Engineering …, 1996
1081996
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
1052014
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
1041988
Structural specification-based testing: Automated support and experimental evaluation
J Chang, DJ Richardson
ACM SIGSOFT Software Engineering Notes 24 (6), 285-302, 1999
981999
Picosecond soliton pulse compressor based on dispersion decreasing fibre
SV Chernikov, DJ Richardson, EM Dianov, DN Payne
Electronics letters 28 (19), 1842-1844, 1992
931992
The system can't perform the operation now. Try again later.
Articles 1–20