-
1
-
-
34547503171
-
Self-testing/correcting with applications to numerical problems
-
M. Blum, M. Luby, and R. Rubinfeld. Self-testing/correcting with applications to numerical problems. Journal of Computer and System Sciences, 45(6):549595, 1993.
-
(1993)
Journal of Computer and System Sciences
, vol.45
, Issue.6
, pp. 549595
-
-
Blum, M.1
Luby, M.2
Rubinfeld, R.3
-
3
-
-
34547496491
-
Adaptive runtime verification for autonomic communication infrastructures
-
G. Denaro, L. Mariani, M. Pezzè, and D. Tosi. Adaptive runtime verification for autonomic communication infrastructures. In First International IEEE WoW-MoM Workshop on Autonomic Communications and Computing (ACC'05), pages 553-557, 2005.
-
(2005)
First International IEEE WoW-MoM Workshop on Autonomic Communications and Computing (ACC'05)
, pp. 553-557
-
-
Denaro, G.1
Mariani, L.2
Pezzè, M.3
Tosi, D.4
-
4
-
-
34547500987
-
-
M. Doliner, G. Lukasik, and J. Thomerson. Cobertura 1.8, 2002. http://cobertura.sourceforge.net/ (August 2006).
-
M. Doliner, G. Lukasik, and J. Thomerson. Cobertura 1.8, 2002. http://cobertura.sourceforge.net/ (August 2006).
-
-
-
-
5
-
-
34547508479
-
Practical autonomic computing: Roadmap to self managing technology
-
Enterprise Managment Associates, Technical report, IBM, Boulder, CO, Jan
-
Enterprise Managment Associates. Practical autonomic computing: Roadmap to self managing technology. Technical report, IBM, Boulder, CO, Jan. 2006.
-
(2006)
-
-
-
6
-
-
34547508480
-
-
E. Gamma and K. Beck. JUnit 3.8.1, 2005. http://www.junit.org/index.htm (August 2006).
-
E. Gamma and K. Beck. JUnit 3.8.1, 2005. http://www.junit.org/index.htm (August 2006).
-
-
-
-
7
-
-
0011783904
-
An empirical study of regression test selection techniques
-
T. L. Graves, M. J. Harrold, J.-M. Kim, A. Porter, and G. Rothermel. An empirical study of regression test selection techniques. ACM Trans. Softw. Eng. Methodol., 10(2):184-208, 2001.
-
(2001)
ACM Trans. Softw. Eng. Methodol
, vol.10
, Issue.2
, pp. 184-208
-
-
Graves, T.L.1
Harrold, M.J.2
Kim, J.-M.3
Porter, A.4
Rothermel, G.5
-
8
-
-
7744244490
-
An architectural blueprint for autonomic computing
-
IBM Autonomic Computing Architecture Team, Technical report, IBM, Hawthorne, NY, June
-
IBM Autonomic Computing Architecture Team. An architectural blueprint for autonomic computing. Technical report, IBM, Hawthorne, NY, June 2006.
-
(2006)
-
-
-
9
-
-
34547519373
-
-
IBM Corporation, August
-
IBM Corporation. IBM Research, 2002. http://www.research.ibm.com/ autonomic/ (August 2006).
-
(2006)
IBM Research, 2002
-
-
-
10
-
-
0037253062
-
The vision of autonomic computing
-
January
-
J. Kephart and D. Chess. The vision of autonomic computing. Computer, 36(1):41-52, January 2003.
-
(2003)
Computer
, vol.36
, Issue.1
, pp. 41-52
-
-
Kephart, J.1
Chess, D.2
-
12
-
-
34547549755
-
Autonomic computing
-
Technical report, Carnegie Mellon Univeristy and Software Engineering Institute, April
-
H. A. Muller, L. O'Brien, M. Klein, and B. Wood. Autonomic computing. Technical report, Carnegie Mellon Univeristy and Software Engineering Institute, April 2006.
-
(2006)
-
-
Muller, H.A.1
O'Brien, L.2
Klein, M.3
Wood, B.4
-
13
-
-
0003885423
-
-
Seventh Edition. Addison-Wesley, Essex, England
-
I. Sommerville. Software Engineering: Seventh Edition. Addison-Wesley, Essex, England, 2004.
-
(2004)
Software Engineering
-
-
Sommerville, I.1
-
15
-
-
0031274275
-
Software reliability via run-time result-checking
-
H. Wasserman and M. Blum. Software reliability via run-time result-checking. J. ACM, 44(6):826-849, 1997.
-
(1997)
J. ACM
, vol.44
, Issue.6
, pp. 826-849
-
-
Wasserman, H.1
Blum, M.2
-
16
-
-
34247136847
-
Model-based development of dynamically adaptive software
-
New York, NY, USA, ACM Press
-
J. Zhang and B. H. C. Cheng. Model-based development of dynamically adaptive software. In ICSE '06: Proceeding of the 28th international conference on Software engineering, pages 371-380, New York, NY, USA, 2006. ACM Press.
-
(2006)
ICSE '06: Proceeding of the 28th international conference on Software engineering
, pp. 371-380
-
-
Zhang, J.1
Cheng, B.H.C.2
-
17
-
-
77049113560
-
Enabling safe dynamic component-based software adaptation
-
J. Zhang, B. H. C. Cheng, Z. Yang, and P. K. McKinley. Enabling safe dynamic component-based software adaptation. In WADS, pages 194-211, 2004.
-
(2004)
WADS
, pp. 194-211
-
-
Zhang, J.1
Cheng, B.H.C.2
Yang, Z.3
McKinley, P.K.4
-
18
-
-
0031354777
-
Software unit testing coverage and adequacy
-
December
-
H. Zhu, P. A. V. Hall, and J. H. R. May. Software unit testing coverage and adequacy. ACM Computing Surveys, 29 (4): 366-427, December 1997.
-
(1997)
ACM Computing Surveys
, vol.29
, Issue.4
, pp. 366-427
-
-
Zhu, H.1
Hall, P.A.V.2
May, J.H.R.3
|