共 23 条
[1]
Aguilera M. K., 2003, Operating Systems Review, V37, P74, DOI 10.1145/1165389.945454
[2]
[Anonymous], 2000, Experimentation in Software Engineering-An Introduction
[3]
[Anonymous], ART COMPUTER SYSTEMS
[4]
Benjamin H.Sigelman., 2010, Dapper, a large-scale distributed systems tracing infrastructure
[5]
Design-Time to Run-Time Verification of Microservices Based Applications (Short Paper)
[J].
SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2017,
2018, 10729
:168-173
[6]
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets
[J].
NASA FORMAL METHODS (NFM 2017),
2017, 10227
:115-130
[8]
Dragoni N., 2017, Present and Ulterior Software Engineering, P195, DOI DOI 10.1007/978-3-319-67425-4_12
[9]
Optimizing Monitorability of Multi-cloud Applications
[J].
ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2016),
2016, 9694
:411-426
[10]
BLT: Bi-layer tracing of HTTP and TCP/IP
[J].
COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING,
2000, 33 (1-6)
:321-335