{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T22:55:55Z","timestamp":1776466555582,"version":"3.51.2"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2017,8,22]],"date-time":"2017-08-22T00:00:00Z","timestamp":1503360000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,8,22]],"date-time":"2017-08-22T00:00:00Z","timestamp":1503360000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000105","name":"Office of Cyberinfrastructure","doi-asserted-by":"publisher","award":["1565478"],"award-info":[{"award-number":["1565478"]}],"id":[{"id":"10.13039\/100000105","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1007\/s11334-017-0300-7","type":"journal-article","created":{"date-parts":[[2017,8,22]],"date-time":"2017-08-22T12:28:42Z","timestamp":1503404922000},"page":"219-239","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["What is a fault? and why does it matter?"],"prefix":"10.1007","volume":"13","author":[{"given":"Nafi","family":"Diallo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wided","family":"Ghardallou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jules","family":"Desharnais","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo","family":"Frias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Jaoua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6578-5510","authenticated-orcid":false,"given":"Ali","family":"Mili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,22]]},"reference":[{"key":"300_CR1","unstructured":"IEEE Std 7-4.3.2-2003 (2003) Ieee standard criteria for digital computers in safety systems of nuclear power generating stations. Technical report, The Institute of Electrical and Electronics Engineers"},{"key":"300_CR2","doi-asserted-by":"crossref","unstructured":"Arcuri A, Yao X (2008) A novel co-evolutionary approach to automatic software bug fixing. In: CEC. pp 162\u2013168","DOI":"10.1109\/CEC.2008.4630793"},{"issue":"1","key":"300_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis A, Laprie JC, Randell B, Landwehr CE (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secur Comput 1(1):11\u201333","journal-title":"IEEE Trans Dependable Secur Comput"},{"issue":"6","key":"300_CR4","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1007\/BF01211474","volume":"4","author":"N Boudriga","year":"1992","unstructured":"Boudriga N, Elloumi F, Mili A (1992) The lattice of specifications: applications to a specification methodology. Form Asp Comput 4(6):544\u2013571","journal-title":"Form Asp Comput"},{"key":"300_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6510-2","volume-title":"Relational methods in computer science","author":"Ch Brink","year":"1997","unstructured":"Brink Ch, Kahl W, Schmidt G (1997) Relational methods in computer science. Springer, Berlin"},{"key":"300_CR6","first-page":"802","volume":"2013","author":"D Kim","year":"2013","unstructured":"Kim D, Nam J, Song J, Kim S (2013) Automatic patch generation learned from human-written patches. ICSE 2013:802\u2013811","journal-title":"ICSE"},{"key":"300_CR7","doi-asserted-by":"crossref","unstructured":"Desharnais J, Diallo N, Ghardallou W, Frias MF, Jaoua A, Mili A (2015) Relational mathematics for relative correctness. In: RAMICS, 2015, volume 9348 of LNCS, September 2015. Springer, Braga, Portugal, pp 191\u2013208","DOI":"10.1007\/978-3-319-24704-5_12"},{"key":"300_CR8","doi-asserted-by":"crossref","unstructured":"Diallo N, Ghardallou W, Mili A (2015) Correctness and relative correctness. In: Proceedings of 37th international conference on software engineering, NIER track, Firenze, Italy, 20\u201322 May","DOI":"10.1109\/ICSE.2015.200"},{"key":"300_CR9","unstructured":"Diallo N, Ghardallou W, Mili A (2015) Program derivation by correctness enhancements. In: Refinement 2015, Oslo, Norway, June 2015"},{"key":"300_CR10","volume-title":"A discipline of programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra EW (1976) A discipline of programming. Prentice Hall, Upper Saddle River"},{"key":"300_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/311531.311532","volume":"31","author":"FC Gaertner","year":"1999","unstructured":"Gaertner FC (1999) Fundamentals of fault tolerant distributed computing in asynchronous environments. ACM Comput Surv 31:1\u201326","journal-title":"ACM Comput Surv"},{"key":"300_CR12","doi-asserted-by":"crossref","unstructured":"Ghardallou W, Diallo N, Mili A, Frias M (2016) Debugging without testing. In: Proceedings of international conference on software testing, Chicago, IL, April 2016","DOI":"10.1109\/ICST.2016.12"},{"key":"300_CR13","doi-asserted-by":"crossref","unstructured":"Gonzalez-Sanchez A, Abreu R, Gross HG, van Gemund AJC (2011) Prioritizing tests for fault localization through ambiguity group reduction. In: Proceedings of automated software engineering, Lawrence, KS","DOI":"10.1109\/ASE.2011.6100153"},{"key":"300_CR14","doi-asserted-by":"crossref","unstructured":"Gopinath D, Malik MZ, Khurshid S (2011) Specification based program repair using sat. In: Proceedings of TACAS, pp 173\u2013188","DOI":"10.1007\/978-3-642-19835-9_15"},{"issue":"1","key":"300_CR15","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/TSE.2011.104","volume":"31","author":"C Le Goues","year":"2012","unstructured":"Le Goues C, Nguyen T, Forrest S, Weimer W (2012) Genprog: a generic method for automated software repair. IEEE Trans Softw Eng 31(1):54\u201372","journal-title":"IEEE Trans Softw Eng"},{"key":"300_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The science of programming","author":"D Gries","year":"1981","unstructured":"Gries D (1981) The science of programming. Springer, Berlin"},{"key":"300_CR17","volume-title":"A practical theory of programming","author":"ECR Hehner","year":"1992","unstructured":"Hehner ECR (1992) A practical theory of programming. Prentice Hall, Upper Saddle River"},{"issue":"10","key":"300_CR18","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare CAR (1969) An axiomatic basis for computer programming. Commun ACM 12(10):576\u2013583","journal-title":"Commun ACM"},{"key":"300_CR19","doi-asserted-by":"crossref","unstructured":"Khaireddine B, Zakharchenko A, Mili A (2017) A generic algorithm for program repair. In: Proceedings of FormaliSE, Buenos Aires, Argentina","DOI":"10.1109\/FormaliSE.2017.7"},{"key":"300_CR20","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.ress.2014.10.022","volume":"135","author":"MC Kim","year":"2015","unstructured":"Kim MC, Smidts CS (2015) Three suggestions on the definition of terms for the safety and reliability analysis of digital systems. Reliab Eng Syst Saf 135:81\u201391","journal-title":"Reliab Eng Syst Saf"},{"key":"300_CR21","doi-asserted-by":"crossref","unstructured":"Lahiri SK, McMillan KL, Sharma R, Hawblitzel C (2013) Differential assertion checking. In: Proceedings of ESEC\/FSE, pp 345\u2013355","DOI":"10.1145\/2491411.2491452"},{"key":"300_CR22","doi-asserted-by":"crossref","unstructured":"Laprie JC (1991) Dependability: basic concepts and terminology: In: English, French, German. Italian and Japanese. Springer, Heidelberg","DOI":"10.1007\/978-3-7091-9170-5_1"},{"key":"300_CR23","doi-asserted-by":"crossref","unstructured":"Laprie JC (1995) Dependability\u2014its attributes, impairments and means. In: Predictably dependable computing systems. Springer, Berlin, pp 1\u201319","DOI":"10.1007\/978-3-642-79789-7_1"},{"key":"300_CR24","unstructured":"Laprie JC (2004) Dependable computing: concepts, challenges, directions. In: Proceedings of COMP-SAC"},{"issue":"3","key":"300_CR25","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/s11219-013-9208-0","volume":"21","author":"C LeGoues","year":"2013","unstructured":"LeGoues C, Forrest S, Weimer W (2013) Current challenges in automatic software repair. Softw Qual J 21(3):421\u2013443","journal-title":"Softw Qual J"},{"key":"300_CR26","doi-asserted-by":"crossref","unstructured":"Logozzo F, Ball T (2012) Modular and verified automatic program repair. In: Proceedings of OOPSLA, pp 133\u2013146","DOI":"10.1145\/2384616.2384626"},{"key":"300_CR27","doi-asserted-by":"crossref","unstructured":"Logozzo F, Lahiri S, Faehndrich M, Blackshear S (2014) Verification modulo versions: towards usable verification. In: Proceedings of PLDI, pp 294\u2013304","DOI":"10.1145\/2666356.2594326"},{"issue":"1","key":"300_CR28","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1504\/IJCCBS.2014.059596","volume":"5","author":"A Louhichi","year":"2014","unstructured":"Louhichi A, Ghardallou W, Bsaies K, Jilani LL, Mraihi O, Mili A (2014) Verifying loops with invariant relations. Int J Crit Comput Based Syst 5(1):78\u2013102","journal-title":"Int J Crit Comput Based Syst"},{"key":"300_CR29","volume-title":"A mathematical theory of computation","author":"Z Manna","year":"1974","unstructured":"Manna Z (1974) A mathematical theory of computation. McGraw-Hill, New York"},{"key":"300_CR30","volume-title":"Computer program construction","author":"A Mili","year":"1994","unstructured":"Mili A, Desharnais J, Mili F, Frappier M (1994) Computer program construction. Oxford University Press, Oxford"},{"key":"#cr-split#-300_CR31.1","doi-asserted-by":"crossref","unstructured":"Mili A, Frias M, Jaoua A (2014) On faults and faulty programs. In: Hoefner P, Jipsen P, Kahl W, Mueller ME","DOI":"10.1007\/978-3-319-06251-8_12"},{"key":"#cr-split#-300_CR31.2","unstructured":"(ed) Proceedings of RAMICS 2014, volume 8428 of LNCS. pp 191-207"},{"key":"300_CR32","volume-title":"Software testing: operations and concepts","author":"Ali Mili","year":"2015","unstructured":"Mili Ali, Tchier Fairouz (2015) Software testing: operations and concepts. Wiley, Hoboken"},{"key":"300_CR33","volume-title":"Structured programming: a mathematical approach","author":"HD Mills","year":"1986","unstructured":"Mills HD, Basili VR, Gannon JD, Hamlet DR (1986) Structured programming: a mathematical approach. Allyn and Bacon, Boston"},{"issue":"9","key":"300_CR34","doi-asserted-by":"publisher","first-page":"1212","DOI":"10.1016\/j.scico.2012.05.006","volume":"78","author":"O Mraihi","year":"2013","unstructured":"Mraihi O, Louhichi A, Jilani LL, Desharnais J, Mili A (2013) Invariant assertions, invariant relations, and invariant functions. Sci Comput Program 78(9):1212\u20131239","journal-title":"Sci Comput Program"},{"key":"300_CR35","doi-asserted-by":"crossref","unstructured":"Nguyen HDT, Qi D, Roychoudhury A, Chandra S (2013) Semfix: program repair via semantic analysis. In: Proceedings of ICSE, pp 772\u2013781","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"300_CR36","doi-asserted-by":"crossref","unstructured":"Debroy V, Wong WE (2010) Using mutation to automatically suggest fixes to faulty programs. In: Proceedings of ICST. pp 65\u201374","DOI":"10.1109\/ICST.2010.66"},{"key":"300_CR37","doi-asserted-by":"crossref","unstructured":"Weimer W, Nguyen T, Le Goues C, Forrest S (2009) Automatically finding patches using genetic programming. In: Proceedings of ICSE. pp 364\u2013374","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"300_CR38","unstructured":"Zem\u00edn L, Gutti\u00e9rrez S, Perez de Rosso S, Aguirre N, Mili A, Jaoua A, Frias M (2015) Stryker: Scaling specification-based program repair by pruning infeasible mutants with sat. Technical report, ITBA, Buenos Aires, Argentina"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-017-0300-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-017-0300-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-017-0300-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,14]],"date-time":"2020-05-14T08:17:26Z","timestamp":1589444246000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-017-0300-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,22]]},"references-count":39,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["300"],"URL":"https:\/\/doi.org\/10.1007\/s11334-017-0300-7","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8,22]]},"assertion":[{"value":"10 June 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 July 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 August 2017","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}