{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:15:48Z","timestamp":1752228948626,"version":"3.41.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319591049"},{"type":"electronic","value":"9783319591056"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-59105-6_3","type":"book-chapter","created":{"date-parts":[[2017,5,16]],"date-time":"2017-05-16T07:45:06Z","timestamp":1494920706000},"page":"27-38","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Optimal Controlled Random Tests"],"prefix":"10.1007","author":[{"given":"Ireneusz","family":"Mrozek","sequence":"first","affiliation":[]},{"given":"Vyacheslav","family":"Yarmolik","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,17]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Venkatasubramanian, M., Agrawal, V.D.: Failures guide probabilistic search for a hard-to-find test. In: 25th IEEE North Atlantic Test Workshop, NATW 2016, Providence, RI, USA, May 9\u201311, 2016, pp. 18\u201323 (2016)","DOI":"10.1109\/NATW.2016.18"},{"issue":"6","key":"3_CR2","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1109\/TC.1982.1676041","volume":"31","author":"H Fujiwara","year":"1982","unstructured":"Fujiwara, H., Toida, S.: The complexity of fault detection problems for combinational logic circuits. IEEE Trans. Comput. 31(6), 555\u2013560 (1982)","journal-title":"IEEE Trans. Comput."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Venkatasubramanian, M., Agrawal, V.D.: A new test vector search algorithm for a single stuck-at fault using probabilistic correlation. In: IEEE 23rd North Atlantic Test Workshop, NATW 2014, Johnson City, NY, USA, May 14\u201316, 2014, pp. 57\u201360 (2014)","DOI":"10.1109\/NATW.2014.20"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"1145","DOI":"10.1109\/TC.1983.1676175","volume":"32","author":"D Tang","year":"1983","unstructured":"Tang, D., Woo, L.: Exhaustive test pattern generation with constant weight vectors. IEEE Trans. Comput. 32, 1145\u20131150 (1983)","journal-title":"IEEE Trans. Comput."},{"issue":"5","key":"3_CR5","first-page":"656","volume":"E72","author":"K Furuya","year":"1989","unstructured":"Furuya, K.: A probabilistic approach to locally exhaustive testing. Trans. IEICE (Trans. Inst. Electron. Inf. Commun. Eng.) E72(5), 656\u2013660 (1989)","journal-title":"Trans. IEICE (Trans. Inst. Electron. Inf. Commun. Eng.)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Kuhn, R.D., Okum, V.: Pseudo-exhaustive testing for software. In: Proceedings of the 30th Annual IEEE\/NASA Software Engineering Workshop, Computer Society, pp. 153\u2013158. IEEE, Washington, DC (2006)","DOI":"10.1109\/SEW.2006.26"},{"issue":"3","key":"3_CR7","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1023\/A:1008215624768","volume":"10","author":"D Das","year":"1997","unstructured":"Das, D., Karpovsky, M.: Exhaustive and near-exhaustive memory testing techniques and their BIST implementations. J. Electron. Test. 10(3), 215\u2013229 (1997)","journal-title":"J. Electron. Test."},{"issue":"26","key":"3_CR8","first-page":"66","volume":"2","author":"SV Yarmolik","year":"2010","unstructured":"Yarmolik, S.V.: Iterative near pseudoexhaustive random testing. Informatics 2(26), 66\u201375 (2010)","journal-title":"Informatics"},{"issue":"4","key":"3_CR9","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","volume":"10","author":"JW Duran","year":"1984","unstructured":"Duran, J.W., Ntafos, S.C.: An evaluation of random testing. IEEE Trans. Softw. Eng. 10(4), 438\u2013444 (1984)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR10","unstructured":"Grindal, M., Offutt, J., Andler, S.F.: Combination testing strategies - a survey. Technical report ISE-TR-04-05, GMU Technical report, July 2004"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"582","DOI":"10.1109\/12.54854","volume":"39","author":"S Seth","year":"1990","unstructured":"Seth, S., Agrawal, V., Farhat, H.: A statistical theory of digital circuit testability. IEEE Trans. Comput. 39, 582\u2013586 (1990)","journal-title":"IEEE Trans. Comput."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Sosnowski, J.: Experimental evaluation of pseudorandom test effectiveness. In: Proceedings of 24th Euromicro Conference, Vasteras, Sweden, pp. 184\u2013187. IEEE Computer Society (1998)","DOI":"10.1109\/EURMIC.1998.711795"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Reid, S.C.: An empirical analysis of equivalence partitioning, boundary value analysis and random testing. In: Proceedings of the 4th International Symposium on Software Metrics, Computer Society, pp. 64\u201373. IEEE, Washington, DC (1997)","DOI":"10.1109\/METRIC.1997.637166"},{"key":"3_CR14","unstructured":"Malaiya, Y.K.: Antirandom testing: getting the most out of black-box testing. In: Proceedings of 6th IEEE International Symposium on Software Reliability Engineering, ISSRE 1995, pp. 86\u201395. IEEE Computer Society (1995)"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.jss.2009.02.022","volume":"83","author":"TY Chen","year":"2010","unstructured":"Chen, T.Y., Kuo, F.C., Merkel, R.G., Tse, T.H.: Adaptive random testing: the art of test case diversity. J. Syst. Softw. 83, 60\u201366 (2010)","journal-title":"J. Syst. Softw."},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2008\/165709","volume":"2008","author":"SH Wu","year":"2008","unstructured":"Wu, S.H., Jandhyala, S., Malaiya, Y.K., Jayasumana, A.P.: Antirandom testing: a distance-based approach. VLSI Des. 2008, 1\u20132 (2008)","journal-title":"VLSI Des."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Feldt, R., Poulding, S.M., Clark, D., Yoo, S.: Test set diameter: quantifying the diversity of sets of test cases. In: 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, Chicago, IL, USA, April 11\u201315, 2016, pp. 223\u2013233 (2016)","DOI":"10.1109\/ICST.2016.33"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Choi, E.H., Artho, C., Kitamura, T., Mizuno, O., Yamada, A.: Distance-integrated combinatorial testing. In: Proceedings of 27th International Symposium on Software Reliability Engineering (ISSRE 2016), Ottawa, Canada, pp. 93\u2013104, October 2016","DOI":"10.1109\/ISSRE.2016.26"},{"issue":"1","key":"3_CR19","doi-asserted-by":"publisher","first-page":"191","DOI":"10.2478\/v10006-010-0014-6","volume":"20","author":"I Mrozek","year":"2010","unstructured":"Mrozek, I.: Analysis of multibackground memory testing techniques. Int. J. Appl. Math. Comput. Sci. 20(1), 191\u2013205 (2010)","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"issue":"2","key":"3_CR20","doi-asserted-by":"crossref","first-page":"163","DOI":"10.3233\/FI-2012-732","volume":"119","author":"I Mrozek","year":"2012","unstructured":"Mrozek, I., Yarmolik, V.N.: Antirandom test vectors for BIST in hardware\/software systems. Fundam. Inform. 119(2), 163\u2013185 (2012)","journal-title":"Fundam. Inform."},{"issue":"3","key":"3_CR21","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/s10836-011-5272-1","volume":"28","author":"I Mrozek","year":"2012","unstructured":"Mrozek, I., Yarmolik, V.N.: Iterative antirandom testing. J. Electron. Test 28(3), 301\u2013315 (2012)","journal-title":"J. Electron. Test"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Yiunn, D., Bin A\u2019ain, A., Khor, Ghee, J.: Scalable test pattern generation (STPG). In: 2010 IEEE Symposium on Proceedings of the Industrial Electronics Applications, ISIEA 2010, pp. 433\u2013435, October 2010","DOI":"10.1109\/ISIEA.2010.5679428"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Zhou, Z.: Using coverage information to guide test case selection in adaptive random testing. In: Computer Software and Applications Conference Workshops, pp. 208\u2013213 (2010)","DOI":"10.1109\/COMPSACW.2010.43"},{"issue":"6","key":"3_CR24","doi-asserted-by":"publisher","first-page":"395","DOI":"10.3103\/S0146411615060115","volume":"49","author":"VN Yarmolik","year":"2016","unstructured":"Yarmolik, V.N., Mrozek, I., Yarmolik, S.V.: Controlled method of random test synthesis. Autom. Control Comput. Sci. 49(6), 395\u2013403 (2016)","journal-title":"Autom. Control Comput. Sci."},{"key":"3_CR25","unstructured":"Mayrhauser, A., von, Bai, A., Chen, T., Anderson, C., Hajjar, A.: Fast antirandom (FAR) test generation. In: Proceedings of 3rd IEEE International Symposium on High-Assurance Systems Engineering, HASE 1998, pp. 262\u2013269. IEEE Computer Society, Washington, DC (1998)"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/978-3-319-45378-1_38","volume-title":"Computer Information Systems and Industrial Management","author":"I Mrozek","year":"2016","unstructured":"Mrozek, I., Yarmolik, V.: Methods of synthesis of controlled random tests. In: Saeed, K., Homenda, W. (eds.) CISIM 2016. LNCS, vol. 9842, pp. 429\u2013440. Springer, Cham (2016). doi:10.1007\/978-3-319-45378-1_38"},{"issue":"6","key":"3_CR27","doi-asserted-by":"publisher","first-page":"395","DOI":"10.3103\/S0146411615060115","volume":"49","author":"VN Yarmolik","year":"2015","unstructured":"Yarmolik, V.N., Mrozek, I., Yarmolik, S.V.: Controlled method of random test synthesis. Autom. Control Comput. Sci. 49(6), 395\u2013403 (2015)","journal-title":"Autom. Control Comput. Sci."},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Xu, S.: Orderly random testing for both hardware and software. In: Proceedings of the 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing, Washington, DC, pp. 160\u2013167. IEEE Computer Society (2008)","DOI":"10.1109\/PRDC.2008.7"},{"key":"3_CR29","unstructured":"Wu, S.H., Malaiya, Y.K., Jayasumana, A.P.: Antirandom vs. pseudorandom testing. In: Proceedings of IEEE International Conference on Computer Design: VLSI in Computers and Processors, ICCD 1998, p. 221 (1998)"},{"key":"3_CR30","unstructured":"Xu, S., Chen, J.: Maximum distance testing. In: Asian Test Symposium, pp. 15\u201320 (2002)"},{"key":"3_CR31","volume-title":"The Art of Computer Programming: Sorting and Searching","author":"DE Knuth","year":"1998","unstructured":"Knuth, D.E.: The Art of Computer Programming: Sorting and Searching, vol. 3, 2nd edn. Addison Wesley Longman Publishing Co., Inc, Redwood City (1998)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Computer Information Systems and Industrial Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59105-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:39:12Z","timestamp":1750264752000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-59105-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319591049","9783319591056"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59105-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"17 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CISIM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Computer Information Systems and Industrial Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bialystok","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 June 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cisim2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/wi.pb.edu.pl\/cisim2017\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}