{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:47Z","timestamp":1750306847948,"version":"3.41.0"},"reference-count":31,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2015,2,6]],"date-time":"2015-02-06T00:00:00Z","timestamp":1423180800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2015,2,6]]},"abstract":"<jats:p>Failures in reactive embedded systems are often unacceptable. Moreover, effective testing of such systems to detect potential critical failures is a difficult task.<\/jats:p>\n          <jats:p>We present an automated black box test suite generation technique for reactive systems. The technique is based on dynamic mining of specifications, in form of a finite state machine (FSM), from initial runs. The set of test cases thus produced contain several redundant test cases, many of which are eliminated by a simple greedy test suite reduction algorithm to give the final test suite. The effectiveness of tests generated by our technique was evaluated using five case studies from the reactive embedded domain. Results indicate that a test suite generated by our technique is promising in terms of effectiveness and scalability. While the test suite reduction algorithm removes redundant test cases, the change in effectiveness of test suites due to this reduction is examined in the experimentation.<\/jats:p>\n          <jats:p>We present our specification mining based test suite generation technique, the test suite reduction technique and results on industrial case studies.<\/jats:p>","DOI":"10.1145\/2693208.2693226","type":"journal-article","created":{"date-parts":[[2015,2,10]],"date-time":"2015-02-10T13:19:47Z","timestamp":1423574387000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques"],"prefix":"10.1145","volume":"40","author":[{"given":"Prasad","family":"Bokil","sequence":"first","affiliation":[{"name":"TRDDC, Pune, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Padmanabhan","family":"Krishnan","sequence":"additional","affiliation":[{"name":"Brisbane, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Venkatesh","sequence":"additional","affiliation":[{"name":"TRDDC, Pune, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,2,6]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"GCOV -- A Structural Code Coverage Measurement Tool.  GCOV -- A Structural Code Coverage Measurement Tool."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1928028.1928042"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2009.53"},{"key":"e_1_2_1_4_1","unstructured":"A. Cimatti A. Griggio A. Micheli I. Narasamdya and M. Roveri. Kratos benchmarks. URL: https:\/\/es.fbk.eu\/tools\/kratos\/index.php?n=Main.Benchmarks.  A. Cimatti A. Griggio A. Micheli I. Narasamdya and M. Roveri. Kratos benchmarks. URL: https:\/\/es.fbk.eu\/tools\/kratos\/index.php?n=Main.Benchmarks."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646787.706258"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831719"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138912.1138918"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985846"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368096"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070542"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254116"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145735.1145737"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302710"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01702-5_18"},{"volume-title":"NASA Langley Center","year":"2001","author":"H.","key":"e_1_2_1_15_1"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2012.233"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAICPART.2009.15"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.5"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181808"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.04.001"},{"volume-title":"John Wiley & Sons","year":"2004","author":"Myers G. J.","key":"e_1_2_1_21_1"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103701"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1895949.1896084"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/2075545.2075556"},{"key":"e_1_2_1_25_1","unstructured":"V. research survey. http:\/\/blog.vdcresearch.com\/embedded sw\/2011\/06\/2011-embedded-engineer-survey-results-programming-languagesused-to-develop-software.html. 2011.  V. research survey. http:\/\/blog.vdcresearch.com\/embedded sw\/2011\/06\/2011-embedded-engineer-survey-results-programming-languagesused-to-develop-software.html. 2011."},{"key":"e_1_2_1_26_1","doi-asserted-by":"crossref","unstructured":"G. Rothermel M. J. Harrold J. von Ronne and C. Hong. Empirical studies of test-suite reduction. Journal of Software Testing Verification and Reliability 12:219--249 2002.  G. Rothermel M. J. Harrold J. von Ronne and C. Hong. Empirical studies of test-suite reduction. Journal of Software Testing Verification and Reliability 12:219--249 2002.","DOI":"10.1002\/stvr.256"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273487"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1457516.1460353"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-012-9174-y"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1986308.1986311"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001463"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2693208.2693226","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2693208.2693226","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:15Z","timestamp":1750234215000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2693208.2693226"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2,6]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2,6]]}},"alternative-id":["10.1145\/2693208.2693226"],"URL":"https:\/\/doi.org\/10.1145\/2693208.2693226","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2015,2,6]]},"assertion":[{"value":"2015-02-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}