Debugging model-transformation failures using dynamic tainting

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6183 LNCS, Issue , 2010, Pages 26-51

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

^a IBM RESEARCH   (United States)

Author keywords

dynamic tainting; fault localization; input model faults; Model driven engineering

Indexed keywords

EMPIRICAL STUDIES; FAULT LOCALIZATION; HIGH DEGREE OF ACCURACY; INPUT MODELS; MODEL ELEMENTS; MODEL-DRIVEN ENGINEERING; ON DYNAMICS; SEARCH SPACES; SOFTWARE APPLICATIONS;

WAVELET TRANSFORMS;

OBJECT ORIENTED PROGRAMMING;

EID: 77955014521     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14107-2_3     Document Type: Conference Paper

References (23)

1. Agrawal, H., DeMillo, R.A., Spafford, E.H.: Debugging with dynamic slicing and backtracking. Software-Practice and Experience 23(6), 589-616 (1993)
2. Agrawal, H., Horgan, J.R., London, S., Wong, W.E.: Fault localization using execution slices and dataflow tests. In: Proc. of the Intl. Symp. on Softw. Reliability Eng., pp. 143-151 (1995)
3. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers, Principles, Techniques, and Tools. Addison-Wesley Publishing Company, Reading (1986)
4. Baxter, I.D.: Design maintenance systems. ACM Commun. 35(4), 73-89 (1992)
5. Clause, J., Li, W., Orso, A.: Dytan: A generic dynamic taint analysis framework. In: Proc. of the Intl. Symp. on Softw. Testing and Analysis, pp. 196-206 (2007)
6. Clause, J., Orso, A.: Penumbra: Automatically identifying failure-relevant inputs using dynamic tainting. In: Proc. of the Intl. Symp. on Softw. Testing and Analysis, pp. 249-259 (2009)
7. Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: Proc. of the OOPSLA 2003 Workshop on Generative Techniques in the Context of Model-Driven Architecture (2003)
8. DeMillo, R.A., Pan, H., Spafford, E.H.: Critical slicing for software fault localization. In: Proc. of the Intl. Symp. on Softw. Testing and Analysis, pp. 121-134 (1996)
9. Dinh-Trong, T., Ghosh, S., France, R., Baudry, B., Fleury, F.: A taxonomy of faults for UML models. In: Proc. of the 2nd Workshop on Model Design and Validation (2005)
10. Drivalos, N., Kolovos, D., Paige, R., Fernandes, K.: Engineering a DSL for software traceability. Software Language Engineering, 151-167 (2009)
11. Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. ACM Trans. Progr. Lang. Syst. 9(3), 319-349 (1987)
12. Halfond, W., Orso, A., Manolios, P.: Using positive tainting and syntax-aware evaluation to counter SQL injection attacks. In: Proc. of the ACMSIGSOFT Symp. on the Foundations of Softw. Eng., pp. 175-185 (November 2006)
13. Jones, J.A., Harrold, M.J., Stasko, J.: Visualization of test information to assist fault localization. In: Proc. of the 24th Intl. Conf. on Softw. Eng., pp. 467-477 (May 2002)
14. Kolovos, D.: Establishing correspondences between models with the epsilon comparison language. In: Model Driven Architecture-Foundations and Applications, pp. 146-157
15. Korel, B., Laski, J.: Dynamic program slicing. Information Processing Letters 29(3), 155-163 (1988)
16. Masri, W., Podgurski, A., Leon, D.: Detecting and debugging insecure information flows. In: Proc. of the Intl. Symp. on Softw. Reliability Eng., pp. 198-209 (2004)
17. Newsome, J., Song, D.X.: Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In: Proc. of the Network and Distributed System Security Symp. (2005)
18. Offutt, J., Xu, W.: Generating test cases for web services using data perturbation. Softw. Eng. Notes 29(5), 1-10 (2004)
19. Renieres, M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: Proc. of the 18th Intl. Conf. on Automated Softw. Eng., pp. 30-39 (2003)
20. Schmidt, D.C.: Model-driven engineering. IEEE Computer 39(2), 25-31 (2006)
21. Sterling, C.D., Olsson, R.A.: Automated bug isolation via program chipping. Software-Practice and Experience 37(10), 1061-1086 (2007)
22. Van Gorp, P., Keller, A., Janssens, D.: Transformation language integration based on profiles and higher order transformations. In: Gaševič, D., Lámmel, R., Van Wyk, E. (eds.) SLE 2008. LNCS, vol.5452, pp. 208-226. Springer, Heidelberg (2009)
23. Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. IEEE Trans. Software Eng. 28(2), 183-200 (2002)