Debra J. Richardson
Debra J. Richardson
Professor of Informatics, University of California, Irvine
Vahvistettu sähköpostiosoite verkkotunnuksessa ics.uci.edu
Nimike
Viittaukset
Viittaukset
Vuosi
Ultra-cold neutrons
R Golub, D Richardson, SK Lamoreaux
CRC Press, 1991
4281991
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
3751989
Self-similarity in ultrafast nonlinear optics
JM Dudley, C Finot, DJ Richardson, G Millot
Nature Physics 3 (9), 597-603, 2007
3602007
Specification-based test oracles for reactive systems
DJ Richardson, SL Aha, TO O'malley
Proceedings of the 14th international conference on Software engineering …, 1992
3591992
Partition analysis: A method combining testing and verification
DJ Richardson, LA Clarke
IEEE Transactions on Software Engineering, 1477-1490, 1985
1461985
TAOS: Testing with analysis and oracle support
DJ Richardson
Proceedings of the 1994 ACM SIGSOFT international symposium on Software …, 1994
1451994
A close look at domain testing
LA Clarke, J Hassell, DJ Richardson
IEEE Transactions on Software Engineering, 380-390, 1982
1321982
Software testing at the architectural level
DJ Richardson, AL Wolf
Joint proceedings of the second international software architecture workshop …, 1996
1201996
Approaches to specification-based testing
D Richardson, O O'Malley, C Tittle
Proceedings of the ACM SIGSOFT'89 third symposium on Software testing …, 1989
1181989
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
1132014
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
1131993
Applications of symbolic evaluation
LA Clarke, DJ Richardson
Journal of systems and software 5 (1), 15-35, 1985
1061985
The uncertainty principle in software engineering
H Ziv, D Richardson, R Klösch
submitted to Proceedings of the 19th International Conference on Software …, 1997
1031997
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
981988
An evaluation of software test environment architectures
NS Eickelmann, DJ Richardson
Proceedings of IEEE 18th International Conference on Software Engineering …, 1996
961996
Structural specification-based testing: Automated support and experimental evaluation
J Chang, DJ Richardson
Software Engineering—ESEC/FSE’99, 285-302, 1999
931999
A partition analysis method to increase program reliability
DJ Richardson, LA Clarke
Proceedings of the 5th international conference on Software engineering, 244-253, 1981
871981
Static and dynamic specification slicing
J Chang, DJ Richardson
Proceedings of the Fourth Irvine Software Symposium, 1994
861994
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
782003
Structural specification-based testing with ADL
J Chang, DJ Richardson, S Sankar
Proceedings of the 1996 ACM SIGSOFT international symposium on Software …, 1996
751996
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20