{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T23:27:46Z","timestamp":1750116466522,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319247038"},{"type":"electronic","value":"9783319247045"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24704-5_12","type":"book-chapter","created":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T01:31:29Z","timestamp":1443058289000},"page":"191-208","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Relational Mathematics for Relative Correctness"],"prefix":"10.1007","author":[{"given":"Jules","family":"Desharnais","sequence":"first","affiliation":[]},{"given":"Nafi","family":"Diallo","sequence":"additional","affiliation":[]},{"given":"Wided","family":"Ghardallou","sequence":"additional","affiliation":[]},{"given":"Marcelo F.","family":"Frias","sequence":"additional","affiliation":[]},{"given":"Ali","family":"Jaoua","sequence":"additional","affiliation":[]},{"given":"Ali","family":"Mili","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"12_CR1","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.: On the Lattice of Specifications: Applications to a Specification Methodology. Formal Aspects of Computing\u00a04, 544\u2013571 (1992)","journal-title":"Formal Aspects of Computing"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Diallo, N., Ghardallou, W., Mili, A.: Correctness and relative correctness. In: Proceedings of the 37th International Conference on Software Engineering, Firenze, Italy, May 20\u201322 (2015)","DOI":"10.1109\/ICSE.2015.200"},{"key":"12_CR3","unstructured":"Diallo, N., Ghardallou, W., Mili, A.: Program derivation by correctness enhancements. In: Refinement 2015, Oslo, Norway (June 2015)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Lahiri, S.K., McMillan, K.L., Sharma, R., Hawblitzel, C.: Differential assertion checking. In: Proceedings of the ESEC\/SIGSOFT FSE, pp. 345\u2013455 (2013)","DOI":"10.1145\/2491411.2491452"},{"issue":"3","key":"12_CR5","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.: Current challenges in automatic software repair. Software Quality Journal\u00a021(3), 421\u2013443 (2013)","journal-title":"Software Quality Journal"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Logozzo, F., Ball, T.: Modular and verified automatic program repair. In: Proceedings of the OOPSLA, pp. 133\u2013146 (2012)","DOI":"10.1145\/2398857.2384626"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Logozzo, F., Lahiri, S., Faehndrich, M., Blackshear, S.: Verification modulo versions: Towards usable verification. In: Proceedings of the PLDI (2014)","DOI":"10.1145\/2594291.2594326"},{"key":"12_CR8","unstructured":"McCune, W.: Prover9 and Mace4, \n                      \n                        http:\/\/www.cs.unm.edu\/~mccune\/prover9"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-319-06251-8_12","volume-title":"Relational and Algebraic Methods in Computer Science","author":"A. Mili","year":"2014","unstructured":"Mili, A., Frias, M.F., Jaoua, A.: On faults and faulty programs. In: H\u00f6fner, P., Jipsen, P., Kahl, W., M\u00fcller, M.E. (eds.) RAMiCS 2014. LNCS, vol.\u00a08428, pp. 191\u2013207. Springer, Heidelberg (2014)"},{"key":"12_CR10","volume-title":"Structured Programming: A Mathematical Approach","author":"H.D. Mills","year":"1986","unstructured":"Mills, H.D., Basili, V.R., Gannon, J.D., Hamlet, R.D.: Structured Programming: A Mathematical Approach. Allyn and Bacon, Boston (1986)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Schmidt, G.: Relational Mathematics. Encyclopedia of Mathematics and Its Applications, vol.\u00a0132. Cambridge University Press (2010)","DOI":"10.1017\/CBO9780511778810"},{"key":"12_CR12","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs \u2013 Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoretical Computer Science. Springer (1988)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Nguyen, H.D.T., Qi, D., Roychoudhury, A., Chandra, S.: Semfix: Program repair via semantic analysis. In: Proceedings of the ICSE, pp. 772\u2013781 (2013)","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Weimer, W., Nguyen, T., Le Goues, C., Forrest, S.: Automatically finding patches using genetic programming. In: Proceedings of the ICSE 2009, pp. 364\u2013374 (2009)","DOI":"10.1109\/ICSE.2009.5070536"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24704-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T21:26:48Z","timestamp":1559251608000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24704-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319247038","9783319247045"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24704-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"8 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}