{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T19:10:25Z","timestamp":1742757025555,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288715"},{"type":"electronic","value":"9783642288722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28872-2_30","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:48:16Z","timestamp":1332449296000},"page":"439-454","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Filtering of Combinatorial Test Suites"],"prefix":"10.1007","author":[{"given":"Taha","family":"Triki","sequence":"first","affiliation":[]},{"given":"Yves","family":"Ledru","sequence":"additional","affiliation":[]},{"given":"Lydie","family":"du Bousquet","sequence":"additional","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Dadeau","sequence":"additional","affiliation":[]},{"given":"Julien","family":"Botella","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: The B\u00a0Book - Assigning Programs to Meanings. Cambridge University Press (August 1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"30_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"754","DOI":"10.1007\/978-3-540-89982-2_71","volume-title":"Logic Programming","author":"H. Belhaouari","year":"2008","unstructured":"Belhaouari, H., Peschanski, F.: A Constraint Logic Programming Approach to Automated Testing. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 754\u2013758. Springer, Heidelberg (2008)"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"du Bousquet, L., Ledru, Y., Maury, O., Oriat, C., Lanet, J.L.: Reusing a JML specification dedicated to verification for testing, and vice-versa: case studies. Journal of Automated Reasoning 45(4) (2010)","DOI":"10.1007\/s10817-009-9132-y"},{"key":"30_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/3-540-47993-7_10","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"Y. Cheon","year":"2002","unstructured":"Cheon, Y., Leavens, G.T.: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. In: Deng, T. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 231\u2013255. Springer, Heidelberg (2002)"},{"issue":"5","key":"30_CR5","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/52.536462","volume":"13","author":"D.M. Cohen","year":"1996","unstructured":"Cohen, D.M., Dalal, S.R., Parelius, J., Patton, G.C.: The combinatorial design approach to automatic test generation. IEEE Softw.\u00a013(5), 83\u201388 (1996)","journal-title":"IEEE Softw."},{"key":"30_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-540-73066-8_4","volume-title":"Testing of Software and Communicating Systems","author":"C. Constant","year":"2007","unstructured":"Constant, C., Jeannet, B., J\u00e9ron, T.: Automatic Test Generation from Interprocedural Specifications. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) TestCom\/FATES 2007. LNCS, vol.\u00a04581, pp. 41\u201357. Springer, Heidelberg (2007)"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Dadeau, F., Ledru, Y., Bousquet, L.D.: Directed random reduction of combinatorial test suites. In: Random Testing 2007, pp. 18\u201325. ACM (2007)","DOI":"10.1145\/1292414.1292421"},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"Dadeau, F., Tissot, R.: jSynoPSys \u2013 a scenario-based testing tool based on the symbolic animation of B machines. In: Finkbeiner, B., Gurevich, Y., Petrenko, A.K. (eds.) MBT 2009 Proceedings. ENTCS, vol.\u00a0253-2, pp. 117\u2013132 (2009)","DOI":"10.1016\/j.entcs.2009.09.055"},{"key":"30_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/11752707_9","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"S. Dupuy-Chessa","year":"2006","unstructured":"Dupuy-Chessa, S., du Bousquet, L., Bouchet, J., Ledru, Y.: Test of the ICARE Platform Fusion Mechanism. In: Gilroy, S.W., Harrison, M.D. (eds.) DSVIS 2005. LNCS, vol.\u00a03941, pp. 102\u2013113. Springer, Heidelberg (2006)"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Ferro, L., Pierre, L., Ledru, Y., du Bousquet, L.: Generation of test programs for the assertion-based verification of TLM models. In: 3rd International Design and Test Workshop, IDT 2008, pp. 237\u2013242. IEEE (December 2008)","DOI":"10.1109\/IDT.2008.4802505"},{"key":"30_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-540-71289-3_23","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Fraser","year":"2007","unstructured":"Fraser, G., Wotawa, F.: Redundancy Based Test-Suite Reduction. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 291\u2013305. Springer, Heidelberg (2007)"},{"key":"30_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-05031-2_7","volume-title":"Testing of Software and Communication Systems","author":"W. Grieskamp","year":"2009","unstructured":"Grieskamp, W., Qu, X., Wei, X., Kicillof, N., Cohen, M.B.: Interaction Coverage Meets Path Coverage by SMT Constraint Solving. In: N\u00fa\u00f1ez, M., Baker, P., Merayo, M.G. (eds.) TESTCOM\/FATES 2009. LNCS, vol.\u00a05826, pp. 97\u2013112. Springer, Heidelberg (2009)"},{"issue":"3","key":"30_CR13","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1145\/152388.152391","volume":"2","author":"M.J. Harrold","year":"1993","unstructured":"Harrold, M.J., Gupta, R., Soffa, M.L.: A methodology for controlling the size of a test suite. ACM Trans. Softw. Eng. Methodol.\u00a02(3), 270\u2013285 (1993)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"30_CR14","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10515-006-0004-y","volume":"14","author":"M. Heimdahl","year":"2007","unstructured":"Heimdahl, M., George, D.: On the effect of test-suite reduction on automatically generated model-based tests. Automated Software Engineering\u00a014, 37\u201357 (2007)","journal-title":"Automated Software Engineering"},{"key":"30_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-00593-0_12","volume-title":"Fundamental Approaches to Software Engineering","author":"V. Jagannath","year":"2009","unstructured":"Jagannath, V., Lee, Y.Y., Daniel, B., Marinov, D.: Reducing the Costs of Bounded-Exhaustive Testing. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 171\u2013185. Springer, Heidelberg (2009)"},{"key":"30_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/978-3-642-05089-3_36","volume-title":"FM 2009: Formal Methods","author":"K. Lausdahl","year":"2009","unstructured":"Lausdahl, K., Lintrup, H.K.A., Larsen, P.G.: Connecting UML and VDM++ with Open Tool Support. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 563\u2013578. Springer, Heidelberg (2009)"},{"key":"30_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-540-24721-0_21","volume-title":"Fundamental Approaches to Software Engineering","author":"Y. Ledru","year":"2004","unstructured":"Ledru, Y., du Bousquet, L., Maury, O., Bontron, P.: Filtering TOBIAS Combinatorial Test Suites. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 281\u2013294. Springer, Heidelberg (2004)"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"Ledru, Y., Dadeau, F., du Bousquet, L., Ville, S., Rose, E.: Mastering combinatorial explosion with the Tobias-2 test generator. In: IEEE\/ACM Int. Conf. on Automated Software Engineering, pp. 535\u2013536. ACM (2007); demonstration","DOI":"10.1145\/1321631.1321731"},{"key":"30_CR19","unstructured":"Maury, O., Ledru, Y., Bontron, P., du Bousquet, L.: Using Tobias for the automatic generation of VDM test cases. In: 3rd VDM Workshop (in Conjunction with FME 2002) (2002)"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"Rothermel, G., Harrold, M.J., Ostrin, J., Hong, C.: An empirical study of the effects of minimization on the fault detection capabilities of test suites. In: Int. Conf. on Software Maintenance, pp. 34\u201343. IEEE (1998)","DOI":"10.1109\/ICSM.1998.738487"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28872-2_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T18:49:42Z","timestamp":1742755782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28872-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288715","9783642288722"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28872-2_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}