{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:51:22Z","timestamp":1725796282113},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319091556"},{"type":"electronic","value":"9783319091563"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09156-3_24","type":"book-chapter","created":{"date-parts":[[2014,7,2]],"date-time":"2014-07-02T11:15:22Z","timestamp":1404299722000},"page":"327-336","source":"Crossref","is-referenced-by-count":0,"title":["Interactive Test Case Design Algorithm"],"prefix":"10.1007","author":[{"given":"Fedor","family":"Strok","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Bach, J., Shroeder, P.: Pairwise Testing A Best Practice That Isnt. In: Proceedings of the 22nd Pacific Northwest Software Quality Conference (2004)"},{"key":"24_CR2","unstructured":"Czerwonka, J.: Pairwise Testing in Real World: Practical Extensions to Test Case Generators. In: Proceedings of the 24th Pacific Northwest Software Quality Conference (2006)"},{"key":"24_CR3","unstructured":"Davey, B., Priestly, H.: Introduction to Lattices and Order, 2nd edn. Cambridge Mathematical Textbooks. Cambridge University Press (2002)"},{"key":"24_CR4","volume-title":"Software Testing and Evaluation","author":"R.A. DeMillo","year":"1987","unstructured":"DeMillo, R.A., McCracken, W.M., Martin, R.J., Passafiume, J.F.: Software Testing and Evaluation. Benjamin\/Cummings Publishing Company, Menlo Park (1987)"},{"issue":"2","key":"24_CR5","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0304-3975(98)00271-0","volume":"217","author":"B. Ganter","year":"1999","unstructured":"Ganter, B.: Attribute exploration with background knowledge. Theoretical Computer Science\u00a0217(2), 215\u2013233 (1999)","journal-title":"Theoretical Computer Science"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer (1999)","DOI":"10.1007\/978-3-642-59830-2"},{"key":"24_CR7","unstructured":"Graham, D.R. (ed.): Computer-Aided Software Testing: The CAST Report. Unicom Seminars Ltd., Middlesex (1991)"},{"key":"24_CR8","unstructured":"Grochtmann, M., Wegener, J., Grimm, K.: Test case design using classification trees and the classification-tree editor CTE. In: Proceedings of Quality Week, vol.\u00a095, p. 30 (May 1995)"},{"issue":"1","key":"24_CR9","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.cose.2008.07.011","volume":"28","author":"S. Obiedkov","year":"2009","unstructured":"Obiedkov, S., Kourie, D.G., Eloff, J.H.: Building access control models with attribute exploration. Computers and Security\u00a028(1), 2\u20137 (2009)","journal-title":"Computers and Security"},{"key":"24_CR10","unstructured":"Offutt, A.J., Pan, J., Voas, J.M.: Procedures for reducing the size of coverage-based test sets. In: Proc. Twelfth Int\u2019l. Conf. Testing Computer Softw. (1995)"},{"key":"24_CR11","unstructured":"Revenko, A., Kuznetsov, S.O.: Attribute Exploration of Properties of Functions on Ordered Sets. In: CLA, pp. 313\u2013324 (2010)"},{"key":"24_CR12","unstructured":"https:\/\/github.com\/ae-hse\/fca\/"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09156-3_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T05:37:36Z","timestamp":1558935456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09156-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091556","9783319091563"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09156-3_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}