{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:22:00Z","timestamp":1759335720708,"version":"3.41.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319302423"},{"type":"electronic","value":"9783319302430"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-30243-0_1","type":"book-chapter","created":{"date-parts":[[2016,2,13]],"date-time":"2016-02-13T15:36:25Z","timestamp":1455377785000},"page":"1-20","source":"Crossref","is-referenced-by-count":1,"title":["On Generating Test Cases from EDT Specifications"],"prefix":"10.1007","author":[{"given":"R.","family":"Venkatesh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulka","family":"Shrotri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amey","family":"Zare","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Supriya","family":"Agrawal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Venkatesh, R., Shrotri, U., Zare, A., Agrawal, S.: Cost-effective functional testing of reactive software. In: Evaluation of Novel Approaches to Software Engineering. SCITEPRESS (2015)","DOI":"10.5220\/0005347800670077"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Venkatesh, R., Shrotri, U., Krishna, G.M., Agrawal, S.: EDT: a specification notation for reactive systems. In: Proceedings of the Conference on Design, Automation&Test in Europe, p. 215.European Design and Automation Association (2014)","DOI":"10.7873\/DATE.2014.228"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"1978","DOI":"10.1016\/j.jss.2013.02.061","volume":"86","author":"S Anand","year":"2013","unstructured":"Anand, S., Burke, E.K., Chen, T.Y., Clark, J., Cohen, M.B., Grieskamp, W., Harman, M., Harrold, M.J., Mcminn, P.: An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86, 1978\u20132001 (2013)","journal-title":"J. Syst. Softw."},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-16573-3_8","volume-title":"Testing Software and Systems","author":"A Arcuri","year":"2010","unstructured":"Arcuri, A., Iqbal, M.Z., Briand, L.: Black-box system testing of real-time embedded systems using random and search-based testing. In: Petrenko, A., Sim\u00e3o, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol. 6435, pp. 95\u2013110. Springer, Heidelberg (2010)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: Proceedings of the 21st International Conference on Software Engineering, pp. 285\u2013294. ACM (1999)","DOI":"10.1145\/302405.302640"},{"key":"1_CR6","unstructured":"Reactis: Reactis. ( http:\/\/www.reactive-systems.com\/model-based-testing-simulink.html ). Accessed 29 October 2015"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Peranandam, P., Raviram, S., Satpathy, M., Yeolekar, A., Gadkari, A., Ramesh, S.: An integrated test generation tool for enhanced coverage of simulink\/stateflow models. In: 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 308\u2013311. IEEE (2012)","DOI":"10.1109\/DATE.2012.6176485"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Wang, J., Li, H., Lv, T., Wang, T., Li, X.: Functional test generation guided by steady-state probabilities of abstract design. In: Proceedings of the Conference on Design, Automation & Test in Europe, p. 321. European Design and Automation Association (2014)","DOI":"10.7873\/DATE.2014.334"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D Harel","year":"1990","unstructured":"Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., Trakhtenbrot, M.: Statemate: A working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng. 16, 403\u2013414 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s10270-011-0204-1","volume":"12","author":"J Thyssen","year":"2013","unstructured":"Thyssen, J., Hummel, B.: Behavioral specification of reactive systems using stream-based I\/O tables. Softw. Syst. Model. 12, 265\u2013283 (2013)","journal-title":"Softw. Syst. Model."},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/978-3-642-01156-6_28","volume-title":"Simula Research Laboratory","author":"L Briand","year":"2010","unstructured":"Briand, L.: Software verification - a scalable, model-driven, empirically grounded approach. In: Tveito, A., Bruaset, A.M., Lysne, O. (eds.) Simula Research Laboratory, pp. 415\u2013442. Springer, Heidelberg (2010)"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/BFb0028775","volume-title":"Computer Aided Verification","author":"C Heitmeyer","year":"1998","unstructured":"Heitmeyer, C., Kirby, J., Labaw, B., Bharadwaj, R.: SCR: A toolset for specifying and analyzing software requirements. In: Hu, A.J., Vardi, M.Y. (eds.) CAV 1998. LNCS, vol. 1427, pp. 526\u2013531. Springer, Heidelberg (1998)"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/2408776.2408795","volume":"56","author":"C Cadar","year":"2013","unstructured":"Cadar, C., Sen, K.: Symbolic execution for software testing: Three decades later. Commun. ACM 56, 82\u201390 (2013)","journal-title":"Commun. ACM"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"P\u0103s\u0103reanu, C.S., Rungta, N.: Symbolic pathfinder: Symbolic execution of java bytecode. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering, ASE 2010, pp. 179\u2013180. ACM, New York (2010)","DOI":"10.1145\/1858996.1859035"},{"key":"1_CR15","unstructured":"Tahat, L.H., Vaysburg, B., Korel, B., Bader, A.J.: Requirement-based automated black-box test generation. In: 25th Annual International Computer Software and Applications Conference COMPSAC 2001, pp. 489\u2013495. IEEE (2001)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Bokil, P., Darke, P., Shrotri, U., Venkatesh, R.: Automatic test data generation for C programs. In: Third IEEE International Conference on Secure Software Integration and Reliability Improvement SSIRI 2009, pp. 359\u2013368. IEEE (2009)","DOI":"10.1109\/SSIRI.2009.53"},{"key":"1_CR17","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. Softw. Test. Verification Reliab. 13, 25\u201353 (2003)","journal-title":"Softw. Test. Verification Reliab."},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1002\/stvr.1477","volume":"24","author":"M Cristi\u00e1","year":"2014","unstructured":"Cristi\u00e1, M., Albertengo, P., Frydman, C., Pl\u00fcss, B., Monetti, P.R.: Tool support for the test template framework. Softw. Test. Verification Reliab. 24, 3\u201337 (2014)","journal-title":"Softw. Test. Verification Reliab."},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-78917-8_2","volume-title":"Formal Methods and Testing","author":"M Veanes","year":"2008","unstructured":"Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson, L.: Model-based testing of object-oriented reactive systems with spec explorer. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 39\u201376. Springer, Heidelberg (2008)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Raymond, P., Nicollin, X., Halbwachs, N., Weber, D.: Automatic testing of reactive systems. In: Proceedings of the 19th IEEE Real-Time Systems Symposium, pp. 200\u2013209. IEEE (1998)","DOI":"10.1109\/REAL.1998.739746"},{"key":"1_CR21","unstructured":"Brat, G., Havelund, K., Park, S., Visser, W.: Java pathfinder - second generation of a java model checker. In: Proceedings of the Workshop on Advances in Verification (2000)"},{"key":"1_CR22","unstructured":"Cadar, C., Dunbar, D., Engler, D.R.: Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI, vol. 8, pp. 209\u2013224 (2008)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: Pex\u2013white box test generation for.NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol. 4966, pp. 134\u2013153. Springer, Heidelberg (2008)"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Cadar, C., Godefroid, P., Khurshid, S., P\u0103s\u0103reanu, C.S., Sen, K., Tillmann, N., Visser, W.: Symbolic execution for software testing in practice: Preliminary assessment. In: Proceedings of the 33rd International Conference on Software Engineering ICSE 2011, pp. 1066\u20131071. ACM, New York (2011)","DOI":"10.1145\/1985793.1985995"},{"key":"1_CR25","doi-asserted-by":"publisher","DOI":"10.1002\/0471028959.sof268","volume-title":"Random Testing","author":"R Hamlet","year":"2002","unstructured":"Hamlet, R.: Random Testing. Wiley, New York (2002)"},{"key":"1_CR26","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, 438\u2013444 (1984)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"1_CR27","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.: Adaptive random testing: The ART of test case diversity. J. Syst. Softw. 83(1), 60\u201366 (2010). SI: Top Scholars","journal-title":"J. Syst. Softw."},{"key":"1_CR28","doi-asserted-by":"publisher","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, 63\u201386 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1_CR29","unstructured":"Marinov, D., Andoni, A., Daniliuc, D., Khurshid, S., Rinard, M.: An evaluation of exhaustive testing for data structures. Technical report, MIT Computer Science and Artificial Intelligence Laboratory Report MIT -LCS-TR-921 (2003)"},{"key":"1_CR30","unstructured":"Bowman, H., Gomez, R.: Discrete timed automata. In: Concurrency Theory, pp. 377\u2013395. Springer, London (2006)"},{"key":"1_CR31","unstructured":"Mathworks: Matlab. ( http:\/\/www.mathworks.in\/products\/matlab\/ ). Accessed 29 October 2015"},{"key":"1_CR32","unstructured":"winAMS, C.: Coveragemaster winams. ( http:\/\/www.gaio.com\/product\/dev_tools\/pdt07_winams.html ). Accessed 29 October 2015"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30243-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T11:08:50Z","timestamp":1748776130000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30243-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319302423","9783319302430"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30243-0_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]}}}