High assurance software testing in business and dod

Journal of Integrated Design and Process Science

Volumn 6, Issue 2, 2002, Pages 107-114

  Sahinoglu, Mehmet ^a   Bayrak, Coskun ^b   Cummings, Timothy ^c  

^a TROY UNIVERSITY   (United States)

^b University of Arkansas at Little Rock ^*  (United States)

^c Maxwell Gunter AFB   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85013579099     PISSN: 10920617     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (12)

1. Bayrak C., Sahinoglu M., Cummings T., 2000, "High Assurance Software Testing Business and DoD," Proceedings of HASE-2000, Albuquerque, NM, pp. 207-211.
2. Cummings, T., 2000, "A New Scientific Business Engineering Paradigm for Software Agencies," Master of Science Thesis in Computer and Information Science, Troy State University Montgomery, Montgomery, AL.
3. Chen T., Sahinoglu, M., Mayrhauser, A., Hajjar, A., Anderson C., 1999, "How Much Testing is Enough? Applying International Symposium on High-Assurance Systems Engineering (HASE), Washington D.C, pp. 249-256.
4. Chen T., Sahinoglu M., Mayrhauser, A., Hajjar, A., Anderson C., 2000, "Achieving the Quality of Verification for Behavioral Models with Minimum Effort," Proceedings of the IEEE First International Symposium on Quality Electronic Design, San Jose, pp. 234-239.
5. Randolph, P., Sahinoglu, M., 1995, "A Compound Poisson Stopping Rule," J.Applied Stochastic Models and Data Analysis, Vol. 11, pp. 135-143.
6. Sahinoglu, M., 1992, "Compound-Poisson Software Reliability Model," IEEE Trans. Software Engineering, Vol. 1975, pp. 624-630.
7. Sahinoglu, M., 1997, "Alternative Parameter Estimation Methods for the Compound Poisson Software Reliability Model with Clustered Failure Data," STVR (J. Software Testing Reliability and Verification) Vol. 17, pp. 35-57.
8. Sahinoglu, M., von Mayrhauser A., Chen T., Hajjar A., Anderson Ch., 1999, "On the Efficiency of a Compound Poisson Stopping Rule For Mixed Strategy Testing," IEEE Aerospace Proceedings, Snowmass, Colorado, Track#7.
9. Sahinoglu, M. Al-Khalidi, A, 1997, "A Bayesian Stochastic Stopping Rule for a Compound Poisson LSD Distribution and Application to Software Testing," ISBA Meeting-Satellite to ISI-97, Istanbul, pp. 16-18.
10. Sahinoglu, M., Al-Khalidi, A., 1999, "A Stopping Rule for Time-Domain Software Testing," Proceedings of ISSRE99, Boca Raton, Florida, pp. 11-12.
11. Sahinoglu M., 2002, "Sahinoglu Software Reliability Model-JPL Data," Abstract Proceedings of The Sixth World Conference on Integrated Design and Process Technology, Doubletree Hotel, Pasadena, California; p.62.
12. Sahinoglu M., Glover S., 2002 "An Algorithmic Stopping Rule in Software Branch Coverage Testing", Abstract Proceedings of The Sixth World Conference on Integrated Design and Process Technology, Doubletree Hotel, Pasadena, California; p.71.