{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T22:02:43Z","timestamp":1776031363102,"version":"3.50.1"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,3,17]],"date-time":"2011-03-17T00:00:00Z","timestamp":1300320000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2012,2]]},"DOI":"10.1007\/s10009-011-0190-1","type":"journal-article","created":{"date-parts":[[2011,3,16]],"date-time":"2011-03-16T01:59:49Z","timestamp":1300240789000},"page":"73-93","source":"Crossref","is-referenced-by-count":13,"title":["Coverage-biased random exploration of large models and application to testing"],"prefix":"10.1007","volume":"14","author":[{"given":"Alain","family":"Denise","sequence":"first","affiliation":[]},{"given":"Marie-Claude","family":"Gaudel","sequence":"additional","affiliation":[]},{"given":"Sandrine-Dominique","family":"Gouraud","sequence":"additional","affiliation":[]},{"given":"Richard","family":"Lassaigne","sequence":"additional","affiliation":[]},{"given":"Johan","family":"Oudinet","sequence":"additional","affiliation":[]},{"given":"Sylvain","family":"Peyronnet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,3,17]]},"reference":[{"key":"190_CR1","doi-asserted-by":"crossref","unstructured":"Abed, N., Tripakis, S., Vincent, J.-M.: Resource-aware verification using randomized exploration of large state spaces. In: Model Checking Software. 15th International SPIN Workshop. Lecture Notes in Computer Science, vol. 5156, pp. 214\u2013231 (2008)","DOI":"10.1007\/978-3-540-85114-1_16"},{"key":"190_CR2","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01047002","volume":"4","author":"D. Aldous","year":"1991","unstructured":"Aldous D.: An introduction to covering problems for random walks on graphs. J. Theor. Probab. 4, 197\u2013211 (1991)","journal-title":"J. Theor. Probab."},{"key":"190_CR3","volume-title":"Finite Transition Systems","author":"A. Arnold","year":"1994","unstructured":"Arnold A.: Finite Transition Systems. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"190_CR4","unstructured":"Barrett, C., Ranise, S., Stump, A., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB). http:\/\/www.SMT-LIB.org (2008)"},{"key":"190_CR5","doi-asserted-by":"crossref","unstructured":"Bobot, F., Conchon, S., Contejean, E., Lescuyer, S.: Implementing polymorphism in SMT solvers. In: SMT \u201908\/BPR \u201908: Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning, pp. 1\u20135. ACM, New York (2008)","DOI":"10.1145\/1512464.1512466"},{"key":"190_CR6","doi-asserted-by":"crossref","unstructured":"Cavalli, A., Lee, D., Rinderknecht, C., Za\u00efdi, F.: Hit-or-Jump: an algorithm for embedded testing with applications to in services. In: Wu, J., et\u00a0al. (eds.) Proceeding of IFIP International Conference FORTE\/PSTV\u201999, pp. 41\u201356. Beijing, China October 1999","DOI":"10.1007\/978-0-387-35578-8_3"},{"issue":"12","key":"190_CR7","doi-asserted-by":"crossref","first-page":"977","DOI":"10.1109\/32.368132","volume":"20","author":"T.Y. Chen","year":"1994","unstructured":"Chen T.Y., Yu Y.T.: On the relationship between partition and random testing. IEEE Trans. Softw. Eng. 20(12), 977\u2013980 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"190_CR8","volume-title":"MuPAD Tutorial","author":"C. Creutzig","year":"2004","unstructured":"Creutzig C., Oevel W.: MuPAD Tutorial, 2nd edn. Springer, New York (2004)","edition":"2"},{"key":"190_CR9","doi-asserted-by":"crossref","unstructured":"Crouzet, Y., Waeselynck, H., Lussier, B., Powell, D.: The SESAME experience: from assembly languages to declarative models. In: MUTATION \u201906: Proceedings of the Second Workshop on Mutation Analysis, p. 7. IEEE Computer Society, Washington DC (2006)","DOI":"10.1109\/MUTATION.2006.14"},{"key":"190_CR10","doi-asserted-by":"crossref","unstructured":"Mendon\u00e7a de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: TACAS. Lecture Notes in Computer Science, vol. 4963, pp. 337\u2013340 (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"190_CR11","unstructured":"DeMillo, R.A.: Mutation analysis as a tool for software quality assurance. In: Proceedings COMPSAC\u201980, pp. 390\u2013393 (1980)"},{"key":"190_CR12","doi-asserted-by":"crossref","unstructured":"Denise, A., Gaudel, M.-C., Gouraud S.-D.: A generic method for statistical testing. In: ISSRE, pp. 25\u201334. IEEE Computer Society (2004)","DOI":"10.1109\/ISSRE.2004.2"},{"key":"190_CR13","unstructured":"Duran, J.W., Ntafos, S.C.: A report on random testing. In: 5th IEEE International Conference on Software Engineering, pp. 179\u2013183 (1981)"},{"key":"190_CR14","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","volume":"SE-10","author":"J.W. Duran","year":"1984","unstructured":"Duran J.W., Ntafos S.C.: An evaluation of random testing. IEEE Trans. Softw. Eng. SE-10, 438\u2013444 (1984)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"190_CR15","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Elbaum, S.G., Person, S., Purandare, R.: Parallel randomized state-space search. In: 29th International Conference on Software Engineering (ICSE 2007), pp. 3\u201312 (2007)","DOI":"10.1109\/ICSE.2007.62"},{"issue":"1","key":"190_CR16","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/226155.226158","volume":"5","author":"R. Ferguson","year":"1996","unstructured":"Ferguson R., Korel B.: The chaining approach for software test data generation. ACM Trans. Softw. Eng. Methodol. 5(1), 63\u201386 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"190_CR17","doi-asserted-by":"crossref","unstructured":"Flajolet, P., Sedgewick, R.: Analytic Combinatorics. Cambridge University Press (2008)","DOI":"10.1017\/CBO9780511801655"},{"key":"190_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(94)90226-7","volume":"132","author":"P. Flajolet","year":"1994","unstructured":"Flajolet P., Zimmermann P., Van Cutsem B.: A calculus for the random generation of Labelled Combinatorial Structures. Theor. Comput. Sci. 132, 1\u201335 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"190_CR19","unstructured":"Garavel, H., Descoubes, N.: Very Large Transition Systems. http:\/\/tinyurl.com\/yuroxx . July 2003"},{"key":"190_CR20","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An overview of CADP 2001. Technical Report 0254, INRIA (2001)"},{"key":"190_CR21","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: PLDI \u201905: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, pp. 213\u2013223. ACM, New York (2005)","DOI":"10.1145\/1065010.1065036"},{"key":"190_CR22","unstructured":"Gouraud, S.-D.: Utilisation des Structures Combinatoires pour le Test Statistique. PhD thesis, Universit\u00e9 Paris-Sud 11, LRI. June 2004"},{"key":"190_CR23","unstructured":"Gouraud S.-D.: Auguste: a tool for statistical testing. LRI research report RR-1400, Universit\u00e9 de Paris-Sud 11 (2005)"},{"key":"190_CR24","doi-asserted-by":"crossref","unstructured":"Gouraud, S.-D., Denise, A., Gaudel M.-C., Marre B.: A new way of automating statistical testing methods. In: ASE, pp. 5\u201312. IEEE Computer Society (2001)","DOI":"10.1109\/ASE.2001.989785"},{"key":"190_CR25","unstructured":"Torbj\u00f6rn Granlund: GNU MP: The GNU Multiple Precision Arithmetic Library. http:\/\/gmplib.org\/manual\/"},{"key":"190_CR26","doi-asserted-by":"crossref","unstructured":"Grosu, R., Smolka, S.A.: Monte Carlo model checking. In: TACAS. Lecture Notes in Computer Science, vol. 3440, pp. 271\u2013286. Springer, New York (2005)","DOI":"10.1007\/978-3-540-31980-1_18"},{"issue":"5","key":"190_CR27","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1109\/32.815325","volume":"25","author":"W.J. Gutjahr","year":"1999","unstructured":"Gutjahr W.J.: Partition testing vs. random testing: the influence of uncertainty. IEEE Trans. Softw. Eng. 25(5), 661\u2013674 (1999)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"190_CR28","doi-asserted-by":"crossref","unstructured":"H\u00e9rault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate probabilistic model checking. In: Steffen, B., Levi, G. (eds.) VMCAI. Lecture Notes in Computer Science, vol. 2937, pp. 73\u201384. Springer, New York (2004)","DOI":"10.1007\/978-3-540-24622-0_8"},{"key":"190_CR29","unstructured":"Hogrefe, D.: OSI Formal Specification Case Study: The INRES Protocol and Service (revised). Technical Report IAM-91-012, Institut fur Informatik, Universitat Bern. May 1991"},{"issue":"1","key":"190_CR30","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1145\/568438.568455","volume":"32","author":"J.E. Hopcroft","year":"2001","unstructured":"Hopcroft J.E., Motwani R., Ullman J.D.: Introduction to automata theory, languages, and computation, 2nd edn. SIGACT News 32(1), 60\u201365 (2001)","journal-title":"SIGACT News"},{"key":"190_CR31","doi-asserted-by":"crossref","unstructured":"Kalaji, A.S., Hierons, R.M., Swift, S.: Generating feasible transition paths for testing from an extended finite state machine (EFSM). In: ICST \u201909: Proceedings of the 2009 International Conference on Software Testing Verification and Validation, pp. 230\u2013239. IEEE Computer Society, Washington DC (2009)","DOI":"10.1109\/ICST.2009.29"},{"key":"190_CR32","doi-asserted-by":"crossref","unstructured":"Marre, B., Blanc, B.: Test selection strategies for Lustre descriptions in GATeL. In: Model-Based Testing Workshop, volume 111, 1 of Electronic Notes in Theoretical Computer Science, pp. 93\u2013111 (2005)","DOI":"10.1016\/j.entcs.2004.12.010"},{"key":"190_CR33","unstructured":"Maurer, J., Abrahams, D., Dawes, B., Rivera, R.: Boost random number library. http:\/\/www.boost.org\/libs\/random\/ . June 2000"},{"key":"190_CR34","first-page":"132","volume-title":"CAV. Lecture Notes in Computer Science, vol. 818","author":"M. Mihail","year":"1994","unstructured":"Mihail M., Papadimitriou C.H.: On the random walk method for protocol testing. In: Dill, D.L. (eds) CAV. Lecture Notes in Computer Science, vol. 818, pp. 132\u2013141. Springer, New York (1994)"},{"key":"190_CR35","first-page":"167","volume-title":"Handbook on Software Reliability Engineering","author":"J. Musa","year":"1996","unstructured":"Musa J., Fuoco G., Irving N., Krofl D., Juhli B.: The operational profile. In: Lyu, M.R. (eds) Handbook on Software Reliability Engineering, pp. 167\u2013218. IEEE Computer Society Press, McGraw-Hill, New York (1996)"},{"issue":"10","key":"190_CR36","doi-asserted-by":"crossref","first-page":"949","DOI":"10.1109\/32.962563","volume":"27","author":"S.C. Ntafos","year":"2001","unstructured":"Ntafos S.C.: On comparisons of random, partition, and proportional partition testing. IEEE Trans. Softw. Eng. 27(10), 949\u2013960 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"190_CR37","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Lahiri, S.K., Ernst, M.D., Ball, T.: Feedback-directed random test generation. In: 29th International Conference on Software Engineering (ICSE 2007), pp. 75\u201384 (2007)","DOI":"10.1109\/ICSE.2007.37"},{"issue":"2","key":"190_CR38","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0164-1212(03)00241-3","volume":"73","author":"S. Prowell","year":"2004","unstructured":"Prowell S., Poore J.: Computing system reliability using Markov chain usage models. J. Syst. Softw. 73(2), 215\u2013225 (2004)","journal-title":"J. Syst. Softw."},{"key":"190_CR39","doi-asserted-by":"crossref","unstructured":"Reid, S.: An empirical analysis of equivalence partitioning, boundary value analysis and random testing. In: IEEE METRICS Conference, pp. 64\u201373 (1997)","DOI":"10.1109\/METRIC.1997.637166"},{"key":"190_CR40","doi-asserted-by":"crossref","unstructured":"Rungta, N., Mercer, E.G.: Generating counter-examples through randomized guided search. In: SPIN Workshop. Lecture Notes in Computer Science, vol. 4595, pp. 39\u201357. Springer, New York (2007)","DOI":"10.1007\/978-3-540-73370-6_5"},{"key":"190_CR41","doi-asserted-by":"crossref","unstructured":"Sen, K.: Effective random testing of concurrent programs. In: ASE \u201907: Proceedings of the twenty-second IEEE\/ACM International Conference on Automated Software Engineering, pp. 323\u2013332. ACM, New York (2007)","DOI":"10.1145\/1321631.1321679"},{"key":"190_CR42","doi-asserted-by":"crossref","unstructured":"Seneta, E.: Non-negative Matrices and Markov Chains, 2nd edn. Springer-Verlag (2006). (The 1st edn. appeared in 1981)","DOI":"10.1007\/0-387-32792-4"},{"key":"190_CR43","unstructured":"Th\u00e9venod-Fosse, P.: Software validation by means of statistical testing: Retrospect and future direction. In: International Working Conference on Dependable Computing for Critical Applications, pp. 15\u201322. Rapport L.A.A.S. No 89043 (1989)"},{"issue":"2","key":"190_CR44","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1002\/stvr.4370010203","volume":"1","author":"P. Th\u00e9venod-Fosse","year":"1991","unstructured":"Th\u00e9venod-Fosse P., Waeselynck H.: An investigation of software statistical testing. J. Softw. Test. Verif. Reliab. 1(2), 5\u201326 (1991)","journal-title":"J. Softw. Test. Verif. Reliab."},{"key":"190_CR45","unstructured":"Th\u00e9venod-Fosse, P., Waeselynck, H., Crouzet, Y.: Software statistical testing. In: Randell, B., Laprie, J.C., Kopetz, H., Littlewood, B. (eds.) Predictably Dependable Computing Systems, pp. 253\u2013272. Springer, New York (1995). ISBN:3-540-59334-9"},{"issue":"2","key":"190_CR46","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser W., Havelund K., Brat G.P., Park S., Lerda F.: Model checking programs. Autom. Softw. Eng. 10(2), 203\u2013232 (2003)","journal-title":"Autom. Softw. Eng."},{"key":"190_CR47","doi-asserted-by":"crossref","unstructured":"West, C.H.: Protocol validation in complex systems. In: SIGCOMM, pp. 303\u2013312 (1989)","DOI":"10.1145\/75247.75276"},{"issue":"7","key":"190_CR48","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1109\/32.83906","volume":"17","author":"E.J. Weyuker","year":"1991","unstructured":"Weyuker E.J., Jeng B.: Analyzing partition testing strategies. IEEE Trans. Softw. Eng. 17(7), 703\u2013711 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"190_CR49","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0001-8708(77)90059-7","volume":"24","author":"H.S. Wilf","year":"1977","unstructured":"Wilf H.S.: A unified setting for sequencing, ranking, and selection algorithms for combinatorial objects. Adv. Math. 24, 281\u2013291 (1977)","journal-title":"Adv. Math."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-011-0190-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-011-0190-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-011-0190-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T14:37:54Z","timestamp":1741099074000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-011-0190-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,17]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,2]]}},"alternative-id":["190"],"URL":"https:\/\/doi.org\/10.1007\/s10009-011-0190-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,17]]}}}