R. Abreu, P. Zoeteweij, and A. J. Van-gemund, An Evaluation of Similarity Coefficients for Software Fault Localization, 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06), pp.39-46, 2006.
DOI : 10.1109/PRDC.2006.18

R. Abreu, P. Zoeteweij, and A. J. Van-gemund, On the accuracy of spectrumbased fault localization, Testing: Academic and Industrial Conference Practice and Research Techniques -MUTATION, pp.89-98, 2007.

P. Agarwal and A. P. , Fault-localization techniques for software systems, ACM SIGSOFT Software Engineering Notes, vol.39, issue.5, pp.1-8, 2014.
DOI : 10.1145/2659118.2659125

H. Agrawal, R. A. Demillo, and E. H. Spafford, Debugging with dynamic slicing and backtracking. Software Practice and Experience, pp.589-616, 1993.
DOI : 10.1002/spe.4380230603
URL : http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/./vol23/issue6/spe832.pdf

H. Agrawal and J. R. Horgan, Dynamic program slicing, Proc. of ACM SIG- PLAN 1990 Conference on Programming Language Design and Implementation, PLDI '90, pp.246-256, 1990.

S. Artzi, J. Dolby, S. H. Jensen, A. Moller, and F. Tip, A framework for automated testing of javascript web applications, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.571-580, 2011.
DOI : 10.1145/1985793.1985871

S. Artzi, J. Dolby, F. Tip, and M. Pistoia, Directed test generation for effective fault localization, Proceedings of the 19th international symposium on Software testing and analysis, ISSTA '10, pp.49-60, 2010.
DOI : 10.1145/1831708.1831715

S. Artzi, J. Dolby, F. Tip, and M. Pistoia, Fault localization for dynamic web applications. Software Engineering, IEEE Transactions on, vol.38, issue.2, pp.314-335, 2012.
DOI : 10.1109/tse.2011.76

S. Artzi, A. Kiezun, J. Dolby, F. Tip, D. Dig et al., Finding bugs in web applications using dynamic test generation and explicit-state model checking. Software Engineering, IEEE Transactions on, vol.36, issue.4, pp.474-494, 2010.
DOI : 10.1109/tse.2010.31
URL : http://people.csail.mit.edu/mernst/pubs/bugs-webapps-tse2010.pdf

T. Ball, M. Naik, and S. K. Rajamani, From symptom to cause: Localizing errors in counterexample traces, Proc. of 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '03, pp.97-105, 2003.

S. Becker, H. Koziolek, and R. Reussner, The Palladio component model for model-driven performance prediction, Journal of Systems and Software, vol.82, issue.1, pp.3-22, 2009.
DOI : 10.1016/j.jss.2008.03.066

S. Becker, L. Grunske, R. Mirandola, and S. Overhage, Performance Prediction of Component-Based Systems, Architecting Systems with Trustworthy Components, pp.169-192, 2006.
DOI : 10.1016/j.entcs.2005.04.036

F. Brüseke, H. Wachsmuth, G. Engels, and S. Becker, PBlaman: performance blame analysis based on Palladio contracts, Concurrency and Computation: Practice and Experience, vol.5581, issue.6, pp.1975-2004, 2014.
DOI : 10.1007/978-3-642-02351-4_4

M. Y. Chen, E. Kiciman, E. Fratkin, A. Fox, and E. Brewer, Pinpoint: problem determination in large, dynamic Internet services, Proceedings International Conference on Dependable Systems and Networks, pp.595-604, 2002.
DOI : 10.1109/DSN.2002.1029005

J. Christ, E. Ermis, M. Schäf, and T. Wies, Flow-Sensitive Fault Localization, Verification, Model Checking, and Abstract Interpretation, pp.189-208, 2013.
DOI : 10.1007/978-3-642-35873-9_13
URL : http://cs.nyu.edu/wies/publ/flow-sensitive_fault_localization.pdf

E. Clarke, D. Kroening, and F. Lerda, A Tool for Checking ANSI-C Programs, Tools and Algorithms for the Construction and Analysis of Systems, pp.168-176, 2004.
DOI : 10.1007/978-3-540-24730-2_15

