{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T23:41:44Z","timestamp":1741131704287,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642209970"},{"type":"electronic","value":"9783642209987"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20998-7_54","type":"book-chapter","created":{"date-parts":[[2011,4,8]],"date-time":"2011-04-08T11:33:10Z","timestamp":1302262390000},"page":"457-458","source":"Crossref","is-referenced-by-count":0,"title":["Test Case Generation for Formal Concept Analysis"],"prefix":"10.1007","author":[{"given":"Ha Jin","family":"Hwang","sequence":"first","affiliation":[]},{"given":"Joo Ik","family":"Tak","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"54_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-540-32262-7_7","volume-title":"Formal Concept Analysis","author":"G. Ar\u00e9valo","year":"2005","unstructured":"Ar\u00e9valo, G., Ducasse, S., Nierstrasz, O.: Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering. In: Ganter, B., Godin, R. (eds.) ICFCA 2005. LNCS (LNAI), vol.\u00a03403, pp. 95\u2013112. Springer, Heidelberg (2005)"},{"key":"54_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-540-39800-4_7","volume-title":"Formal Methods for Software Architectures","author":"A. Bertolino","year":"2003","unstructured":"Bertolino, A., Inverardi, P., Muccini, H.: Formal Methods in Testing Software Architectures. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 122\u2013147. Springer, Heidelberg (2003)"},{"key":"54_CR3","volume-title":"Testing Object-Oriented Systems-Models, Patterns, and Tools, Object Technology","author":"R.V. Binder","year":"1999","unstructured":"Binder, R.V.: Testing Object-Oriented Systems-Models, Patterns, and Tools, Object Technology. Addison-Wesley, Reading (1999)"},{"issue":"4","key":"54_CR4","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s10270-005-0090-5","volume":"4","author":"L.C. Briand","year":"2005","unstructured":"Briand, L.C., Labiche, Y., Cui, J.: Automated support for deriving test requirements from UML statecharts. Software and Systems Modeling\u00a04(4), 399\u2013423 (2005)","journal-title":"Software and Systems Modeling"},{"key":"54_CR5","volume-title":"Testing embedded software","author":"B. Broekman","year":"2003","unstructured":"Broekman, B., Notenboom, E.: Testing embedded software. Addison-Wesley, Reading (2003)"},{"key":"54_CR6","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/S0950-5849(98)00050-0","volume":"40","author":"T.Y. Chen","year":"1998","unstructured":"Chen, T.Y., Lau, M.F.: A New Heuristic for Test Suite Reduction. Information and Software Technology\u00a040, 347\u2013354 (1998)","journal-title":"Information and Software Technology"},{"key":"54_CR7","doi-asserted-by":"crossref","unstructured":"Chevalley, P., Thevenod-Fosse, P.: Automated generation of statistical test cases from UML state diagrams. In: 25th Annual International Computer Software and Applications Conference, COMPSAC 2001, October 8-12, pp. 205\u2013214 (2001)","DOI":"10.1109\/CMPSAC.2001.960618"},{"key":"54_CR8","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"2001","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 2nd edn. MIT Press, Cambridge (2001)","edition":"2"},{"key":"54_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1999)"},{"key":"54_CR10","doi-asserted-by":"crossref","unstructured":"Harrold, M.J.: Testing: a roadmap. In: ICSE - The Future of Software Engineering Track, Limerick, Ireland, June 4-11, pp. 61\u201372 (2000)","DOI":"10.1145\/336512.336532"},{"issue":"3","key":"54_CR11","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 Transactions on Software Engineering and Methodology\u00a02(3), 270\u2013285 (1993)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"54_CR12","doi-asserted-by":"crossref","unstructured":"Hartmann, J., Imoberdorf, C., Meisinger, M.: UML-based Integration Testing. In: Proceedings of ACM Symposium on Software Testing and Analysis, pp. 60\u201370 (2000)","DOI":"10.1145\/347636.348872"},{"issue":"4","key":"54_CR13","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1049\/ip-sen:19990602","volume":"146","author":"Y.G. Kim","year":"1999","unstructured":"Kim, Y.G., Hong, H.S., Cho, S.M., Bae, D.H., Cha, S.D.: Test Cases Generation from UML State Diagrams. IEEE Software\u00a0146(4), 187\u2013192 (1999)","journal-title":"IEEE Software"},{"key":"54_CR14","doi-asserted-by":"crossref","unstructured":"Korel, B., Singh, I., Tahat, L., Vaysburg, B.: Slicing of state-based models. In: Proceedings of International Conference on Software Maintenance, ICSM 2003, September 22-26, pp. 34\u201343 (2003)","DOI":"10.1109\/ICSM.2003.1235404"},{"key":"54_CR15","volume-title":"Working with Conceptual Structures - Contributions to ICCS 2000","author":"C. Lindig","year":"2000","unstructured":"Lindig, C.: Fast Concept Analysis. In: Stumme, G. (ed.) Working with Conceptual Structures - Contributions to ICCS 2000. Shaker Verlag, Aachen (2000)"},{"key":"54_CR16","doi-asserted-by":"crossref","unstructured":"Murthy, P.V.R., Anitha, P.C., Mahesh, M., Subramanyan, R.: Test Ready UML Statechart Models. In: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools SCESM 2006, pp. 75\u201382 (2006)","DOI":"10.1145\/1138953.1138968"},{"key":"54_CR17","doi-asserted-by":"crossref","unstructured":"Nobe, C.R., Warner, W.E.: Lessons learned from a trial application of requirements modeling using statecharts. In: Proceedings of the Second International Conference on Requirements Engineering, April 15-18, pp. 86\u201393 (1996)","DOI":"10.1109\/ICRE.1996.491433"},{"issue":"1","key":"54_CR18","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1002\/stvr.264","volume":"13","author":"J. Offutt","year":"2003","unstructured":"Offutt, J., Liu, S., Abdurazik, A., Ammann, P.: Generating Test Data from State-based Specifications. Software Testing, Verification and Reliability\u00a013(1), 25\u201353 (2003)","journal-title":"Software Testing, Verification and Reliability"},{"key":"54_CR19","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"2005","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Boston (2005)","edition":"2"},{"key":"54_CR20","unstructured":"Sampath, S., Mihaylov, S.V., Souter, A., Pollock, L.: A Scalable Approach to User-Session based Testing of Web Applications through Concept Analysis. In: Proceedings of 19th International Conference on Automated Software Engineering (ASE 2004), Linz, Austria (2004)"},{"issue":"2","key":"54_CR21","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/227607.227613","volume":"5","author":"G. Snelting","year":"1996","unstructured":"Snelting, G.: Reengineering of configurations based on mathematical concept analysis. ACM Transactions on Software Engineering and Methodology\u00a05(2), 146\u2013189 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"54_CR22","doi-asserted-by":"crossref","unstructured":"Tallam, S., Gupta, N.: A Concept Analysis Inspired Greedy Algorithm for Test Suite Minimization. In: Proceedings of 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2005, vol.\u00a031(1), pp. 35\u201342 (2005)","DOI":"10.1145\/1108768.1108802"},{"key":"54_CR23","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M. Utting","year":"2007","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, San Francisco (2007)"}],"container-title":["Communications in Computer and Information Science","Ubiquitous Computing and Multimedia Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20998-7_54","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T23:22:10Z","timestamp":1741130530000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20998-7_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642209970","9783642209987"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20998-7_54","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}