Вы здесь
Hamlet D.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Automatically Checking an Implementation against Its Formal Specifications | 2000 | Antoy S., Hamlet D. | IEEE Trans. on Software Engineering | 02.04.2002 | |||
СТ | On Subdomains: Testing, Profiles, and Components | 2000 | Hamlet D. | Software Engineering Notes | 14.12.2000 | |||
СТ | What Can We Learn by Testing a Program? | 1998 | Hamlet D. | Software Engineering Notes | 30.07.1998 | |||
СТ | Faults on Its Sleeve: Amplifying Software Reliability Testing | 1993 | Hamlet D., Voas J. | Software Engineering Notes | 29.09.1993 |