Retracted and replaced: Software component composition: a subdomain-based testing foundation

The following article from Software Testing, Verification and Reliability, Software component composition: a subdomain-based testing foundation by Dick Hamlet published online on 14 June 2007 in Wiley InterScience (), has been retracted by agreement between the author, the journal Editor-in-Chief Jeff Offutt and John Wiley & Sons, Ltd. The retraction has been agreed because the article was not ready for publication and an early version without revisions was published in error. Replacement article DOI: 10.1002/stvr.376. Copyright © 2007 John Wiley & Sons, Ltd.

[1]  Richard G. Hamlet.  On subdomains: Testing, profiles, and components , 2000, ISSTA '00.

[2]  R. Taylor,et al.  Partition testing does not inspire confidence , 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.

[3]  Harlan D. Mills,et al.  Principles of computer programming : a mathematical approach , 1987 .

[4]  Aaron G. Cass,et al.  Testing a safety-critical application , 1994, ISSTA '94.

[5]  Elaine J. Weyuker,et al.  Testing Component-Based Software: A Cautionary Tale , 1998, IEEE Softw..

[6]  Sarfraz Khurshid,et al.  Korat: automated testing based on Java predicates , 2002, ISSTA '02.

[7]  S. L. Gerhart,et al.  Toward a theory of test data selection , 1975, IEEE Transactions on Software Engineering.

[8]  Richard G. Hamlet,et al.  Theory of software reliability based on components , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[9]  Karl Meinke,et al.  Automated black-box testing of functional correctness using function approximation , 2004, ISSTA '04.

[10]  C. A. R. HOARE,et al.  An axiomatic basis for computer programming , 1969, CACM.

[11]  Corrado Böhm,et al.  Flow diagrams, turing machines and languages with only two formation rules , 1966, CACM.

[12]  Harlan D. Mills,et al.  Theory of Modules , 1987, IEEE Transactions on Software Engineering.

[13]  Michael D. Ernst,et al.  Automatic generation of program specifications , 2002, ISSTA '02.

[14]  Joseph A. Goguen,et al.  Software Engineering with OBJ , 2000, Advances in Formal Methods.

[15]  Daniel Jackson,et al.  Alloy: a lightweight object modelling notation , 2002, TSEM.

[16]  Aditya P. Mathur,et al.  On the estimation of reliability of a software system using reliabilities of its components , 1997, Proceedings The Eighth International Symposium on Software Reliability Engineering.

[17]  Dick Hamlet.  When only random testing will do , 2006, RT '06.

[18]  William E. Howden,et al.  Methodology for the Generation of Program Test Data , 1975, IEEE Transactions on Computers.

[19]  Ralf H. Reussner,et al.  Reliability prediction for component-based software architectures , 2003, J. Syst. Softw..

[20]  Simeon C. Ntafos,et al.  An Evaluation of Random Testing , 1984, IEEE Transactions on Software Engineering.

[21]  B. Littlewood.  Software Reliability Model for Modular Program Structure , 1979, IEEE Transactions on Reliability.

[22]  Dick Hamlet.  Subdomain testing of units and systems with state , 2006, ISSTA '06.

[23]  Ricky W. Butler,et al.  The infeasibility of experimental quantification of life-critical software reliability , 1991 .

[24]  Elaine J. Weyuker,et al.  An Extended Domain-Bases Model of Software Reliability , 1988, IEEE Trans. Software Eng..

[25]  John H. R. May,et al.  Building a system failure rate estimator by identifying component failure rates , 1999, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443).

[26]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[27]  Denise M. Woit,et al.  Probabilistic program analysis for software component reliability , 2002 .

[28]  Amer Diwan,et al.  Discovering Algebraic Specifications from Java Classes , 2003, ECOOP.

[29]  Dick Hamlet,et al.  Software Component Dependability - a Subdomain-based Theory , 1996 .

[30]  Paul Ammann,et al.  Data Diversity: An Approach to Software Fault Tolerance , 1988, IEEE Trans. Computers.

[31]  Peter T. Popov.  Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components , 2002, SAFECOMP.

[32]  Joseph A. Goguen,et al.  Software Engineering with Obj: Algebraic Specification In Action , 2010 .

[33]  C. A. R. Hoare,et al.  Proof of correctness of data representations , 1972, Acta Informatica.

[34]  Heinz W. Schmidt,et al.  Trustworthy components - compositionality and prediction , 2003, J. Syst. Softw..

[35]  David S. Rosenblum.  Adequate Testing of Component-Based Software , 1997 .

[36]  Ralf H. Reussner.  Using Parameterised Contracts to Predict Properties of Component Based Software Architectures , 2002 .

[37]  John V. Guttag,et al.  Abstract data types and the development of data structures , 1977, CACM.

[38]  John D. Musa,et al.  Operational profiles in software-reliability engineering , 1993, IEEE Software.

[39]  Dick Hamlet,et al.  Properties of Software Systems Synthesized from Components , 2004 .

[40]  Robert W. Floyd,et al.  Assigning Meanings to Programs , 1993 .

[41]  Marija Mikic-Rakic,et al.  A Family of Software Architecture Implementation Frameworks , 2002, WICSA.

[42]  Manuel Blum,et al.  Designing programs that check their work , 1989, STOC '89.

[43]  Bojan Cukic,et al.  A Bayesian approach to reliability prediction and assessment of component based systems , 2001, Proceedings 12th International Symposium on Software Reliability Engineering.

[44]  Dick Hamlet,et al.  Continuity in software systems , 2002, ISSTA '02.

[45]  William E. Howden,et al.  Reliability of the Path Analysis Testing Strategy , 1976, IEEE Transactions on Software Engineering.