Slicing of State-Based Models

IEEE International Conference on Software Maintenance, ICSM

Volumn , Issue , 2003, Pages 34-43

  Korel, Bogdan ^a   Singh, Inderdeep ^a   Tahat, Luay ^b   Vaysburg, Boris ^a  

^a Illinois Institute of Technology   (United States)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SOFTWARE; DATA REDUCTION;

SYSTEM MODELING;

COMPUTER SOFTWARE MAINTENANCE;

EID: 77956611615     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.2003.1235404     Document Type: Conference Paper

References (34)

1. [Apf97] Apfelbaum, L., "Spec-based Tests Make Sure Telecom Software Works," IEEE Spectrum Magazine, 34(11), pp. 77 - 83, 1997.
2. [Bou01] Bourhfir, C., Aboulhamid, E., Khendek, F., Dssouli, R., "Test Case Selection from SDL Specifications," Computer Networks, 35(6), pp. 693-708, 2001.
3. [Bud87] Budkowski, T., Dembinski, P., "An Introduction to Estelle: A Specification Language for Distributed Systems," Comp. Netw. & ISDN, 14(1), pp. 3-24, 1987.
4. [Car98] Carver, R., H., Tai, K., C., "Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs," IEEE Transactions on Software Engineering, 24(6), pp. 471 - 490, 1998.
5. [Cha94] Chang, J., Richardson, D., "Static and Dynamic Specification Slicing," in Proceedings of the Fourth Irvine Software Symposium, 1994.
6. th ACM/IEEE Design Automation Conference, pp. 86 - 91, 1993.
7. [Dal99] Dalal, S., Jain, A., Karunanithi, N., Leaton, J., Lott, C., Patton, G., Horowitz, B., "Model-based Testing and Practice," in Proceedings of the International Conference on Software Engineering (ICSE), pp. 185 - 194, 1999.
8. th International Symposium on Formal Methods, pp. 268 - 284, Springer-Verlag, April 1992.
9. [Dou99] Douglass B. P. "UML Statecharts", ESP Jan-1999. I-Logix.
10. [Dss99] Dssouli, R., Saleh, K., Aboulhamid, E., En-Nouaary, A., Bourhfir, C., "Test Development For Communication Protocols: Towards Automation," Computer Networks, 31, pp. 1835 - 1872, 1999.
11. [Fer87] Ferrante K., Ottenstein K., Warren J., "The Program Dependence Graph and its Use in Optimization," ACM Transactions on Programming Languages and Systems, 9(5), pp. 319 - 349, 1987.
12. [Fri02] Friedman, G., Hartman, A., Nagin K., Shiran, T., "Projected State Machine Coverage for Software Testing," in Proceedings of the ACM International Symposium on Software Testing and Analysis (ISSTA), pp. 134 - 143, Rome, Italy, 2002.
13. [Gal91] Gallagher, K., Lyle, J., "Using Program Slicing in Software Maintenance," IEEE Transaction on Software Engineering, 17(8), pp. 751 - 761, 1991.
14. [Gup92] Gupta, R., Harrold, M., Soffa, M., " An Approach to Regression Testing Using Slicing," in Proceeding of the IEEE International Conference on Software Maintenance (ICSM), pp. 299 - 308, 1992.
15. [Har00] Harel D. "From Play-In Scenarios to Code: An Achievable Dream. IEEE Computer, to appear. Preliminary version in Proc. Fundamental Approaches to Software Engineering (FASE), Lecture Notes in Computer Science, Vol. 1783, Springer-Verlag, Berlin, March 2000, pp. 22-34.
16. [Har87] Harel D. "Statecharts: A Visual Formalism for Complex Systems". Science of Computer Programming. Vol. 8 (1987), pp. 231-274. Is Missing Details.
17. [Hei97] Heimdahl, M., Whalen, M., "Reduction and Slicing of Hierarchical State Machines," ACM SIGSOFT Software Engineering Notes, 22(6), pp. 450 - 467, 1997.
18. th Euromicro Conference, pp. 435 - 444, Vasteras, Sweden, 1998.
19. [Hol90] Holzman, G., Design and Validation of Protocols, Prentice-Hall, 1990.
20. [Hor90] Horwitz, S., Reps, T., Binkley, D., "Interprocedural Slicing Using Dependence Graphs," Transactions on Programming Languages and Systems, 12(1), pp.386 - 395, 1990.
21. [Kor88] Korel, B., Laski, J., "Dynamic Program Slicing," Information Processing Letters, 29(3), pp. 155 - 163, 1988.
22. [Kor97] B. Korel, "Computation of Dynamic Program Slices for Unstructured Programs," IEEE Transaction on Software Engineering, 23(1), 1997, pp. 17 - 34.
23. [Kor02] Korel, B., Tahat, L., Vaysburg, B., "Model Based Regression Test Reduction Using Dependence Analysis," in Proceedings of the International IEEE Conference on Software Maintenance (ICSM), Montreal, 2002, pp. 214-223.
24. [Lee91] Lee, D., Lee, J., "A Well-Defined Estelle Specification for Automatic Test Generation," IEEE Transactions on Communications, 40, pp. 526 - 542, 1991.
25. st Conference on Empirical Studies of Programming, pp. 187 - 197, 1986.
26. th International Computer Software and Applications Conference, 1993.
27. [Sav97] Savage, P., Walters, S., Stephenson, M., "Automated Test Methodology for Operational Flight Programs," Proceedings of IEEE Aerospace Conference, vol. 4, pp. 293 - 305, 1997.
28. [Ste96] Stephenson, M., et. al., "Using Advanced Tools to Automate the Design, Generation and Execution of Formal Qualification Testing", in Proceedings of the IEEE Test Technology and Commerce Conference, pp. 160-165, 1996.
29. th Annual IEEE International Computer Software and Applications Conference (COMPSAC), pp. 489 - 495, 2001.
30. th International Conference on Testing Computer Software (TCS), Bethesda, MD, pp. 130 - 139, 2001.
31. [Vay02] Vaysburg, B., Tahat, L., Korel, B., "Dependence Analysis in Reduction of Requirement Based Test Suites," in Proceedings of the ACM International Symposium on Software Testing and Analysis (ISSTA), pp. 107 - 111, Rome, Italy, 2002.
32. [Wei82] Weiser, M., "Program Slicing," IEEE Transaction on Software Engineering, 10(4), pp. 352-357, 1982.
33. [Wag92] F. Wagner, "VFSM Executable Specification," Proc. CompEuro, 1992, pp. 226-231.
34. th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS'98, pp. 8798, 1998.