Explanation based scenario generation for reactive system models

Proceedings - 13th IEEE International Conference on Automated Software Engineering, ASE 1998

Volumn 1998-October, Issue , 1998, Pages 115-124

  Hall, Robert J ^a  

^a AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HEURISTIC METHODS; HUMAN COMPUTER INTERACTION; REQUIREMENTS ENGINEERING;

EXHAUSTIVE SEARCH ALGORITHMS; FEATURE INTERACTIONS; HEURISTIC APPROACH; LIMITED DOMAINS; REQUIREMENTS ACQUISITION; REQUIREMENTS ANALYST; SAFETY PROPERTY; SCENARIO GENERATION;

SOFTWARE ENGINEERING;

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

References (20)

1. R.Alur, L.Jagadeesan, J.Kott, J.Von Olnhausen; Model checking of real-time systems: a telecommunications application; In Proc. 19th Intl. Conf. Software Eng., 1997, ACM Press, 514-524.
2. R.J. Anderson, P. Bearne, et al; Model-checking large software specifications; In ACM SIGSOFT Software Eng. Notes 21(6), Nov. 1996, 156-166.
3. R.S. Boyer & J Moore; A computational logic handbook; Academic Press, 1988.
4. T. Bultan, R. Gerber, & C. League; Verifying systems with integer constraints and boolean predicates: a composite approach; In Proc. 1998 Intl. Symp. Software Testing and Analysis, ACM SIGSOFT Software Eng. Notes 23(2), 113-123, 1998.
5. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, & L.J. Hwang; Symbolic model checking: 1020 states and beyond; Info, and Comput. 98, 142-170, 1992.
6. E.M. Clarke, J.M. Wing, et al; Formal methods: state of the art and future directions; ACM Comput. Surv. 28(4), December 1996, 626-643.
7. N. Griffeth, T. Ohta, J-C. Grégoire, & R. Blumenthal; FIW'98 Feature Interaction Detection Tool Contest; http ://www.tts.1th.se/FIH98/contest.html
8. G. DeJong and R. Mooney; Explanation-Based learning: an alternative view; Machine learning 1 (2) (1986) 145-176.
9. R.E. Fikes, P.E. Hart, and N.J. Nilsson; Learning and executing generalized robot plans; Artificial Intelligence 3 (1972) 251-288.
10. A. Gotlieb, G. Botella, & M. Rueher; Automatic test data generation using constraint solving techniques; In Proc. 1998 Intl. Symp. Software Testing and Analysis, ACM SIGSOFT Software Eng. Notes 23(2), 53-62, 1998.
11. R.J. Hall; Systematic incremental validation of reactive systems via sound scenario generalization; I. Automated Software Engineering 2(2), 131-166; Norwell, MA: Kluwer Academic, 1995.
12. R.J. Hall; Reactive system validation using automated reasoning over a fragment library; in Proc. 1997 IEEE Automated Software Engineering Conference (ASE'97). IEEE 1997.
13. R.J. Hall; How to avoid unwanted email; Comm. ACM 41(3), 88-95, March 1998.
14. R.J. Hall; Feature combination and interaction detection via foreground/background models; to appear in Proc. 1998 Intl. Workshop on Feature Interactions in Telecommunications Systems, IOS Press.
15. R.J. Hall; Complete case study data for this paper; ftp ://ftp.research.att.com/dist/hall/papers/isat/sgen2-case-study.txt (1998).
16. CL. Heitmeyer, R.D. Jeffords, & B.G. Labaw; Automated consistency checking of requirements specifications; ACM Trans. Software Eng. and Methodology 5(3), 1996, 231-261.
17. G.J. Holzmann; Design and validation of computer protocols; Englewood Cliffs, NJ: Prentice Hall, 1991.
18. S. Igerashi, R. London, & D. Luckham; Automatic program verification I: a logical basis and its implementation; Acta Informatica 4, 1974.
19. S. Minton; Quantitative results concerning the utility of explanation-based learning; Artificial Intelligence 42 (1990), 363-392.
20. C. Rich & Y. Feldman; Seven layers of knowledge representation and reasoning in support of software development; IEEE Trans, on Software Eng. 18(6), 451-469, June 1992.