{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:21:44Z","timestamp":1725560504831},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213055"},{"type":"electronic","value":"9783540247210"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24721-0_21","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:15:12Z","timestamp":1280276112000},"page":"281-294","source":"Crossref","is-referenced-by-count":23,"title":["Filtering TOBIAS Combinatorial Test Suites"],"prefix":"10.1007","author":[{"given":"Yves","family":"Ledru","sequence":"first","affiliation":[]},{"given":"Lydie","family":"du Bousquet","sequence":"additional","affiliation":[]},{"given":"Olivier","family":"Maury","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Bontron","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/3-540-48249-0_22","volume-title":"Computer Safety, Reliability and Security","author":"B.K. Aichernig","year":"1999","unstructured":"Aichernig, B.K.: Automated black-box testing with abstract VDM oracles. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol.\u00a01698, pp. 250\u2013259. Springer, Heidelberg (1999)"},{"key":"21_CR2","volume-title":"Proceedings of the International Symposium on Software Testing and Analysis","author":"C. Boyapati","year":"2002","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated testing based on java predicates. In: Proceedings of the International Symposium on Software Testing and Analysis, Rome, July 22-24. IEEE, Los Alamitos (2002)"},{"key":"21_CR3","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: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 231\u2013255. Springer, Heidelberg (2002)"},{"issue":"5","key":"21_CR4","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 Software\u00a013(5), 83\u201388 (1996)","journal-title":"IEEE Software"},{"key":"21_CR5","unstructured":"du Bousquet, L., Martin, H., J\u00e9z\u00e9quel, J.-M.: Conformance Testing from UML specifications, Experience Report. In: Informatik, G.f. (ed.) p-UML workshop, Toronto. Lecture Notes in Informatics, vol.\u00a0P-7, pp. 43\u201356 (2001)"},{"key":"21_CR6","unstructured":"The VDM Tool Group. VDM-SL Toolbox User Manual. Technical report, IFAD (October 2000), \n                    \n                      ftp:\/\/ftp.ifad.dk\/pub\/vdmtools\/doc\/usermanletter.pdf"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-48683-6_12","volume-title":"Computer Aided Verification","author":"T. J\u00e9ron","year":"1999","unstructured":"J\u00e9ron, T., Morel, P.: Test Generation Derived from Model-checking. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 108\u2013121. Springer, Heidelberg (1999)"},{"key":"21_CR8","unstructured":"The Java Modeling Language (JML) Home Page, \n                    \n                      http:\/\/www.cs.iastate.edu\/~leavens\/JML.html"},{"key":"21_CR9","unstructured":"JUnit, \n                    \n                      http:\/\/www.junit.org"},{"key":"21_CR10","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-1-4615-5229-1_12","volume-title":"Behavioral Specifications of Businesses and Systems","author":"G.T. Leavens","year":"1999","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: JML: A notation for detailed design. In: Kilov, H., Rumpe, B., Simmonds, I. (eds.) Behavioral Specifications of Businesses and Systems, pp. 175\u2013188. Kluwer, Dordrecht (1999)"},{"key":"21_CR11","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98-06q, Iowa State University, Department of Computer Science (June 2002)"},{"key":"21_CR12","unstructured":"Maury, O., Ledru, Y., Bontron, P., du Bousquet, L.: Using TOBIAS for the automatic generation of VDM test cases. In: Third VDM Workshop (in conjunction with FME 2002) (July 2002)"}],"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-540-24721-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T12:36:28Z","timestamp":1552826188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24721-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213055","9783540247210"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24721-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}