Software architecture-based analysis and testing: a look into achievements and future challenges

[1] Allen R(1997)A formal basis for architectural connection ACM Trans Softw Eng Methodol 6 213-249

[2] Garlan D(2004)Basic concepts and taxonomy of dependable and secure computing IEEE Trans Dependable Sec Comput 1 11-33

[3] Avizienis A(2004)Model-based performance prediction in software development: A survey IEEE Trans. Software Eng. 30 295-310

[4] Laprie J-C(2012)Enhancing service federation trustworthiness through online testing IEEE Computer 45 66-72

[5] Randell B(2009)Architecting fault tolerance with exception handling: verification and validation J Comput Sci Technol 24 212-237

[6] Landwehr CE(2012)Architecture-based reliability prediction with the palladio component model IEEE Trans Softw Eng 38 1319-1339

[7] Balsamo S(2000)Using a coordination language to specify and analyze systems containing mobile components ACM Trans Softw Eng Methodol 9 167-198

[8] Di Marco A(2006)On relating functional specifications to architectural specifications: a case study Sci Comput Program 59 171-208

[9] Inverardi P(2004)Analyzing the effectiveness of fault-management architectures in layered distributed systems Perform Eval 56 93-120

[10] Simeoni M(2004)Analysing failure behaviours in component interaction J Syst Softw 71 97-115

[1] Allen R(1997)A formal basis for architectural connection ACM Trans Softw Eng Methodol 6 213-249

[2] Garlan D(2004)Basic concepts and taxonomy of dependable and secure computing IEEE Trans Dependable Sec Comput 1 11-33

[3] Avizienis A(2004)Model-based performance prediction in software development: A survey IEEE Trans. Software Eng. 30 295-310

[4] Laprie J-C(2012)Enhancing service federation trustworthiness through online testing IEEE Computer 45 66-72

[5] Randell B(2009)Architecting fault tolerance with exception handling: verification and validation J Comput Sci Technol 24 212-237

[6] Landwehr CE(2012)Architecture-based reliability prediction with the palladio component model IEEE Trans Softw Eng 38 1319-1339

[7] Balsamo S(2000)Using a coordination language to specify and analyze systems containing mobile components ACM Trans Softw Eng Methodol 9 167-198

[8] Di Marco A(2006)On relating functional specifications to architectural specifications: a case study Sci Comput Program 59 171-208

[9] Inverardi P(2004)Analyzing the effectiveness of fault-management architectures in layered distributed systems Perform Eval 56 93-120

[10] Simeoni M(2004)Analysing failure behaviours in component interaction J Syst Softw 71 97-115