{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T22:48:06Z","timestamp":1749682086049,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661964"},{"type":"electronic","value":"9783319661971"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66197-1_24","type":"book-chapter","created":{"date-parts":[[2017,8,11]],"date-time":"2017-08-11T21:02:30Z","timestamp":1502485350000},"page":"375-381","source":"Crossref","is-referenced-by-count":10,"title":["Towards Inverse Uncertainty Quantification in\u00a0Software Development (Short Paper)"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Camilli","sequence":"first","affiliation":[]},{"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[]},{"given":"Patrizia","family":"Scandurra","sequence":"additional","affiliation":[]},{"given":"Carlo","family":"Bellettini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Garlan, D.: Software engineering in an uncertain world. In: Proceedings of the FSE\/SDP Workshop on Future of Software Engineering Research, pp. 125\u2013128 (2010)","DOI":"10.1145\/1882362.1882389"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-642-35813-5_9","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"N Esfahani","year":"2013","unstructured":"Esfahani, N., Malek, S.: Uncertainty in self-adaptive software systems. In: Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 214\u2013238. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-35813-5_9"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Ramirez, A.J., Jensen, A.C., Cheng, B.H.C.: A taxonomy of uncertainty for dynamically adaptive systems. In: Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 99\u2013108 (2012)","DOI":"10.1109\/SEAMS.2012.6224396"},{"issue":"10","key":"24_CR4","doi-asserted-by":"publisher","first-page":"100908","DOI":"10.1115\/1.4007390","volume":"134","author":"Paul D. Arendt","year":"2012","unstructured":"Arendt, P.D., Apley, D.W., Chen, W.: Quantification of model uncertainty: calibration, model discrepancy, and identifiability. J. Mech. Des. 134(10) (2012)","journal-title":"Journal of Mechanical Design"},{"issue":"3","key":"24_CR5","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s00158-008-0234-7","volume":"37","author":"SH Lee","year":"2008","unstructured":"Lee, S.H., Chen, W.: A comparative study of uncertainty propagation methods for black-box-type problems. Struct. Multi. Optim. 37(3), 239 (2008)","journal-title":"Struct. Multi. Optim."},{"key":"24_CR6","volume-title":"Statistical Decision Theory and Bayesian Analysis, Springer Series in Statistics","author":"J Berger","year":"1985","unstructured":"Berger, J.: Statistical Decision Theory and Bayesian Analysis, Springer Series in Statistics. Springer, New York (1985)"},{"key":"24_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/b137241","volume-title":"Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)","author":"M Broy","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A.: Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science). Springer, New York (2005)"},{"key":"24_CR8","doi-asserted-by":"publisher","DOI":"10.1002\/9780470975916","volume-title":"Bayesian Analysis of Stochastic Process Models, Wiley Series in Probability and Statistics","author":"D Insua","year":"2012","unstructured":"Insua, D., Ruggeri, F., Wiper, M.: Bayesian Analysis of Stochastic Process Models, Wiley Series in Probability and Statistics. Wiley, Hoboken (2012)"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-22110-1_47"},{"issue":"2","key":"24_CR10","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.camwa.2005.11.016","volume":"51","author":"M Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M., Norman, G., Pacheco, A.: Model checking expected time and expected reward formulae with random time bounds. Comput. Mathe. Appl. 51(2), 305\u2013316 (2006)","journal-title":"Comput. Mathe. Appl."},{"key":"24_CR11","unstructured":"Tretmans, J., Belinfante, A.: Automatic testing with formal methods. In: 7th European International Conference on Software Testing, Analysis & Review, pp. 8\u201312 (1999)"},{"key":"24_CR12","unstructured":"Perkins, T.J.: Maximum likelihood trajectories for continuous-time markov chains. In: Proceedings of the 22nd International Conference on Neural Information Processing Systems, pp. 1437\u20131445 (2009)"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Perez-Palacin, D., Mirandola, R.: Uncertainties in the modeling of self-adaptive systems: a taxonomy and an example of availability evaluation. In: Proceedings of the 5th ACM\/SPEC International Conference on Performance Engineering, pp. 3\u201314 (2014)","DOI":"10.1145\/2568088.2568095"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Epifani, I., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Model evolution by run-time parameter adaptation. In: 2009 IEEE 31st International Conference on Software Engineering, pp. 111\u2013121, May 2009","DOI":"10.1109\/ICSE.2009.5070513"},{"issue":"1","key":"24_CR15","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/TR.2015.2452931","volume":"65","author":"R Calinescu","year":"2016","unstructured":"Calinescu, R., Ghezzi, C., Johnson, K., Pezz\u00e8, M., Rafiq, Y., Tamburrelli, G.: Formal verification with confidence intervals to establish quality of service properties of software systems. IEEE Trans. Reliab. 65(1), 107\u2013125 (2016)","journal-title":"IEEE Trans. Reliab."},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Walkinshaw, N., Fraser, G.: Uncertainty-driven black-box test data generation. In: IEEE International Conference on Software Testing, Verification and Validation (2017)","DOI":"10.1109\/ICST.2017.30"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Namin, A.S., Sridharan, M.: Bayesian reasoning for software testing. In: Proceedings of the FSE\/SDP Workshop on Future of Software Engineering Research, pp. 349\u2013354 (2010)","DOI":"10.1145\/1882362.1882433"},{"key":"24_CR18","volume-title":"Bayesian Theory, Wiley Series in Probability and Statistics","author":"J Bernardo","year":"2006","unstructured":"Bernardo, J., Smith, A.: Bayesian Theory, Wiley Series in Probability and Statistics. Wiley, Hoboken (2006)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66197-1_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,24]],"date-time":"2018-07-24T23:56:53Z","timestamp":1532476613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66197-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661964","9783319661971"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66197-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}