Using formal specifications to support testing 论文

2009ACM Computing Surveys引用 348
DOIPDF
Software Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchSoftware Engineering Research
企业软件Software Engineering ResearchSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research
关系图谱

Using formal specifications to support testing · 作者

H

Hussein Zedan

M

Martin R. Woodward

S

Sergiy Vilkomir

A

Anthony J. H. Simons

G

Gerald Lüttgen

P

Paul Krause

K

Kalpesh Kapoor

M

Mark Harman

M

Marian Gheorghe

J

Jeremy Dick

J

John Derrick

R

Rance Cleaveland

J

Jonathan P. Bowen

K

Kirill Bogdanov

R

Robert M. Hierons