{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T05:42:00Z","timestamp":1726033320307},"publisher-location":"Cham","reference-count":57,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030177270"},{"type":"electronic","value":"9783030177287"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-17728-7_15","type":"book-chapter","created":{"date-parts":[[2019,6,22]],"date-time":"2019-06-22T11:02:49Z","timestamp":1561201369000},"page":"365-387","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Model-Based Software Debugging"],"prefix":"10.1007","author":[{"given":"Rafael","family":"Ceballos","sequence":"first","affiliation":[]},{"given":"Rui","family":"Abreu","sequence":"additional","affiliation":[]},{"given":"\u00c1ngel Jes\u00fas","family":"Varela-Vaca","sequence":"additional","affiliation":[]},{"given":"Rafael M.","family":"Gasca","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,23]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Abreu, R., Mayer, W., Stumptner, M., van Gemund, A.J.: Refining spectrum-based fault localization rankings. In: Proceedings of the 2009 ACM symposium on Applied Computing, pp. 409\u2013414. ACM (2009)","DOI":"10.1145\/1529282.1529374"},{"key":"15_CR2","first-page":"2","volume":"9","author":"R Abreu","year":"2009","unstructured":"Abreu, R., Van Gemund, A.J.: A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis. SARA 9, 2\u20139 (2009)","journal-title":"SARA"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., Van\u00a0Gemund, A.J.: An observation-based model for fault localization. In: Proceedings of the 2008 International Workshop on Dynamic Analysis: Held in Conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), pp. 64\u201370. ACM (2008)","DOI":"10.1145\/1401827.1401841"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., Van\u00a0Gemund, A.J.: Spectrum-based multiple fault localization. In: Proceedings of the 2009 IEEE\/ACM International Conference on Automated Software Engineering, pp. 88\u201399. IEEE Computer Society (2009)","DOI":"10.1109\/ASE.2009.25"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: On the accuracy of spectrum-based fault localization. In: TAICPART-MUTATION \u201907: Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, pp. 89\u201398. IEEE Computer Society, Washington, DC, USA (2007)","DOI":"10.1109\/TAIC.PART.2007.13"},{"key":"15_CR6","unstructured":"Abreu, R., Zoeteweij, P., Van\u00a0Gemund, A.J.C.: A new bayesian approach to multiple intermittent fault diagnosis. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, IJCAI\u201909, pp. 653\u2013658 (2009)"},{"issue":"3","key":"15_CR7","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/52.88939","volume":"8","author":"K Araki","year":"1991","unstructured":"Araki, K., Furukawa, Z., Cheng, J.: A general framework for debugging. IEEE Softw. 8(3), 14\u201320 (1991)","journal-title":"IEEE Softw."},{"issue":"1","key":"15_CR8","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avi\u017eienis","year":"2004","unstructured":"Avi\u017eienis, A., Laprie, J.C., Randell, B., Landwehr, C.E.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput. 1(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"15_CR9","volume-title":"Nonlinear Programming: Analysis and Methods","author":"M Avriel","year":"2003","unstructured":"Avriel, M.: Nonlinear Programming: Analysis and Methods. Courier Corporation, North Chelmsford (2003)"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"Don Batory","year":"2005","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Proceedings of the 9th international conference on Software Product Lines, SPLC\u201905, pp. 7\u201320. Springer, Berlin (2005)"},{"issue":"6","key":"15_CR11","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Ruiz-Cort\u00e9s, A.: Automated analysis of feature models 20 years later: a literature review. Inf. Syst. 35(6), 615\u2013636 (2010)","journal-title":"Inf. Syst."},{"key":"15_CR12","unstructured":"Benavides, D., Trinidad, P., Ruiz-Cort\u00e9s, A.: Automated reasoning on feature models. In: LNCS, Advanced Information Systems Engineering: 17th International Conference, CAISE 2005, p. 2005. Springer (2005)"},{"issue":"2\u20133","key":"15_CR13","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1023\/B:FORM.0000040027.28662.a4","volume":"25","author":"G Brat","year":"2004","unstructured":"Brat, G., Drusinsky, D., Giannakopoulou, D., Goldberg, A., Havelund, K., Lowry, M., Pasareanu, C., Venet, A., Visser, W., Washington, R.: Experimental evaluation of verification and validation tools on martian rover software. Form. Methods Syst. Des. 25(2\u20133), 167\u2013198 (2004)","journal-title":"Form. Methods Syst. Des."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Briand, L.C., Labiche, Y., Sun, H.: Investigating the use of analysis contracts to support fault isolation in object oriented code. In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, 22\u201324 July 2002, pp. 70\u201380 (2002)","DOI":"10.1145\/566171.566183"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Campos, J., Abreu, R., Fraser, G., d\u2019Amorim, M.: Entropy-based test generation for improved fault localization. In: Proceedings of the 28th IEEE\/ACM International Conference on Automated Software Engineering, pp. 257\u2013267. IEEE Press (2013)","DOI":"10.1109\/ASE.2013.6693085"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Campos, J., Arcuri, A., Fraser, G., Abreu, R.: Continuous test generation: enhancing continuous integration with automated test generation. In: Proceedings of the 29th ACM\/IEEE international conference on Automated Software Engineering, pp. 55\u201366. ACM (2014)","DOI":"10.1145\/2642937.2643002"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Campos, J., Riboira, A., Perez, A., Abreu, R.: Gzoltar: an eclipse plug-in for testing and debugging. In: Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering, pp. 378\u2013381. ACM (2012)","DOI":"10.1145\/2351676.2351752"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Cardoso, N., Abreu, R.: A distributed approach to diagnosis candidate generation. In: Portuguese Conference on Artificial Intelligence, pp. 175\u2013186. Springer (2013)","DOI":"10.1007\/978-3-642-40669-0_16"},{"key":"15_CR19","unstructured":"Cardoso, N., Abreu, R.: An efficient distributed algorithm for computing minimal hitting sets. In: Proceedings of the 25th International Workshop on Principles of Diagnosis, DX, vol.\u00a014, p.\u00a023 (2014)"},{"issue":"2","key":"15_CR20","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1118537.1123070","volume":"31","author":"Rafael Ceballos","year":"2006","unstructured":"Ceballos, R., Gasca, R.M., Borrego, D.: Constraint satisfaction techniques for diagnosing errors in design by contract software. ACM SIGSOFT Softw. Eng. Notes 31(2) (2006)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"15_CR21","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11881216_22","volume-title":"Current Topics in Artificial Intelligence","author":"R. Ceballos","year":"2006","unstructured":"Ceballos, R., Gasca, R.M., Valle, C.D., Borrego, D.: Diagnosing errors in dbc programs using constraint programming. In: Current Topics in Artificial Intelligence, 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, Revised Selected Papers, pp. 200\u2013210 (2005)"},{"key":"15_CR22","unstructured":"Ceballos, R., Gasca, R.M., Valle, C.D., Rosa, F.D.L.: A constraint programming approach for software diagnosis. In: Proceedings of the Fifth International Workshop on Automated Debugging, AADEBUG 2003, pp. 187\u2013197 (2003)"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Ceballos, R., Gasca, R.M., Valle, C.D., Toro, M.: Max-csp approach for software diagnosis. In: Advances in Artificial Intelligence - IBERAMIA 2002, 8th Ibero-American Conference on AI, pp. 172\u2013181 (2002)","DOI":"10.1007\/3-540-36131-6_18"},{"issue":"1","key":"15_CR24","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1002\/spip.213","volume":"10","author":"Krzysztof Czarnecki","year":"2005","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing cardinality-based feature models and their specialization. In: Software Process: Improvement and Practice, p. 2005 (2005)","journal-title":"Software Process: Improvement and Practice"},{"key":"15_CR25","unstructured":"De\u00a0Kleer, J.: Diagnosing multiple persistent and intermittent faults. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, IJCAI\u201909, pp. 733\u2013738 (2009)"},{"issue":"1\u20133","key":"15_CR26","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2007.01.015","volume":"69","author":"MD Ernst","year":"2007","unstructured":"Ernst, M.D., Perkins, J.H., Guo, P.J., McCamant, S., Pacheco, C., Tschantz, M.S., Xiao, C.: The daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69(1\u20133), 35\u201345 (2007)","journal-title":"Sci. Comput. Program."},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Gouveia, C., Campos, J., Abreu, R.: Using HTML5 visualizations in software fault localization. In: 2013 First IEEE Working Conference on Software Visualization (VISSOFT), pp. 1\u201310. IEEE (2013)","DOI":"10.1109\/VISSOFT.2013.6650539"},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"Hangal, S., Lam, M.S.: Tracking down software bugs using automatic anomaly detection. In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, pp. 291\u2013301. IEEE (2002)","DOI":"10.1145\/581339.581377"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Hao, D., Zhang, L., Zhang, L., Sun, J., Mei, H.: Vida: Visual interactive debugging. In: IEEE 31st International Conference on Software Engineering, ICSE 2009, pp. 583\u2013586. IEEE (2009)","DOI":"10.1109\/ICSE.2009.5070561"},{"key":"15_CR30","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1002\/1099-1689(200009)10:3<171::AID-STVR209>3.0.CO;2-J","volume":"3","author":"MJ Harrold","year":"2000","unstructured":"Harrold, M.J., Rothermel, G., Sayre, K., Wu, R., Yi, L.: An empirical investigation of the relationship between fault-revealing test behavior and differences in program spectra. STVR J. Softw. Test., Verif., Reliab. 3, 171\u2013194 (2000)","journal-title":"STVR J. Softw. Test., Verif., Reliab."},{"key":"15_CR31","doi-asserted-by":"crossref","unstructured":"Hofer, B., Riboira, A., Wotawa, F., Abreu, R., Getzner, E.: On the empirical evaluation of fault localization techniques for spreadsheets. In: ICSE \u201913: Proceedings of the 2013 International Conference on Software Engineering, pp. 68\u201382. Springer (2013)","DOI":"10.1007\/978-3-642-37057-1_6"},{"key":"15_CR32","volume-title":"The Year 2000 Software Problem: Quantifying the Costs and Assessing the Consequences","author":"C Jones","year":"1997","unstructured":"Jones, C.: The Year 2000 Software Problem: Quantifying the Costs and Assessing the Consequences. ACM Press\/Addison-Wesley Publishing Co, Boston (1997)"},{"key":"15_CR33","doi-asserted-by":"crossref","unstructured":"Jones, J.A., Harrold, M.J., Stasko, J.: Visualization of test information to assist fault localization. In: ICSE \u201902: Proceedings of the 24th International Conference on Software Engineering, pp. 467\u2013477. IEEE (2002)","DOI":"10.1145\/581396.581397"},{"key":"15_CR34","doi-asserted-by":"crossref","unstructured":"Kang, K.: Feature-oriented domain analysis (FODA): feasibility study. Technical Report CMU\/SEI-90-TR-21 - ESD-90-TR-222, Carnegie Mellon University, Software Engineering Institute (1990)","DOI":"10.21236\/ADA235785"},{"issue":"2\u20133","key":"15_CR35","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J Kleer de","year":"1992","unstructured":"de Kleer, J., Mackworth, A.K., Reiter, R.: Characterizing diagnoses and systems. Artif. Intell. 56(2\u20133), 197\u2013222 (1992)","journal-title":"Artif. Intell."},{"key":"15_CR36","doi-asserted-by":"crossref","unstructured":"Kremenek, T., Ashcraft, K., Yang, J., Engler, D.: Correlation exploitation in error ranking. In: ACM SIGSOFT Software Engineering Notes, vol.\u00a029, pp. 83\u201393. ACM (2004)","DOI":"10.1145\/1041685.1029909"},{"issue":"4","key":"15_CR37","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/248448.248455","volume":"40","author":"H Lieberman","year":"1997","unstructured":"Lieberman, H.: The debugging scandal and what to do about it. Commun. ACM 40(4), 26\u201330 (1997)","journal-title":"Commun. ACM"},{"key":"15_CR38","doi-asserted-by":"crossref","unstructured":"Liu, C., Yan, X., Fei, L., Han, J., Midkiff, S.P.: Sober: Statistical model-based bug localization. In: Proceeding of the ESEC\/FSE-13. ACM, Lisbon, Portugal (2005)","DOI":"10.1145\/1081706.1081753"},{"key":"15_CR39","doi-asserted-by":"crossref","unstructured":"Mayer, W., Stumptner, M.: Models and tradeoffs in model-based debugging. In: 18th International Workshop on Principles of Diagnosis. Nashville, TN, USA (2007)","DOI":"10.1109\/ASE.2008.23"},{"key":"15_CR40","doi-asserted-by":"crossref","unstructured":"Mayer, W., Stumptner, M.: Evaluating models for model-based debugging. In: Proceedings of the 2008 23rd IEEE\/ACM International Conference on Automated Software Engineering, pp. 128\u2013137. IEEE Computer Society (2008)","DOI":"10.1109\/ASE.2008.23"},{"issue":"10","key":"15_CR41","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. IEEE Comput. 25(10), 40\u201351 (1992)","journal-title":"IEEE Comput."},{"key":"15_CR42","doi-asserted-by":"crossref","unstructured":"Pearson, S., Campos, J., Just, R., Fraser, G., Abreu, R., Ernst, M.D., Pang, D., Keller, B.: Evaluating and improving fault localization. In: ICSE \u201917: Proceedings of the 39th International Conference on Software Engineering, pp. 609\u2013620. IEEE Press (2017)","DOI":"10.1109\/ICSE.2017.62"},{"key":"15_CR43","doi-asserted-by":"crossref","unstructured":"Perez, A., Abreu, R., D\u2019Amorim, M.: Prevalence of single-fault fixes and its impact on fault localization. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 12\u201322. IEEE (2017)","DOI":"10.1109\/ICST.2017.9"},{"key":"15_CR44","doi-asserted-by":"crossref","unstructured":"Perez, A., Abreu, R., van Deursen, A.: A test-suite diagnosability metric for spectrum-based fault localization approaches. In: Proceedings of the 39th International Conference on Software Engineering, pp. 654\u2013664. IEEE Press (2017)","DOI":"10.1109\/ICSE.2017.66"},{"key":"15_CR45","doi-asserted-by":"crossref","unstructured":"Perez, A., Abreu, R., HASLab, I.T.: Leveraging qualitative reasoning to improve SFL. In: IJCAI, pp. 1935\u20131941 (2018)","DOI":"10.24963\/ijcai.2018\/267"},{"key":"15_CR46","unstructured":"Renieres, M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: Proceedings of the 18th IEEE International Conference on Automated Software Engineering, 2003, pp. 30\u201339. IEEE (2003)"},{"issue":"6","key":"15_CR47","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/376134.376180","volume":"44","author":"T Shepard","year":"2001","unstructured":"Shepard, T., Lamb, M., Kelly, D.: More testing should be taught. Commun. ACM 44(6), 103\u2013108 (2001)","journal-title":"Commun. ACM"},{"key":"15_CR48","doi-asserted-by":"crossref","unstructured":"Steimann, F., Frenkel, M., Abreu, R.: Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators. In: Proceedings of the 2013 International Symposium on Software Testing and Analysis, pp. 314\u2013324. ACM (2013)","DOI":"10.1145\/2483760.2483767"},{"key":"15_CR49","volume-title":"A Survey of Program Slicing Techniques","author":"F Tip","year":"1994","unstructured":"Tip, F.: A Survey of Program Slicing Techniques. Centrum voor Wiskunde en Informatica, Amsterdam (1994)"},{"issue":"1","key":"15_CR50","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0164-1212(02)00026-2","volume":"65","author":"YL Traon","year":"2003","unstructured":"Traon, Y.L., Ouabdesselam, F., Robach, C., Baudry, B.: From diagnosis to diagnosability: axiomatization, measurement and application. J. Syst. Softw. 65(1), 31\u201350 (2003)","journal-title":"J. Syst. Softw."},{"issue":"11","key":"15_CR51","doi-asserted-by":"publisher","first-page":"1948","DOI":"10.1016\/j.infsof.2013.05.007","volume":"55","author":"\u00c1J Varela-Vaca","year":"2013","unstructured":"Varela-Vaca, \u00c1.J., Gasca, R.M.: Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach. Inf. Softw. Technol. 55(11), 1948\u20131973 (2013)","journal-title":"Inf. Softw. Technol."},{"issue":"8","key":"15_CR52","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1109\/TSE.2016.2521368","volume":"42","author":"WE Wong","year":"2016","unstructured":"Wong, W.E., Gao, R., Li, Y., Abreu, R., Wotawa, F.: A survey on software fault localization. IEEE Trans. Softw. Eng. 42(8), 707\u2013740 (2016)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"15_CR53","doi-asserted-by":"publisher","first-page":"746","DOI":"10.1007\/3-540-48035-8_72","volume-title":"Developments in Applied Artificial Intelligence","author":"F Wotawa","year":"2002","unstructured":"Wotawa, F., Stumptner, M., Mayer, W.: Model-based debugging or how to diagnose programs automatically. In: Hendtlass, T., Ali, M. (eds.) Developments in Applied Artificial Intelligence, pp. 746\u2013757. Springer, Berlin (2002)"},{"key":"15_CR54","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-642-14264-2_3","volume-title":"Current Topics in Artificial Intelligence","author":"Franz Wotawa","year":"2010","unstructured":"Wotawa, F., Weber, J., Nica, M., Ceballos, R.: On the complexity of program debugging using constraints for modeling the program\u2019s syntax and semantics. In: Current Topics in Artificial Intelligence, 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA. Selected Papers, pp. 22\u201331 (2009)"},{"key":"15_CR55","doi-asserted-by":"crossref","unstructured":"Yang, Q., Li, J.J., Weiss, D.: A survey of coverage based testing tools. In: Proceedings of the 2006 International Workshop on Automation of software test, AST \u201906, pp. 99\u2013103. ACM, New York, NY, USA (2006)","DOI":"10.1145\/1138929.1138949"},{"key":"15_CR56","doi-asserted-by":"crossref","unstructured":"Yilmaz, C., Williams, C.: An automated model-based debugging approach. In: ASE \u201907: Proceedings of the Twenty-Second IEEE\/ACM International Conference on Automated Software Engineering, pp. 174\u2013183. ACM (2007)","DOI":"10.1145\/1321631.1321659"},{"key":"15_CR57","doi-asserted-by":"crossref","unstructured":"Zoeteweij, P., Abreu, R., Golsteijn, R., Van\u00a0Gemund, A.J.: Diagnosis of embedded software using program spectra. In: 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS\u201907), pp. 213\u2013220. IEEE (2007)","DOI":"10.1109\/ECBS.2007.31"}],"container-title":["Fault Diagnosis of Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-17728-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,21]],"date-time":"2022-09-21T16:04:55Z","timestamp":1663776295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-17728-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030177270","9783030177287"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-17728-7_15","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"23 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}