Concepedia

Debra J. Richardson

DJ

Statistics

Publications

72

Citations

3.2K

H-Index

33

Active since

1981

Affiliations

University of California, Irvine(Current)

University of Massachusetts Amherst

University of L'Aquila

Durham University

Technical University of Munich

Debra J. Richardson is an author at University of California, Irvine specializing in engineering, software analysis, and software engineering.

Top concepts

EngineeringSoftware EngineeringSoftware AnalysisSoftware DesignSoftware TestingComputer ScienceProgram AnalysisSystems EngineeringFormal MethodsFormal Verification

Publications per year

1981–2022

72

Publications

72

Specification-based test oracles for reactive systems

Debra J. Richardson, Stephanie Leif Aha, T. Owen O'Malley · 1992 · 232 citations

Engineering, Program Analysis, Automated Reasoning +13

A formal evaluation of data flow path selection criteria

Lori A. Clarke, Andy Podgurski, Debra J. Richardson et al. · IEEE Transactions on Software Engineering · 1989 · 223 citations

Engineering, Software Engineering, Semantics +19

Safety, Security, Now Sustainability: The Nonfunctional Requirement for the 21st Century

Birgit Penzenstadler, Ankita Raturi, Debra J. Richardson et al. · IEEE Software · 2014 · 145 citations

Software Maintenance, Engineering, Software Systems +30

Partition Analysis: A Method Combining Testing and Verification

Debra J. Richardson, Lori A. Clarke · IEEE Transactions on Software Engineering · 1985 · 115 citations

Engineering, Verification, Software Systems +22

A Close Look at Domain Testing

Lori A. Clarke, Johnette Hassell, Debra J. Richardson · IEEE Transactions on Software Engineering · 1982 · 111 citations

Boundary Conditions, Engineering, Domain Characteristic +15

1–5 of 72