Leveraging existing instrumentation to automatically infer invariant-constrained models 论文

2011引用 221
DOI
Software System Performance and ReliabilitySoftware Engineering ResearchSoftware Testing and Debugging Techniques
企业软件Software Engineering ResearchSoftware Testing and Debugging TechniquesSoftware System Performance and Reliability
关系图谱

Leveraging existing instrumentation to automatically infer invariant-constrained models · 作者

M

Michael D. Ernst

M

Michael Sloan

S

Sigurd Schneider

Y

Yuriy Brun

I

Ivan Beschastnikh