H. Cleve and A. Zeller, Locating causes of program failures, Proc. of 27th International Conference on Software Engineering, ICSE '05, pp.342-351, 2005.
DOI : 10.1145/1062455.1062522
URL : http://pag.csail.mit.edu/reading-group/cleve05locating.pdf

I. Crnkovic, M. R. Chaudron, and S. Larsson, Component-based development process and component lifecycle, ICSEA, p.44, 2006.
DOI : 10.1109/icsea.2006.261300
URL : http://cit.fer.hr/index.php/CIT/article/download/1586/1290/

V. Dallmeier, C. Lindig, and A. Zeller, Lightweight Defect Localization for Java, ECOOP 2005 -Object-Oriented Programming, pp.528-550, 2005.
DOI : 10.1007/11531142_23
URL : https://www.st.cs.uni-saarland.de/~dallmeier/pub/papers/ecoop05.pdf

B. Dutertre, Yices??2.2, Computer Aided Verification, pp.737-744, 2014.
DOI : 10.1007/978-3-319-08867-9_49

G. Engels, B. Güldali, C. Soltenborn, and H. Wehrheim, Assuring Consistency of Business Process Models and Web Services Using Visual Contracts, LNCS, vol.44, issue.1, pp.17-31, 2007.
DOI : 10.1147/sj.441.0047
URL : http://is.uni-paderborn.de/uploads/tx_sibibtex/Assuring_Consistency_of_Business_Process_Models_and_Web_Services_using_Visual_Contracts.pdf

E. Ermis, M. Schäf, and T. Wies, Error Invariants, FM 2012: Formal Methods, pp.187-201, 2012.
DOI : 10.1007/978-3-642-32759-9_17

A. Groce, S. Chaki, D. Kroening, and O. Strichman, Error explanation with distance metrics, International Journal on Software Tools for Technology Transfer, vol.28, issue.2, pp.229-247, 2006.
DOI : 10.1007/s10009-005-0202-0

A. Groce and D. Kroening, Making the Most of BMC Counterexamples, Electronic Notes in Theoretical Computer Science, vol.119, issue.2, pp.67-81, 2005.
DOI : 10.1016/j.entcs.2004.12.023

M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteria, Proceedings of 16th International Conference on Software Engineering, pp.191-200, 1994.
DOI : 10.1109/ICSE.1994.296778

J. A. Jones and M. J. Harrold, Empirical evaluation of the tarantula automatic faultlocalization technique, Proc. of 20th IEEE/ACM International Conference on Automated Software Engineering, ASE '05, pp.273-282, 2005.

J. A. Jones, M. J. Harrold, and J. Stasko, Visualization of test information to assist fault localization, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.467-477, 2002.
DOI : 10.1145/581396.581397

M. Jose and R. Majumdar, Cause clue clauses, ACM SIGPLAN Notices, vol.46, issue.6, pp.437-446, 2011.
DOI : 10.1145/1993316.1993550

M. Jose and R. Majumdar, Cause clue clauses: Error localization using maximum satisfiability, Proc. of 32Nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '11, pp.437-446, 2011.

R. Könighofer and R. Bloem, Automated error localization and correction for imperative programs, Proc. of International Conference on Formal Methods in Computer-Aided Design, pp.91-100, 2011.

B. Korel and J. Laski, Dynamic program slicing, Information Processing Letters, vol.29, issue.3, pp.155-163, 1988.
DOI : 10.1016/0020-0190(88)90054-3
URL : http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.158.9078&rep=rep1&type=pdf

S. Lamraoui and S. Nakajima, A Formula-Based Approach for Automatic Fault Localization of Imperative Programs, Formal Methods and Software Engineering, pp.251-266
DOI : 10.1007/978-3-319-11737-9_17

B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan, Bug isolation via remote program sampling, ACM SIGPLAN Notices, vol.38, issue.5, pp.141-154, 2003.
DOI : 10.1145/780822.781148

