Automated support for repairing input-model faults

ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2010, Pages 195-204

  Mani, Senthil ^a   Sinha, Vibha Singhal ^a   Dhoolia, Pankaj ^a   Sinha, Saurabh ^a  

^a IBM RESEARCH   (United States)

Author keywords

Execution tracing; Model repair; Model driven engineering; Pattern analysis; Repair actions

Indexed keywords

AUTOMATED SUPPORT; DYNAMIC TAINTING; EMPIRICAL STUDIES; EXECUTION TRACING; INPUT MODELS; INPUT-MODEL FAULTS; MODEL REPAIR; MODEL TRANSFORMS; MODEL-DRIVEN ENGINEERING; PATTERN ANALYSIS; RUN-TIME INFORMATION;

AUTOMATION; SOFTWARE ENGINEERING;

REPAIR;

EID: 78649797687     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1858996.1859039     Document Type: Conference Paper

References (15)

1. B. Ashok, J. Joy, H. Liang, S. K. Rajamani, G. Srinivasa, and V. Vangala. Debugadvisior: A recommender system for debugging. In Proc. of the 7th joint meeting of the European Softw. Eng. Conf. and the ACM SIGSOFT Symp. on the Foundations of Softw. Eng., pages 373- 382, August 2009.
2. I. D. Baxter. Design maintenance systems. Communications of the ACM, 35(4):73-89, April 1992.
3. J. Clause, W. Li, and A. Orso. Dytan: A generic dynamic taint analysis framework. In Proc. of the Intl. Symp. on Softw. Testing and Analysis, pages 196-206, July 2007.
4. D. Čubranić, G. C. Murphy, J. Singer, and K. S. Booth. Hipikat: A project memory for software development. IEEE Transactions on Software Engineering, 31(6):446-465, June 2005.
5. B. Demsky and M. Rinard. Automatic detection and repair of errors in data structures. In Proc. of the 18th ACM SIGPLAN Conf. on Object-Oriented Prog. Syst. Lang. and Applications, pages 78-95, October 2003.
6. P. Dhoolia, S. Mani, V. S. Sinha, and S. Sinha. Debugging modeltransformation failures using dynamic tainting. In Proc. of the 24th European Conf. on Object-Oriented Prog., pages 26-51, June 2010.
7. T. Dinh-Trong, S. Ghosh, R. France, B. Baudry, and F. Fleury. A taxonomy of faults for UML models. In Proc. of the 2nd Workshop on Model Design and Validation, October 2005.
8. A. Egyed. Fixing inconsistencies in UML design models. In Proc. of the 29th Intl. Conf. on Softw. Eng., pages 292-301, May 2007.
9. A. Egyed, E. Letier, and A. Finkelstein. Generating and evaluating choices for fixing inconsistencies in UML design models. In Proc. of the 23rd Intl. Conf. on Automated Softw. Eng., pages 99-108, September 2008.
10. B. Elkarablieh, I. Garcia, Y. L. Suen, and S. Khurshid. Assertionbased repair of complex data structures. In Proc. of the 22nd Intl. Conf. on Automated Softw. Eng., pages 64-73, November 2007.
11. S. Kim, K. Pan, and E. J. Whitehead, Jr. Memories of bug fixes. In Proc. of the 14th ACM SIGSOFT Symp. on the Foundations of Softw. Eng., pages 35-45, November 2006.
12. C. Nentwich, W. Emmerich, and A. Finkelstein. Consistency management with repair actions. In Proc. of the 25th Intl. Conf. on Softw. Eng., pages 455-464, May 2003.
13. D. C. Schmidt. Model-driven engineering. IEEE Computer, 39(2): 25-31, February 2006.
14. Y. Xiong, Z. Hu, H. Zhao, H. Song, M. Takeichi, and H. Mei. Supporting automatic model inconsistency fixing. In Proc. of the the 7th joint meeting of the European Softw. Eng. Conf. and the ACM SIGSOFT Symp. on the Foundations of Softw. Eng., pages 315-324, August 2009.
15. X. Zhang, N. Gupta, and R. Gupta. Locating faults through automated predicate switching. In Proc. of the 28th Intl. Conf. on Softw. Eng., pages 272-281, May 2006.