-
1
-
-
33747894060
-
-
Allen, R.J., Douence R., Garlan, D., 1998. Specifying and analyzing dynamic software architectures. In: Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE'98), March.
-
-
-
-
2
-
-
15844362342
-
-
Apiwattanapong, T., Orso, A., Harrold, M.J., 2004. A differencing algorithm for objectoriented programs. In: Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), September, Linz, Austria, pp. 2-13.
-
-
-
-
3
-
-
33747891011
-
-
Bernardo, M., Inverardi, P., 2003. Formal Methods for Software Architectures, Tutorial Book on Software Architectures and Formal Methods. SFM-03:SA Lectures, LNCS, vol. 2804.
-
-
-
-
4
-
-
34247379329
-
-
Bertolino, A., Inverardi, P., Muccini, H., 2003. Formal Methods for Software Architectures, Tutorial Book on Software Architectures and Formal Methods, SFM-03:SA Lectures, LNCS, vol. 2804, pp. 122-147.
-
-
-
-
5
-
-
0035160585
-
-
Beydeda, S., Gruhn, V., 2001. Integrating white- and black-box techniques for class-level regression testing. In: Proceedings of the COMPSAC 2001, pp. 357-362.
-
-
-
-
7
-
-
35048866565
-
-
Bucchiarone, A., Muccini, H., Pelliccione, P., Pierini., P., 2004. Model-checking plus testing: from software architecture analysis to code testing. In: Proceedings of the International Testing Methodology Workshop, October, Lecture Notes in Computer Science, LNCS, vol. 3236, pp. 351-365.
-
-
-
-
8
-
-
1642585468
-
Use of sequencing constraints for specification-based testing of concurrent programs
-
Carver R.H., and Tai K.-C. Use of sequencing constraints for specification-based testing of concurrent programs. IEEE Transactions on Software Engineering 24 6 (1998) 471-490
-
(1998)
IEEE Transactions on Software Engineering
, vol.24
, Issue.6
, pp. 471-490
-
-
Carver, R.H.1
Tai, K.-C.2
-
9
-
-
84874150452
-
-
Dias, M, Vieira, M., 2000. Software architecture analysis based on statechart semantics. In: Proceedings of the 10th International Workshop on Software Specification and Design (IWSSD-10), San Diego, USA, November, pp. 133-137.
-
-
-
-
10
-
-
0033697632
-
-
Dias, M., Vieira, M., Richardson, D.J., 2000. Analyzing software architecture with Argus-I. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, June, pp. 758-761.
-
-
-
-
11
-
-
85015362530
-
Automating the generation and sequencing of test cases from model-based specifications
-
FME'93: Industrial-Strength Formal Methods. Woodcock J.C.P., and Larsen P.G. (Eds), Springer-Verlag
-
Dick J., and Faivre A. Automating the generation and sequencing of test cases from model-based specifications. In: Woodcock J.C.P., and Larsen P.G. (Eds). FME'93: Industrial-Strength Formal Methods. LNCS vol. 670 (1993), Springer-Verlag 268-284
-
(1993)
LNCS
, vol.670
, pp. 268-284
-
-
Dick, J.1
Faivre, A.2
-
13
-
-
33747890413
-
-
FC2Tools. Available from: .
-
-
-
-
14
-
-
33747886862
-
-
Fujaba Project. Available from: , 2005. University of Paderborn, Software Engineering Group.
-
-
-
-
15
-
-
85018897872
-
-
Garlan, D., 2000. Software architecture: a roadmap. In: Finkelstein, A., (Ed.), ACM ICSE 2000, The Future of Software Engineering, pp. 91-101.
-
-
-
-
16
-
-
0031597165
-
-
Graves, T.L., Harrold, M.J., Kim, J.-M., Porter, A., Rothermel, G., 1998. An Empirical Study of Regression Test Selection Techniques. In: Proceedings of the 20th International Conference on Software Engineering (ICSE'98), Japan, April, pp. 188-197.
-
-
-
-
17
-
-
33747890296
-
-
Harrold, M.J., 1998. Architecture-based regression testing of evolving systems. In: Proceedings of the International Workshop on the Role of Software Architecture in Testing and Analysis - ROSATEA 98, July, pp. 73-77.
-
-
-
-
18
-
-
85006005681
-
-
Harrold, M.J., 2000. Testing: a roadmap. In: Finkelstein, A., (Ed.), ACM ICSE 2000, The Future of Software Engineering, pp. 61-72.
-
-
-
-
19
-
-
77956617479
-
-
Harrold, M.J., Orso, A., Rosenblum, D., Rothermel, G., Soffa, M.L., Do, H., 2001. Using Component Metadata to Support the Regression Testing of Component-Based Software. In: Proceedings of the International Conference on Software Maintenance, November.
-
-
-
-
20
-
-
33747877357
-
-
Ivers, J., Clements, P., Garlan, D., Nord, R., Schmerl, B., Silva, J.R.O., 2004. Documenting Component and Connector Views with UML 2.0. Technical Report CMU/SEI-2004- TR-008, Carnegie Mellon University, Software Engineering Institute.
-
-
-
-
21
-
-
84974661208
-
-
Jaring, M., Bosch, J., 2002. Representing variability in software product lines: a case study. In: SPLC, pp. 15-36.
-
-
-
-
23
-
-
33747887405
-
-
Kramer, J., Magee, J., 1998. Analysing dynamic change in software architectures: a case study. In: Proceedings of the 4th IEEE International Conference on Configurable Distributed Systems, May.
-
-
-
-
24
-
-
84976701544
-
Developing an object-oriented software testing and maintenance environment
-
Kung D., Gao J., Hsia P., Toyoshima Y., Chen C., Kim Y., and Song Y. Developing an object-oriented software testing and maintenance environment. Communications of the ACM October (1995)
-
(1995)
Communications of the ACM
, Issue.October
-
-
Kung, D.1
Gao, J.2
Hsia, P.3
Toyoshima, Y.4
Chen, C.5
Kim, Y.6
Song, Y.7
-
25
-
-
0033892696
-
A classification and comparison framework for software architecture description languages
-
Medvidovic N., and Taylor R.N. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering 26 1 (2000)
-
(2000)
IEEE Transactions on Software Engineering
, vol.26
, Issue.1
-
-
Medvidovic, N.1
Taylor, R.N.2
-
28
-
-
34247378928
-
-
Muccini, H., Dias, M., Richardson, D., 2004. Systematic testing of software architectures in the c2 style. In: Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE 2004), ETAPS2004, volume Lecture Notes in Computer Science, Barcelona, Spain, LNCS, vol. 2984.
-
-
-
-
29
-
-
33747875606
-
-
Nisio, N.D., Cardone, M., Muccini, H., 2005. SA-based model checking and testing vs. traditional approaches: an experience on the NIS. In: ESA/ESOC Ground Operation Software System (EGOS) Workshop, Darmstadt, Germany, November.
-
-
-
-
30
-
-
33747886742
-
-
Object Management Group (OMG). OMG/Model Driven Architecture - A Technical Perspective, 2001. OMG Document: ormsc/01-07-01.
-
-
-
-
31
-
-
0031597162
-
-
Oreizy, P., Medvidovic, N., Taylor, R., 1998. Architecture-based runtime software evolution. In: Proceedings of the International Conference on Software Engineering, ICSE 98, Kyoto, Japan, April.
-
-
-
-
32
-
-
15844405025
-
-
Orso, A., Shi, N., Harrold, M.J., 2004. Scaling regression testing to large software systems. In: Proceedings of the 12th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2004), Newport Beach, CA, USA, November, pp. 241-252.
-
-
-
-
34
-
-
0028166442
-
-
Rothermel, G., Harrold, M.J., 1994. A framework for evaluating regression test selection techniques. In: Proceedings of the 16th International Conference on Software Engineering, ICSE 1994, Sorrento, Italy, May, pp. 201-210.
-
-
-
-
35
-
-
33747885865
-
-
The C2 Architectural Style. Available from: .
-
-
-
-
36
-
-
33747875836
-
-
Watson, A.H., McCabe, T.J., 1996. Structured testing: a testing methodology using the cyclomatic complexity metric. NIST Special Publication 500-235, August.
-
-
-
-
37
-
-
0033334512
-
-
Wu, Y., Chen, M.H., Kao, H.M., 1999. Regression testing of object-oriented programs. In: Proceedings of the International Symposium on Software Reliability.
-
-
-
-
38
-
-
0034504970
-
-
Wu, Y., Pan, D., Chen, M.H., 2000. Techniques of maintaining evolving component-based software. In: IEEE Proceedings of the International Conference on Software Maintenance.
-
-
-
|