Concepedia

Debra J. Richardson

DJ

Statistics

Publications

73

Citations

3.3K

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 computer science, computing, and software engineering.

Publications per year

1981–2022

73

Publications

73

Specification-based test oracles for reactive systems

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

Computing, Systems Engineering, Behavior Analysis +8

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 · 225 citations · Full text

Computing, Computer Science, Algorithms +10

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

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

Engineering, Computer Science, Systems Engineering +13

Partition Analysis: A Method Combining Testing and Verification

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

Computing, Computer Science, Formal Methods +10

A Close Look at Domain Testing

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

Computing, Computer Science, Method Validation +7

1–5 of 73