B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan, Bug isolation via remote program sampling, Proc. of ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, PLDI '03, pp.141-154, 2003.
DOI : 10.1145/781131.781148

B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan, Scalable statistical bug isolation, Proc. of 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '05, pp.15-26, 2005.
DOI : 10.1145/1065010.1065014

B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan, Scalable statistical bug isolation, ACM SIGPLAN Notices, vol.40, issue.6, pp.15-26, 2005.
DOI : 10.1145/1064978.1065014

C. Mao, Slicing Web service-based software, 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA), pp.1-8, 2009.
DOI : 10.1109/SOCA.2009.5410460

Y. Minamide, Static approximation of dynamically generated Web pages, Proceedings of the 14th international conference on World Wide Web , WWW '05, pp.432-441, 2005.
DOI : 10.1145/1060745.1060809
URL : http://www.www2005.org/cdrom/docs/p432.pdf

R. Mirandola, P. Potena, E. Riccobene, and P. Scandurra, A reliability model for Service Component Architectures, Journal of Systems and Software, vol.89, pp.109-127, 2014.
DOI : 10.1016/j.jss.2013.11.002

M. Renieres and S. P. Reiss, Fault localization with nearest neighbor queries, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., pp.30-39, 2003.
DOI : 10.1109/ASE.2003.1240292
URL : http://www.cs.brown.edu/people/er/papers/./renieris-ase2003.pdf

W. Schäfer and H. Wehrheim, Model-driven development with mechatronic UML

I. Vessey, Expertise in Debugging Computer Programs: An Analysis of the Content of Verbal Protocols, IEEE Transactions on Systems, Man, and Cybernetics, vol.16, issue.5, pp.621-637, 1986.
DOI : 10.1109/TSMC.1986.289308

S. Walther and H. Wehrheim, Knowledge-Based Verification of Service Compositions -- An SMT Approach, 2013 18th International Conference on Engineering of Complex Computer Systems, pp.24-32, 2013.
DOI : 10.1109/ICECCS.2013.14
URL : http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/Knowledge-based_Verification_of_Service.pdf

G. Wassermann, D. Yu, A. Chander, D. Dhurjati, H. Inamura et al., Dynamic test input generation for web applications, Proceedings of the 2008 international symposium on Software testing and analysis, ISSTA '08, pp.249-260, 2008.
DOI : 10.1145/1390630.1390661

M. Weiser, Program Slicing, Proc. of 5th International Conference on Software Engineering, ICSE '81, pp.439-449, 1981.
DOI : 10.1109/TSE.1984.5010248

W. E. Wong and V. Debroy, A Survey on Software Fault Localization, IEEE Transactions on Software Engineering, vol.42, issue.8, 2009.
DOI : 10.1109/TSE.2016.2521368
URL : http://www.utdallas.edu/%7Eewong/fault-localization-survey.pdf

F. Wotawa, M. Nica, and I. Moraru, Automated debugging based on a constraint model of the program and a test case, The Journal of Logic and Algebraic Programming, vol.81, issue.4, pp.390-407, 2009.
DOI : 10.1016/j.jlap.2012.03.002

A. Zeller, Yesterday, my program worked. today, it does not. why, ESEC/FSE, pp.253-267, 1999.
DOI : 10.1145/318774.318946
URL : http://www.infosun.fmi.uni-passau.de/st/papers/tr-99-01/tr-99-01.ps.gz

A. Zeller, Isolating cause-effect chains from computer programs, Proc. of 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT '02/FSE-10, pp.1-10, 2002.
DOI : 10.1145/587051.587053

A. Zeller and R. Hildebrandt, Simplifying and isolating failure-inducing input, IEEE Transactions on Software Engineering, vol.28, issue.2, pp.183-200, 2002.
DOI : 10.1109/32.988498

X. Zhang, H. He, N. Gupta, and R. Gupta, Experimental evaluation of using dynamic slices for fault location, Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging , AADEBUG'05, pp.33-42, 2005.
DOI : 10.1145/1085130.1085135