Model-based testing and maintenance

Proceedings - IEEE Sixth International Symposium on Multimedia Software Engineering, MSE 2004

Volumn , Issue , 2004, Pages 278-285

  Deng, D ^a   Sheu, P C Y ^a   Wang, T ^b   Onoma, A K ^c  

^a University of California at Irvine   (United States)

^b CALIFORNIA STATE UNIVERSITY   (United States)

^c HOSEI UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC UML DIAGRAM; SEMANTIC SOFTWARE DEVELOPMENT MODEL (SSDM); SOFTWARE QUALITY; SOFTWARE TESTING;

GENETIC ALGORITHMS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; SEMANTICS; SOFTWARE ENGINEERING; VISUALIZATION;

COMPUTER SOFTWARE MAINTENANCE;

EID: 20844440572     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MMSE.2004.51     Document Type: Conference Paper

References (12)

1. E. Gery, D. Harel and E. Palatshy, "A Complete Lifecycle Model-Based Development System", Proc. 3rd Int. Conf. on Integrated Formal Methods (IFM 2002; invited paper), May, 2002.
2. Harel, D. and Gery, E. Executable Object Modeling with Statecharts, IEEE Computer 30 (7). 1997, 31-42.
3. Jin-Cherng Lin, Pu-Lin Yeh, Using genetic algorithms for test case generation in path testing, Test Symposium, 2000. (ATS2000). Proceedings of the Ninth Asian, 4-6 Dec. 2000 Page(s): 241-246
4. Wegener, J., Sthamer, H., Jones, B. F., and Eyres, D. E, Testing real-time systems using genetic algorithms. Software Quality 6 (1997), 127-135.
5. B. F. Jones, D. E. Eyres, H.-H Sthamer, A strategy for using genetic algorithms to automate branch and fault-based testing, The computer Journal, Vol. 41, 1998, pp.98-107
6. R. Alur and M. Yannakakis. Model checking of hierarchical state machines. In Proceedings of the 6th A CM Symposium on Foundations of Software Engineering, 1998.
7. Y.-F. Chen, D. Rosenblum, and K.-P. Vo. Testtube: A system for selective regression testing. In Proc. 16th Int'l. Conf. Softw. Eng., pp. 211-220, May 1994.
8. Wei-Tek Tsai, Xiaoying Bai, Lian Yu, Scenario-Based Functional Regression Testing, 25th Annual International Computer Software and Applications Conference (COMPSAC'01), October 08-12, 2001.
9. Richard H. Carver, Kuo-Chung Tai, Use of sequencing constraints for specification-based testing of concurrent programs, IEEE Transaction on Software Engineering, 24(6),pp. 471-490, 1998.
10. Tahat, L.H., Vaysburg, B., Korel, B., Bader, A.J., Requirement-based automated black-box test generation, Computer Software and Applications Conference, 2001. COMPSAC 2001. 25th Annual International, pp. 489-495, 8-12 Oct. 2001.
11. Rayadurgam, S., Automated test-data generation from formal models of software, Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference, pp. 438, 26-29 Nov.2001.
12. Ray Paul, Lian Yu, Wei-Tek Tsai, Xiaoying Bai, Scenario-Based Functional Regression Testing, 25th Annual International Computer Software and Applications Conference (COMPSAC'01), p. 496, October 08-12, 2001.