{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:20:25Z","timestamp":1775053225615,"version":"3.50.1"},"reference-count":79,"publisher":"Pleiades Publishing Ltd","issue":"6","license":[{"start":{"date-parts":[[2008,11,1]],"date-time":"2008-11-01T00:00:00Z","timestamp":1225497600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,11,1]],"date-time":"2008-11-01T00:00:00Z","timestamp":1225497600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1134\/s0361768808060066","type":"journal-article","created":{"date-parts":[[2008,11,22]],"date-time":"2008-11-22T00:55:14Z","timestamp":1227315314000},"page":"351-363","update-policy":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Automation of broad sanity test generation"],"prefix":"10.1134","volume":"34","author":[{"given":"R. S.","family":"Zybin","sequence":"first","affiliation":[]},{"given":"V. V.","family":"Kuliamin","sequence":"additional","affiliation":[]},{"given":"A. V.","family":"Ponomarenko","sequence":"additional","affiliation":[]},{"given":"V. V.","family":"Rubanov","sequence":"additional","affiliation":[]},{"given":"E. S.","family":"Chernov","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2008,11,23]]},"reference":[{"key":"6006_CR1","unstructured":"IEEE 1003.1-2004. Information Technology\u2014Portable Operating System Interface (POSIX), New York: IEEE, 2004."},{"key":"6006_CR2","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/doc.trolltech.com\/4.2\/index.html."},{"key":"6006_CR3","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.linuxbase.org."},{"key":"6006_CR4","unstructured":"ISO\/IEC 9899-1999. Programming Languages-C, Geneva: ISO, 1999."},{"key":"6006_CR5","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.pathname.com\/fhs\/."},{"key":"6006_CR6","unstructured":"XLib\u2014C Language X Interface. X Consortium Standard, https:\/\/linproxy.fan.workers.dev:443\/http\/refspecs.freestandards.org\/X11\/xlib.pdf."},{"key":"6006_CR7","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.opengl.org."},{"key":"6006_CR8","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.gtk.org."},{"key":"6006_CR9","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/doc.trolltech.com\/3.3\/index.html."},{"key":"6006_CR10","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.linux-foundation.org\/navigator\/commons\/welcome.php."},{"key":"6006_CR11","first-page":"121","volume":"58","author":"C.J. Colbourn","year":"2004","unstructured":"Colbourn, C.J., Combinatorial Aspects of Covering Arrays, Le Mathemetiche (Catania), 2004, vol. 58, pp. 121\u2013167.","journal-title":"Le Mathemetiche (Catania)"},{"issue":"s.1\u20133","key":"6006_CR12","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.disc.2003.11.029","volume":"284","author":"A. Hartman","year":"2004","unstructured":"Hartman, A. and Raskin, L., Problems and Algorithms for Covering Arrays, Discrete Math., 2004, vol. 284, nos. 1\u20133, pp. 149\u2013156.","journal-title":"Discrete Math."},{"key":"6006_CR13","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.pairwise.org\/tools.asp."},{"key":"6006_CR14","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/aetgweb.argreenhous.com\/."},{"key":"6006_CR15","unstructured":"Cohen, D.M., Dalal, S.R., Kajla, A., and Patton, G.C., The Automatic Efficient Test Generator (AETG), System. Proc. of the 5th Int. Symposium on Software Reliability Engineering (ISSRE), Monterey, Calif., 1994."},{"key":"6006_CR16","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.testcover.com\/."},{"key":"6006_CR17","unstructured":"Sherwood, G., Effective Testing of Factor Combinations, Proc. of the 3rd Int. Conf. on Software Testing, Analysis, and Review, Washington, 1994."},{"key":"6006_CR18","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.satisfice.com\/tools.shtml."},{"key":"6006_CR19","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/burtleburtle.net\/bob\/math\/jenny.html."},{"key":"6006_CR20","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/alphaworks.ibm.com\/tech\/whitch."},{"key":"6006_CR21","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/download.microsoft.com\/download\/f\/5\/5\/f55484df-8494-48fa-8dbd-8c6f76cc014b\/pict33.msi."},{"key":"6006_CR22","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.turbodata.ca\/."},{"key":"6006_CR23","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.sqlmanager.net\/products."},{"key":"6006_CR24","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.sqledit.com\/dg\/."},{"key":"6006_CR25","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.datatect.com\/."},{"key":"6006_CR26","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.forsql.com\/."},{"key":"6006_CR27","unstructured":"Chays, D., Deng, Y., Frankl, P.G., Dan, S., Vokolos, F.I., and Weyuker, E.J., AGENDA: A Test Generator for Relational Database Applications, Tech. Report of the Polytechnic University, Brooklin, New York TR-CIS-2002-04, 2004."},{"key":"6006_CR28","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1145\/1142473.1142572","volume-title":"Proc. of the ACM SIGMOD Int. Conference","author":"C. Binning","year":"2006","unstructured":"Binning, C., Kossmann, D., and Lo, E., Testing Database Applications, Proc. of the ACM SIGMOD Int. Conference, Chicago, ACM, 2006, pp. 739\u2013741."},{"key":"6006_CR29","unstructured":"Bruno, N. and Chaudhuri, S., Flexible Database Generators, Proc. of the 31st Int. Conf. on very Large Databases, Trondheim, Norway, 2005, pp. 1097\u20131107."},{"issue":"10","key":"6006_CR30","doi-asserted-by":"publisher","first-page":"1051","DOI":"10.1002\/spe.724","volume":"36","author":"D. Barbosa","year":"2006","unstructured":"Barbosa, D. and Mendelzon, A., Declarative Generation of Synthetic XML Data, Software: Practice & Experience, 2006, vol. 36, no. 10, pp. 1051\u20131079.","journal-title":"Software: Practice & Experience"},{"key":"6006_CR31","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/11754008_2","volume":"3964","author":"R. L\u00e4mmel","year":"2006","unstructured":"L\u00e4mmel, R. and Schulte, W., Controllable Combinatorial Coverage in Grammar-Based Testing, Proc. of TESTCOM\u20192006, Lect. Notes Comput. Sci., 2006, vol. 3964, pp. 19\u201338.","journal-title":"Proc. of TESTCOM\u20192006, Lect. Notes Comput. Sci."},{"key":"6006_CR32","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.alphaworks.imb.com\/tech\/xmlgenerator."},{"key":"6006_CR33","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/xml-xig.sourceforge.net\/."},{"key":"6006_CR34","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/iwm.uni-koblenz.de\/datagen\/."},{"issue":"3","key":"6006_CR35","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/BF01932308","volume":"12","author":"P. Purdom","year":"1972","unstructured":"Purdom, P., A Sentence Generator for Testing Parsers, BIT, 1972, vol. 12, no. 3, pp. 366\u2013375.","journal-title":"BIT"},{"key":"6006_CR36","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1002\/spe.4380101104","volume":"10","author":"A. Celentano","year":"1980","unstructured":"Celentano, A., Crespi Rghezzi, S., Della Vigna, P., Ghezzi, C., Granata, G., and Savoretti, F., Compiler Testing Using a Sentence Generator, Software: Practice & Experience, 1980, vol. 10, pp. 897\u2013918.","journal-title":"Software: Practice & Experience"},{"issue":"4","key":"6006_CR37","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/52.56422","volume":"7","author":"P. Maurer","year":"1990","unstructured":"Maurer, P., Generating Test Data with Enhanced Context-Free Grammars, IEEE Software, 1990, vol. 7, no. 4, pp. 50\u201356.","journal-title":"IEEE Software"},{"issue":"6","key":"6006_CR38","first-page":"25","volume":"31","author":"S.V. Zelenov","year":"2005","unstructured":"Zelenov, S.V. and Zelenova, S.A., Generation of Positive and Negative Tests for Parsers, Programmirovanie, 2005, vol. 31, no. 6, pp. 25\u201340 [Programming Comput. Software (Engl. Transl.), 2005, vol. 31, pp. 310\u2013320].","journal-title":"Programmirovanie"},{"key":"6006_CR39","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www..mmsindia.com\/JSynTest.html."},{"issue":"2","key":"6006_CR40","first-page":"59","volume":"29","author":"S.V. Zelenov","year":"2003","unstructured":"Zelenov, S.V., Zelenova, S.A., Kossatchev, A.S., and Petrenko, A.K., Test Generation for Compilers and Other Formal Text Processors, Programmirovanie, 2003, vol. 29, no. 2, pp. 59\u201369 [Programming Comput. Software (Engl. Transl.), 2003, vol. 29, no. 2, pp. 104\u2013111].","journal-title":"Programmirovanie"},{"key":"6006_CR41","first-page":"83","volume":"9","author":"A.V. Demakov","year":"2006","unstructured":"Demakov, A.V., Zelenov, S.V., and Zelenova, S.A., Generation of Complex Structure Test Data with Account of Context Constraints, Trudy ISP RAN, 2006, vol. 9, pp. 83\u201396.","journal-title":"Trudy ISP RAN"},{"issue":"2","key":"6006_CR42","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/271775.271790","volume":"23","author":"A. Gotlieb","year":"1998","unstructured":"Gotlieb, A., Botella, B., and Rueher, M., Automatic Test Data Generation Using Constraint Solving Techniques, ACM SIGSOFT Software Eng. Notes, 1998, vol. 23, no. 2, pp. 53\u201362.","journal-title":"ACM SIGSOFT Software Eng. Notes"},{"issue":"9","key":"6006_CR43","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"R.A. DeMillo","year":"1991","unstructured":"DeMillo, R.A. and Offut, A.J., Constraint-Based Automatic Test Data Generation, IEEE Trans. Software Eng., 1991, vol. 17, no. 9, pp. 900\u2013910.","journal-title":"IEEE Trans. Software Eng."},{"issue":"8","key":"6006_CR44","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B. Korel","year":"1990","unstructured":"Korel, B., Automated Software Test Data Generation, IEEE Trans. Software Eng., 1990, vol. 16, no. 8, pp. 870\u2013879.","journal-title":"IEEE Trans. Software Eng."},{"issue":"6","key":"6006_CR45","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/291252.288321","volume":"23","author":"N. Gupta","year":"1998","unstructured":"Gupta, N., Mathur, A.P., and Soffa, M.L., Automated Test Data Generation Using an Iterative Relaxation Method, ACM SIGSOFT Software Eng. Notes, 1998, vol. 23, no. 6, pp. 231\u2013244.","journal-title":"ACM SIGSOFT Software Eng. Notes"},{"key":"6006_CR46","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.parasoft.com\/jsp\/products.jsp."},{"key":"6006_CR47","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.t-vec.com\/solutions\/tvec.php."},{"key":"6006_CR48","unstructured":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.suresofttech.com\/eng\/main\/product\/api.asp."},{"key":"6006_CR49","unstructured":"Marinov, D. and Khurshid, S., TestEra: A Novel Framework for Automated Testing of Java Programs, Proc. of the 16th IEEE Int. Conf. on Automated Software Engineering, 2001, pp. 22\u201331."},{"key":"6006_CR50","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., and Marinov, D., Korat: Automated Testing Based on Java Predicates, Proc. of Int. Symposium on Software Testing and Analysis, Rome, 2002, pp. 123\u2013133.","DOI":"10.1145\/566172.566191"},{"key":"6006_CR51","doi-asserted-by":"crossref","unstructured":"Korel, B., A Dynamic Approach of Automated Test Data Generation, Proc. of Conf. on Software Maintenance, San Diego, 1990, pp. 311\u2013317.","DOI":"10.1109\/ICSM.1990.131379"},{"issue":"4","key":"6006_CR52","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y","volume":"9","author":"R.P. Pargas","year":"1999","unstructured":"Pargas, R.P., Harrold, M.J., and Peck, R., Test-Data Generation Using Genetic Algorithms, Software Testing, Verification & Reliability, 1999, vol. 9, no. 4, pp. 263\u2013282.","journal-title":"Software Testing, Verification & Reliability"},{"issue":"2","key":"6006_CR53","first-page":"127","volume":"1","author":"A. Seesing","year":"2006","unstructured":"Seesing, A. and Gross, H.-G. A Genetic Programming Approach to Automated Test Generation for Object-Oriented Software, Int. Trans. Syst. Sci. Appl., 2006, vol. 1, no. 2, pp. 127\u2013134.","journal-title":"Int. Trans. Syst. Sci. Appl."},{"key":"6006_CR54","doi-asserted-by":"crossref","unstructured":"Korel, B., Automated Test Data Generation for Programs with Procedures, Proc. of ISSSTA, 1996, pp. 209\u2013215.","DOI":"10.1145\/229000.226319"},{"issue":"1","key":"6006_CR55","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/226155.226158","volume":"5","author":"R. Ferguson","year":"1996","unstructured":"Ferguson, R. and Korel, B., The Chaining Approach for Software Test Data Generation, ACM Trans. Software Eng. Methodology, 1996, vol. 5, no. 1, pp. 63\u201386.","journal-title":"ACM Trans. Software Eng. Methodology"},{"issue":"11","key":"6006_CR56","doi-asserted-by":"publisher","first-page":"1025","DOI":"10.1002\/spe.602","volume":"34","author":"C. Csallner","year":"2004","unstructured":"Csallner, C. and Smaragdakis, Y., JCrasher and Automatic Robustness Tester for Java, Software: Practice & Experience, 2004, vol. 34, no. 11, pp. 1025\u20131050.","journal-title":"Software: Practice & Experience"},{"key":"6006_CR57","doi-asserted-by":"crossref","unstructured":"Csallner, C. and Smaragdakis, Y., Check \u2018n\u2019 Crash: Combining Static Checking and Testing, Proc. of the 27th Int. Conf. on Software Engineering (ICSE), ACM, 2005, pp. 422\u2013431.","DOI":"10.1109\/ICSE.2005.1553585"},{"key":"6006_CR58","doi-asserted-by":"crossref","unstructured":"Csallner, C. and Smaragdakis, Y., DSD-Crasher: A Hybrid Analysis Tool fo Bug Finding, Proc. of the ACM SIGSOFT Int. Symposium on Software Testing and Analysis (ISSTA), ACM, 2006, pp. 245\u2013254.","DOI":"10.1145\/1146238.1146267"},{"key":"6006_CR59","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-73770-4_1","volume":"4454","author":"Y. Smaragdakis","year":"2007","unstructured":"Smaragdakis, Y. and Csallner, C., Combining Static and Dynamic Reasoning for Bug Detection, Proc. of TAP2007, Lect. Notes. Comput. Sci., 2007, vol. 4454, pp. 1\u201316.","journal-title":"Proc. of TAP2007, Lect. Notes. Comput. Sci."},{"key":"6006_CR60","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., and Stata, R., Exrended Static Checking for Java, Proc. of the ACM SIGPLAN Conf. on Programming Language Design and Implementation, 2002, pp. 193\u2013205.","DOI":"10.1145\/512529.512558"},{"issue":"2","key":"6006_CR61","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/32.908957","volume":"27","author":"M.D. Ernst","year":"2001","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., and Notkin, D., Dynamically Discovering Likely Program Invariants to Support Program Evolution, IEEE Trans. Software Eng., 2001, vol. 27, no. 2, pp. 99\u2013123.","journal-title":"IEEE Trans. Software Eng."},{"key":"6006_CR62","doi-asserted-by":"crossref","unstructured":"Meyer, B., Ciupa, I., Leitner, A., and Liu, L., Automatic Testing of Object-Oriented Software, Proc. of the 33rd. Conf. on Current Trends in the Theory and Practice of Computer Science (SOFSEM), Springer, 2007.","DOI":"10.1007\/978-3-540-69507-3_9"},{"key":"6006_CR63","doi-asserted-by":"crossref","unstructured":"Pacheco, C. and Ernst, M.D., Eclat: Automatic Generation and Classification of Test Inputs, Proc. of ECOOP, 2005, pp. 504\u2013527.","DOI":"10.1007\/11531142_22"},{"key":"6006_CR64","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Lahiri, S.K., Ernst, M.D., and Ball, T., Feedback-Directed Random Test Generation, Proc. of ICSE, 2007, pp. 75\u201384.","DOI":"10.1109\/ICSE.2007.37"},{"key":"6006_CR65","unstructured":"Xie, T., Marinov, D., and Notkin, D., Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests, Proc. of the 19th IEEE Int. Conf. on Automated Software Engineering (ASE 2004), Linz, Austria, 2004, pp. 196\u2013205."},{"key":"6006_CR66","doi-asserted-by":"crossref","unstructured":"Xie, T., Marinov, D., Schulte, W., and Notkin, D., Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution, Proc. of the 11th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), Edinburgh, 2005, pp. 365\u2013381.","DOI":"10.1007\/978-3-540-31980-1_24"},{"issue":"s.2\u20133","key":"6006_CR67","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/j.tcs.2004.11.007","volume":"366","author":"C. Artho","year":"2005","unstructured":"Artho, C., Barringer, H., Goldberg, A., Havelund, K., Khurshid, S., Lowry, M., Pasareanu, C., Rosu, G., Sen, K., Visser, W., and Washington, R., Combining Test Case Generation and Runtime Verification, Theor. Comput. Sci., 2005, vol. 366, nos. 2\u20133, pp. 209\u2013234.","journal-title":"Theor. Comput. Sci."},{"key":"6006_CR68","doi-asserted-by":"crossref","unstructured":"Sen, K. and Agha, G., CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools, Proc. of Computer Aided Verification, 2006, pp. 419\u2013423.","DOI":"10.1007\/11817963_38"},{"key":"6006_CR69","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., and Sen, K., DART: Directed Automated Random Testing, Proc. of the ACM SIGPLAN Conf. on Programming Language Design and Implementation, Chicago, 2005, pp. 213\u2013223.","DOI":"10.1145\/1065010.1065036"},{"issue":"5","key":"6006_CR70","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1145\/1095430.1081745","volume":"30","author":"N. Tillmann","year":"2005","unstructured":"Tillmann, N. and Schulte, W., Parameterized Unit Tests with Unit Meister, ACM SIGSOFT Software Eng. Notes, 2005, vol. 30, no. 5, pp. 241\u2013244.","journal-title":"ACM SIGSOFT Software Eng. Notes"},{"key":"6006_CR71","doi-asserted-by":"crossref","unstructured":"Yorsh, G., Ball, T., and Sagiv, M., Testing, Abstraction, Theorem Proving: Better Together, Proc. of the Int. Symposium on Software Testing and Analysis, Portland, Maine, 2006, ACM, 2006, pp. 145\u2013156.","DOI":"10.1145\/1146238.1146255"},{"key":"6006_CR72","doi-asserted-by":"crossref","unstructured":"Brucker, A.D. and Wolf, B., Interactive Testing with HOL-TestGen, Proc. of FATES, 2006, Lect. Notes Comput. Sci., 2006, vol. 3997, pp. 87\u2013102.","DOI":"10.1007\/11759744_7"},{"key":"6006_CR73","unstructured":"Harman, A., Model-Based Test Generation Tools, 2002, https:\/\/linproxy.fan.workers.dev:443\/http\/www.agedis.de\/documents\/Model-BasedTestGene rationTools.pdf."},{"key":"6006_CR74","unstructured":"Model-Based Testing of Reactive Systems: Advanced Lectures, Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., and Pretschner, A., Eds., Lect. Notes Comput. Sci., 2005, vol. 3472."},{"key":"6006_CR75","doi-asserted-by":"crossref","unstructured":"Kuliamin, V.V., Petrenko, A.K., Kossatchev, A.S., and Bourdonov, I.B., The UniTesK Approach to Designing Test Suites, Programmirovanie, 2003, no. 6, pp. 25\u201343 [Programming Comput. Software (Engl. Transl.), 2003, vol. 29, no. 6, pp. 310\u2013322].","DOI":"10.1023\/B:PACS.0000004131.54590.fb"},{"key":"6006_CR76","doi-asserted-by":"crossref","unstructured":"Ammann, P. and Black, P.E., Abstracting Formal Specifications to Generate Software Tests via Model Checking, NIST-IR 6405 (extended version), 1999.","DOI":"10.6028\/NIST.IR.6405"},{"key":"6006_CR77","doi-asserted-by":"crossref","unstructured":"Gargantini, A. and Heitmeyer, C., Using Model Checking to Generate Test Form Requirements Specifications, Proc. of the Joint 7th European Software Engineering Conference and the 7th ACM SIGSOFT Int. Symposium on Foundations of Software Engineering (ESEC\/FSE99), Toulouse, 1999.","DOI":"10.1007\/3-540-48166-4_10"},{"key":"6006_CR78","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1109\/COMPSAC.2005.66","volume":"1","author":"G. Devaraj","year":"2005","unstructured":"Devaraj, G., Heimdahl, M.P.E., and Liang, D., Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities, Proc. of the 29th Annual Int. Computer Software and Applications Conference (COMPSAC\u201905), 2005, vol. 1, pp. 455\u2013462.","journal-title":"Proc. of the 29th Annual Int. Computer Software and Applications Conference (COMPSAC\u201905)"},{"issue":"s.5\u20136","key":"6006_CR79","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/s10009-007-0044-z","volume":"9","author":"D. Beyer","year":"2007","unstructured":"Beyer, D., Henzinger, T.A., Jhala, R., and Majumdar, R., The Software Model Checker Blast: Applications to Software Engineering, Int. J. Software Tools Technol. Transfer, 2007, vol. 9, nos. 5\u20136, pp. 505\u2013525.","journal-title":"Int. J. Software Tools Technol. Transfer"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/link.springer.com\/content\/pdf\/10.1134\/S0361768808060066.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/link.springer.com\/article\/10.1134\/S0361768808060066","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1134\/S0361768808060066","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/link.springer.com\/content\/pdf\/10.1134\/S0361768808060066.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:02:39Z","timestamp":1775008959000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/link.springer.com\/10.1134\/S0361768808060066"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":79,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2008,11]]}},"alternative-id":["6006"],"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1134\/s0361768808060066","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11]]},"assertion":[{"value":"28 April 2008","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 November 2008","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}