Concepedia

S. Dawson

SD

6

Publications

278

Citations

6

H-Index

1995

Active since

Affiliations

University of Michigan(Current)

S. Dawson is an author at University of Michigan specializing in systems engineering, system software, and engineering.

Top concepts

EngineeringSystem SoftwareSystems EngineeringProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringVerificationFormal Methods

Publications per year

1995–2002

6

Publications

6

Testing of fault-tolerant and real-time distributed systems via protocol fault injection

S. Dawson, Farnam Jahanian, T. Mitton et al. · 2002 · 116 citations

Engineering, Verification, Software Engineering +21

Experiments on six commercial TCP implementations using a software fault injection tool

S. Dawson, Farnam Jahanian, T. Mitton · Software Practice and Experience · 1997 · 51 citations · Full text

Engineering, Software Engineering, Fault Tolerance +22

ORCHESTRA: a probing and fault injection environment for testing protocol implementations

S. Dawson, Farnam Jahanian, T. Mitton · 2002 · 44 citations

Software Maintenance, Engineering, Verification +22

ARMADA Middleware and Communication Services

Tarek Abdelzaher, S. Dawson, Wei Feng et al. · Real-Time Systems · 1999 · 34 citations · Full text

Engineering, Distributed Middleware, Armada Middleware +6

Probing and fault injection of protocol implementations

S. Dawson, Farnam Jahanian · 2002 · 21 citations

Software Maintenance, Engineering, Verification +21

Rows per page

1–5 of 6