Message from HASE 2007 general co-chairs

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

[2]  S. Kuball,et al.  Application of statistical testing to smart device code , 2006, RAMS '06. Annual Reliability and Maintainability Symposium, 2006..

[3]  Jeffrey M. Voas,et al.  Estimating the Probability of Failure When Testing Reveals No Failures , 1992, IEEE Trans. Software Eng..

[4]  John H R May,et al.  A discussion of statistical testing on a safety-related application , 2007 .

[5]  Carol S. Smidts,et al.  Ranking software engineering measures related to reliability using expert opinion , 2000, Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000.

[6]  David Wright,et al.  Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software , 1997, IEEE Trans. Software Eng..

[7]  Bojan Cukic,et al.  Automated Generation of Test Trajectories for Embedded Flight Control Systems , 2002, Int. J. Softw. Eng. Knowl. Eng..

[8]  Gordon Hughes,et al.  Evidential Volume Approach for Certification , 2003, Ada-Europe.