JUMBL: A tool for model-based statistical testing

Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003

Volumn , Issue , 2003, Pages

  Prowell, S J ^a  

^a UNIVERSITY OF TENNESSEE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; COST EFFECTIVENESS; STATISTICAL TESTS;

COST EFFECTIVE; J USAGE MODEL BUILDER LIBRARIES; JAVA CLASS LIBRARY; MODEL-BASED STATISTICAL TESTING; SOFTWARE QUALITY; STATISTICAL TESTING; SYSTEM RELIABILITY; USAGE MODELING;

SOFTWARE TESTING;

EID: 84969517302     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2003.1174916     Document Type: Conference Paper

References (14)

1. S. Antoy and D. Hamlet, "Automatically Checking an Implementation Against its Formal Specification," IEEE Transactions on Software Engineering, v. 26, n. 1, January 2000, pp. 55-69.
2. E.R. Gansner and S.C. North, "An Open Graph Visualization System and Its Applications to Software Engineering," Software - Practice and Experience, v. 30, n. 11, September 2000, pp. 1203-1233.
3. A.M. Gibbons, Algorithmic Graph Theory, Cambridge: Cambridge University Press, 1985.
4. M. Himsolt, "Graphlet: Design and Implementation of a Graph Editor," Software - Practice and Experience, v. 30, n. 11, September 2000, pp. 1303-1324.
5. J.G. Kemmeny and J.L. Snell, Finite Markov Chains, New York, NY: Springer-Verlag, 1976.
6. B. Littlewood and D. Wright, "Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software," IEEE Transactions on Software Engineering, v. 23, n. 11, November 1997, pp. 673-683.
7. K.W. Miller, L.J. Morell, R.E. Noonan, S.K. Park, D.M. Nicol, B.W. Murriel, and J.M. Voas, "Estimating the Probability of Failure When Testing Reveals No Failures," IEEE Transactions on Software Engineering, v. 18, n. 1, January 1992, pp. 33-44.
8. J.M. Morales, "Test Planning for Software Reuse," M.S. Thesis, Knoxville, TN: The University of Tennessee, May 1997.
9. J.H Poore, G.H. Walton, J.A. Whittaker, "A Constraint-Based Approach to the Representation of Software Usage Models," Information and Software Technology, v. 42, n. 12, 1 September 2000, pp. 825-833.
10. S.J. Prowell, "TML: A Description Language for Markov Chain Usage Models," Information and Software Technology, v. 42, n. 12, 1 September 2000, pp. 835-844.
11. S.J. Prowell, C.J. Trammell, R.C. Linger, J.H. Poore, Cleanroom Software Engineering: Technology and Process, Reading, MA: Addison-Wesley, 1999.
12. K.D. Sayre, "Improved Techniques for Software Testing Based on Markov Chain Usage Models," Ph.D. Dissertation, Knoxville, TN: The University of Tennessee, December 1999.
13. K.D. Sayre and J.H. Poore, "Stopping Criteria for Statistical Testing," Information and Software Technology, v. 42, n. 12, 1 September 2000, pp. 851-857.
14. J.A. Whittaker and J.A. Poore, "Markov Analysis of Software Specifications," ACM Transactions on Software Engineering and Methodology, January 1993, pp. 93-106.