{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:01:01Z","timestamp":1725858061622},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319411347"},{"type":"electronic","value":"9783319411354"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-41135-4_5","type":"book-chapter","created":{"date-parts":[[2016,6,20]],"date-time":"2016-06-20T12:23:38Z","timestamp":1466425418000},"page":"76-93","source":"Crossref","is-referenced-by-count":1,"title":["Classifying Test Suite Effectiveness via Model Inference and ROBBDs"],"prefix":"10.1007","author":[{"given":"Hermann","family":"Felbinger","sequence":"first","affiliation":[]},{"given":"Ingo","family":"Pill","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,21]]},"reference":[{"issue":"6","key":"5_CR1","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"27","author":"SB Akers","year":"1978","unstructured":"Akers, S.B.: Binary decision diagrams. IEEE Trans. Comput. 27(6), 509\u2013516 (1978)","journal-title":"IEEE Trans. Comput."},{"unstructured":"Andersen, H.R.: An Introduction to Binary Decision Diagrams. Lecture notes, available online. IT University of Copenhagen (1997)","key":"5_CR2"},{"issue":"6","key":"5_CR3","doi-asserted-by":"crossref","first-page":"1684","DOI":"10.1145\/197320.197331","volume":"16","author":"MM Brandis","year":"1994","unstructured":"Brandis, M.M., M\u00f6ssenb\u00f6ck, H.: Single-pass generation of static assignment form for structured languages. ACM TOPLAS 16(6), 1684\u20131698 (1994)","journal-title":"ACM TOPLAS"},{"issue":"8","key":"5_CR4","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"ER Bryant","year":"1986","unstructured":"Bryant, E.R.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 35(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Comput."},{"issue":"3","key":"5_CR5","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"RE Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv. 24(3), 293\u2013318 (1992)","journal-title":"ACM Comput. Surv."},{"doi-asserted-by":"crossref","unstructured":"Chen, T., Lau, M., Yu, Y.: MUMCUT: a fault-based strategy for testing Boolean specifications. In: Proceedings of the Sixth Asia Pacific Software Engineering Conference (APSEC), pp. 606\u2013613 (1999)","key":"5_CR6","DOI":"10.1109\/APSEC.1999.809656"},{"issue":"5","key":"5_CR7","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"J Chilenski","year":"1994","unstructured":"Chilenski, J., Miller, S.P.: Applicability of modified condition\/decision coverage to software testing. Softw. Eng. J. 9(5), 193\u2013200 (1994)","journal-title":"Softw. Eng. J."},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/978-1-4613-1385-4_4","volume-title":"Representations of Discrete Functions","author":"EM Clarke","year":"1996","unstructured":"Clarke, E.M., Fujita, M., Zhao, X.: Multi-terminal binary decision diagrams and hybrid decision diagrams. In: Sasao, T., Fujita, M. (eds.) Representations of Discrete Functions, pp. 93\u2013108. Springer, New York (1996)"},{"doi-asserted-by":"crossref","unstructured":"Friedman, S.J., Supowit, K.J.: Finding the optimal variable ordering for binary decision diagrams. In: Proceedings of the 24th ACM\/IEEE Design Automation Conference (DAC), pp. 348\u2013356 (1987)","key":"5_CR9","DOI":"10.1145\/37888.37941"},{"issue":"1","key":"5_CR10","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1613\/jair.1096","volume":"18","author":"O Grumberg","year":"2003","unstructured":"Grumberg, O., Livne, S., Markovitch, S.: Learning to order BDD variables in verification. J. Artif. Intell. Res. 18(1), 83\u2013116 (2003)","journal-title":"J. Artif. Intell. Res."},{"doi-asserted-by":"crossref","unstructured":"Henard, C., Papadakis, M., Traon, Y.L.: MutaLog: a tool for mutating logic formulas. In: Proceedings of the 7th IEEE International Conference onSoftware Testing, Verification, and Validation Workshops, ICSTW, pp. 399\u2013404. IEEE Computer Society, Washington, DC (2014)","key":"5_CR11","DOI":"10.1109\/ICSTW.2014.54"},{"issue":"3","key":"5_CR12","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/1072997.1072998","volume":"14","author":"MF Lau","year":"2005","unstructured":"Lau, M.F., Yu, Y.T.: An extended fault class hierarchy for specification-based testing. ACM Trans. Softw. Eng. Methodol. 14(3), 247\u2013276 (2005)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-642-21768-5_11","volume-title":"Tests and Proofs","author":"K Meinke","year":"2011","unstructured":"Meinke, K., Sindhu, M.A.: Incremental learning-based testing for reactive systems. In: Gogolla, M., Wolff, B. (eds.) TAP 2011. LNCS, vol. 6706, pp. 134\u2013151. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Paul, T.K., Lau, M.F.: Redefinition of fault classes in logic expressions. In: Proceedings of the 12th International Conference on Quality Software, pp. 144\u2013153. QSIC, IEEE Computer Society, Washington, DC (2012)","key":"5_CR14","DOI":"10.1109\/QSIC.2012.41"},{"key":"5_CR15","volume-title":"C4.5: Programs for Machine Learning","author":"JR Quinlan","year":"1993","unstructured":"Quinlan, J.R.: C4.5: Programs for Machine Learning. Morgan Kaufmann Publishers Inc., San Francisco (1993)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-642-05089-3_14","volume-title":"FM 2009: Formal Methods","author":"M Shahbaz","year":"2009","unstructured":"Shahbaz, M., Groz, R.: Inferring Mealy machines. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 207\u2013222. Springer, Heidelberg (2009)"},{"issue":"1","key":"5_CR17","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1002\/j.1538-7305.1949.tb03624.x","volume":"28","author":"C Shannon","year":"1949","unstructured":"Shannon, C.: The synthesis of two-terminal switching circuits. Bell Syst. Tech. J. 28(1), 59\u201398 (1949)","journal-title":"Bell Syst. Tech. J."},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/978-3-642-21455-4_8","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"B Steffen","year":"2011","unstructured":"Steffen, B., Howar, F., Merten, M.: Introduction to active automata learning from a practical perspective. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 256\u2013296. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Tarjan, R.: Depth-first search and linear graph algorithms. In: 12th Annual Symposium on Switching and Automata Theory, pp. 114\u2013121 (1971)","key":"5_CR19","DOI":"10.1109\/SWAT.1971.10"},{"issue":"11","key":"5_CR20","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"LG Valiant","year":"1984","unstructured":"Valiant, L.G.: A theory of the learnable. Commun. ACM 27(11), 1134\u20131142 (1984)","journal-title":"Commun. ACM"},{"doi-asserted-by":"crossref","unstructured":"Walkinshaw, N.: The practical assessment of test sets with inductive inference techniques. In: Proceedings of the 5th International Academic and Industrial Conference on Testing - Practice and Research Techniques (TAIC PART), pp. 165\u2013172 (2010)","key":"5_CR21","DOI":"10.1007\/978-3-642-15585-7_16"},{"issue":"3","key":"5_CR22","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1007\/s10664-015-9367-7","volume":"21","author":"N Walkinshaw","year":"2016","unstructured":"Walkinshaw, N., Taylor, R., Derrick, J.: Inferring extended finite state machine models from software executions. Empir. Softw. Eng. 21(3), 811\u2013853 (2016)","journal-title":"Empir. Softw. Eng."},{"issue":"4","key":"5_CR23","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1145\/69575.357231","volume":"5","author":"EJ Weyuker","year":"1983","unstructured":"Weyuker, E.J.: Assessing test data adequacy through program inference. ACM Trans. Program. Lang. Syst. 5(4), 641\u2013655 (1983)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"5","key":"5_CR24","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1109\/32.286420","volume":"20","author":"EJ Weyuker","year":"1994","unstructured":"Weyuker, E.J., Goradia, T., Singh, A.: Automatically generating test data from a Boolean specification. IEEE Trans. Softw. Eng. 20(5), 353\u2013363 (1994)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41135-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T20:12:49Z","timestamp":1568059969000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41135-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319411347","9783319411354"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41135-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}