Model-based tests of truisms

Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2002, Pages 183-191

  Menzies, T ^a   Raffo, D ^b   Setamanit, S O ^b   Hu, Ying ^c   Tootoonian, S ^c  

^a WEST VIRGINIA UNIVERSITY   (United States)

^b PORTLAND STATE UNIVERSITY   (United States)

^c Dept Elec and Comp Eng ^*  (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; COST ESTIMATING; LIFE CYCLE; MODEL CHECKING; SOFTWARE ENGINEERING; SOFTWARE TESTING;

ALTERNATIVE FRAMEWORK; COST ESTIMATION MODELS; EXTENSIVE SIMULATIONS; PROCESS IMPROVEMENT; REAL-WORLD SYSTEM; SOFTWARE CONSTRUCTION; SOFTWARE LIFE CYCLES; SOFTWARE PROCESS MODELING;

DISCRETE EVENT SIMULATION;

EID: 84982069310     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2002.1115012     Document Type: Conference Paper

References (46)

1. T. Abdel-Hamid and S. Madnick. Software Project Dynamics: An Integrated Approach. Prentice-Hall Software Series, 1991.
2. C. Abts, B. Clark, S. Devnani-Chulani, E. Horowitz, R. Madachy, D. Reifer, R. Selby, and B. Steece. COCOMO II model definition manual. Technical report, Center for Software Engineering, USC,, 1998. http://sunset.usc.edu/COCOMOII/cocomox.html#downloads.
3. D. Ahern, A. Clouse, and R. Turner. CMMI Distilled. Addison-Wesley, 2001.
4. M. Akhavi and W. Wilson. Dynamic simulation of software process models. In Proceedings of the 5th Software Engineering Process Group National Meeting (Held at Costa Mesa, California, April 26-29). Software engineering Institute, Carnegie Mellon University, 1993.
5. I. Bratko. Prolog Programming for Artificial Intelligence. (third edition). Addison-Wesley, 2001.
6. A. Cass, B. S. Lerner, E. McCall, L. Osterweil, S. M. S. Jr., and A. Wise. Little-jil/juliette: A process definition language and interpreter. In Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), pages 754-757, June 2000.
7. S. Chulani, B. Boehm, and B. Steece. Bayesian analysis of empirical software engineering cost models. IEEE Transaction on Software Engineerining, 25(4), July/August 1999.
8. W. Clancey, P. Sachs, M. Sierhuis, and R. van Hoof. Brahms: Simulating practice for work systems design. In P. Compton, R. Mizoguchi, H. Motoda, and T. Menzies, editors, Proceedings PKAW '96: Pacific Knowledge Acquisition Workshop. Department of Artificial Intelligence, 1996.
9. E. Clarke, E. Emerson, and A. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, April 1986.
10. H. Dunsmore. Evidence supports some truisms, belies others. (some empirical results concerning software development). IEEE Software, pages 96-99, May 1988.
11. M. Fagan. Advances in software inspections. IEEE Trans. on Software Engineering, pages 744-751, July 1986.
12. M. Feather and T. Menzies. Converging on the optimal attainment of requirements. In IEEE Joint Conference On Requirements Engineering ICRE'02 and RE'02, 9-13th September, University of Essen, Germany, 2002. Available from http://tim.menzies.com/pdf/02re02.pdf.
13. N. E. Fenton and M. Neil. A critique of software defect prediction models. IEEE Transactions on Software Engineering, 25(5):675-689, 1999. Available from http://citeseer.nj.nec.com/fenton99critique.html.
14. N. E. Fenton and M. Neil. Software metrics: A roadmap. In A. Finkelstein, editor, Software metrics: A roadmap. ACM Press, New York, 2000. Available from http://citeseer.nj.nec.com/fenton00software.html.
15. N. E. Fenton and S. Pfleeger. Software Metrics: A Rigorous & Practical Approach (second edition). International Thompson Press, 1995.
16. W. Gutjhar. Partition vs. random testing: The influence of uncertainty. IEEE Transactions on Software Engineering, 25(5):661-674, September/October 1999.
17. D. Harel. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403-414, April 1990.
18. H. Harrell, L. Ghosh, and S. Bowden. Simulation Using Pro-Model. McGraw-Hill, 2000.
19. L. Hatton. Does oo sync with how we think? IEEE Software, pages 46-54, May/June 1998.
20. K. Havelund and T. Pressburger. Model checking java programs using java pathfinder. International Journal on Software Tools for Technology Transfer, 2(4), April 2000. Available from http://ase.arc.nasa.gov/visser/jpf/jpf1.ps.gz.
21. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 1(12):26-60, January 1990.
22. Y. Hu. Better treatment learning, 2003. Masters Thesis, Department of Electrical Engineering, University of British Columbia, in preperation.
23. Y. Iwasaki. Qualitative physics. In P. C. A. Barr and E. Feigenbaum, editors, The Handbook of Artificial Intelligence, volume 4, pages 323-413. Addison Wesley, 1989.
24. M. Kellner, R. Madachy, and D. Raffo. Software process modeling and simulation: Why, what, how,. Journal of Systems and Software, 46(2/3), 1999.
25. D. Kelton, R. Sadowski, and D. Sadowski. Simulation with Arena, second edition. McGraw-Hill, 2002.
26. A. Law and B. Kelton. Simulation Modeling and Analysis. McGraw Hill, 2000.
27. M. Lowry, M. Boyd, and D. Kulkarni. Towards a theory for integration of mathematical verification and empirical testing. In Proceedings, ASE'98: Automated Software Engineering, pages 322-331, 1998.
28. R. Madachy. Heuristic risk assessment using cost factors. IEEE Software, 14(3):51-59, May 1997.
29. R. Martin and D. M. Raffo. A model of the software development process using both continuous and discrete models. International Journal of Software Process Improvement and Practice, June/July 2000.
30. T. Menzies. Evaluation issues for visual programming languages. In S. Chang, editor, Handbook of Software Engineering and Knowledge Engineering, Volume II. World-Scientific, 2002. Available from http://tim.menzies.com/pdf/00vp.pdf.
31. T. Menzies, E. Chiang, M. Feather, Y. Hu, and J. Kiper. Condensing uncertainty via incremental treatment learning. In Annals of Software Engineering (submitted), 2002. Available from http://tim.menzies.com/pdf/02itar2.pdf.
32. T. Menzies and B. Cukic. How many tests are enough? In S. Chang, editor, Handbook of Software Engineering and Knowledge Engineering, Volume II, 2002. Available from http://tim.menzies.com/pdf/00ntests.pdf.
33. T. Menzies and Y. Hu. Reusing models for requirements engineering. In First International Workshop on Model-based Requirements Engineering, 2001. Available from http://tim.menzies.com/pdf/01reusere.pdf.
34. T. Menzies and Y. Hu. Agents in a wild world. In C. Rouff, editor, Formal Approaches to Agent-Based Systems, book chapter, 2002. Available from http://tim.menzies.com/pdf/01agents.pdf.
35. T. Menzies and Y. Hu. Just enough learning (of association rules). In WVU CSEE tech report, 2002. Available from http://tim.menzies.com/pdf/02tar2.pdf.
36. T. Menzies, J. Powell, and M. E. Houle. Fast formal analysis of requirements via 'topoi diagrams'. In ICSE 2001, 2001. Available from http://tim.menzies.com/pdf/00fastre.pdf.
37. B. Meyer. Object-oriented Software Construction. Prentice- Hall,Hemel Hemstead, 1988.
38. P. Mi and W. Scacchi. A knowledge-based environment for modeling and simulation software engineering processes. IEEE Transactions on Knowledge and Data Engineering, pages 283-294, September 1990.
39. J. Musa. Software Reliability Engineered Testing. McGraw-Hill, 1998.
40. M. Paulk, B. Curtis, M. Chrissis, and C. Weber. Capability maturity model, version 1.1. IEEE Software, 10(4):18-27, July 1993.
41. D. Raffo. Modeling software processes quantitatively and assessing the impact of potential process changes of process performance, 1995. Ph.D. thesis, Manufacturing and Operations Systems, Carnegie Mellon University.
42. D. M. Raffo, J. V. Vandeville, and R. Martin. Software process simulation to achieve higher cmm levels. Journal of Systems and Software, 46(2/3), April 1999.
43. D. Reifer. Software failure modes and effects analysis. IEEE Transactions on Reliability, pages 247-249, 1979.
44. F. Schneider, S. Easterbrook, J. Callahan, G. Holzmann, W. Reinholtz, A. Ko, and M. Shahabuddin. Validating requirements for fault tolerant systems using model checking. In 3rd IEEE International Conference On Requirements Engineering, 1998.
45. H. Sterman. Business Dynamics: Systems Thinking and Modeling for a Complex World. Irwin McGraw-Hill, 2000.
46. A. Wise, A. Cass, B. S. Lerner, E. McCall, L. Osterweil, and J. S.M. Sutton. Using little-jil to coordinate agents in software engineering. In Proceedings of the Automated Software Engineering Conference (ASE 2000) Grenoble, France., September 2000. Available from ftp://ftp.cs.umass.edu/pub/techrept/techreport/2000/UM-CS-2000-045.ps.