{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T06:10:09Z","timestamp":1734934209855,"version":"3.32.0"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Robot Syst"],"published-print":{"date-parts":[[2005,1]]},"DOI":"10.1007\/s10846-005-3810-8","type":"journal-article","created":{"date-parts":[[2005,2,8]],"date-time":"2005-02-08T12:12:19Z","timestamp":1107864739000},"page":"87-112","source":"Crossref","is-referenced-by-count":7,"title":["Automating test generation for discrete event oriented embedded systems"],"prefix":"10.1007","volume":"41","author":[{"given":"Steven J.","family":"Cunning","sequence":"first","affiliation":[]},{"given":"Jerzy W.","family":"Rozenblit","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Ammann, P., Black, P., and Majurski, W.: Using model checking to generate tests from specifications, in: Proc. of the 2nd IEEE Internat. Conf. on Formal Engineering Methods (ICREM?98), Brisbane, Australia, December 1998, pp. 46?54.","DOI":"10.6028\/NIST.IR.6166"},{"volume-title":"Object-Oriented Techniques for Real-Time Systems: A Practical Approach Using OMT and Fusion","year":"1996","author":"M. Awad","key":"CR2"},{"key":"CR3","unstructured":"Bauer, J. and Finger, A.: Test plan generation using formal grammars, in: Proc. of the Fourth Internat. Conf. on Software Engineering, Los Alamitos, CA, September 1979, pp. 425?432."},{"key":"CR4","unstructured":"Bharadwaj, R. and Heitmeyer, C.: Verifying SCR requirements specifications using state exploration, in: Proc. of the First ACM SIGPLAN Workshop on Automatic Analysis of Software, January 1997."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Cardell-Oliver, R.: Conformance tests for real-time systems with timed automata specifications, Formal Aspects Comput. (2000), 350?371.","DOI":"10.1007\/s001650070009"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1109\/MC.1985.1662868","volume":"18","author":"M. Chandrasekharan","year":"1985","journal-title":"IEEE Computer"},{"issue":"(3)","key":"CR7","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T. Chow","year":"1978","journal-title":"IEEE Trans. Software Engrg."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Clarke, D. and Lee, I.: Automatic generation of tests for timing constraints from requirements, in: Proc. of the 3rd Internat. Workshop on Object-Oriented Real-Time Dependable Systems, February 1997, pp. 199?206.","DOI":"10.1109\/WORDS.1997.609955"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Clarke, D. and Lee, I.: Automatic test generation for the analysis of a real-time system: Case study, in: Proc. of the Third IEEE Real-Time Technology and Applications Symposium, 1997, pp. 112?124.","DOI":"10.1109\/RTTAS.1997.601349"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Courtios, P. J. and Parnas, D. L.: Documentation for safety critical software, in: Proc. of the 15th Internat. Conf. on Software Engineering (ICSE?93), Baltimore, MD, 1993, pp. 315?323.","DOI":"10.1109\/ICSE.1993.346033"},{"key":"CR11","unstructured":"Cunning, S. J.: Automating test generation for discrete event oriented real-time embedded systems, PhD Dissertation, Department of Electrical & Computer Engineering, University of Arizona, 2000."},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Cunning, S. J., Ewing, T. C., Olson, J. T., Rozenblit, J. W., and Schulz, S.: Towards an integrated, model-based codesign environment, in: Proc. of the 1999 IEEE Conf. and Workshop on Engineering of Computer-Based Systems (ECBS?99), Nashville, TN, March 1999, pp. 136?143.","DOI":"10.1109\/ECBS.1999.755872"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"784","DOI":"10.1109\/ICSMC.1999.815651","volume":"V","author":"S. J. Cunning","year":"1999","journal-title":"Proc. of the 1999 IEEE Internat. Conf. on Systems, Man, and Cybernetics (SMC?99)"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Cunning, S. J. and Rozenblit, J. W.: Test scenario generation from a structured requirements specification, in: Proc. of the 1999 IEEE Conf. and Workshop on Engineering of Computer-Based Systems (ECBS?99), Nashville, TN, March 1999, pp. 166?172.","DOI":"10.1109\/ECBS.1999.755876"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Dalal, S., Jain, A., Patton, G., Rathi,M., and Seymour, P.: AETG SM Web: A Web-based service for automatic efficient test generation from functional requirements, in: Proc. of the 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, October 1998, pp. 84?85.","DOI":"10.1109\/WIFT.1998.766301"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/MC.1982.1654021","volume":"15","author":"A. Davis","year":"1982","journal-title":"IEEE Computer"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/MC.1982.1654022","volume":"15","author":"J. Demetrovics","year":"1982","journal-title":"IEEE Computer"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Deshmukh, R. and Hawat, G.: An algorithm to determine shortest length distinguishing, homing, and synchronizing sequences for sequential machines, in: Conf. Record of Southcon?94, March 1994, pp. 496?501.","DOI":"10.1109\/SOUTHC.1994.498154"},{"volume-title":"Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns","year":"1999","author":"B. Douglass","key":"CR19"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"En-Nouaary, A., Dssouli, R., Khendek, F., and Elqortobi, A.: Timed test cases generation based on state characterization technique, in: Proc. of the 19th IEEE Real-Time Systems Symposium (RTSS?98), Madrid, Spain, December 1998, pp. 220?229.","DOI":"10.1109\/REAL.1998.739748"},{"key":"CR21","unstructured":"Frezza, S.: Automating requirements-based testing for hardware design, RE?95 Doctoral Consortium, 1995."},{"key":"CR22","unstructured":"Frinke, D.,Wolber, D., Fisher, G., and Cohen, G.: Requirements Specification Language (RSL) and supporting tools, NASA Contractor Report 189700, July 1992."},{"volume-title":"The Art of Designing Embedded Systems","year":"2000","author":"J. Ganssle","key":"CR23"},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"Gargantini, A. and Heitmeyer, C.: Using model checking to generate tests from requirements specifications, in: Proc. of the Joint 7th European Software Engineering Conf. and 7th ACM SIGSOFT on Foundations of Software Engineering (ESEC\/FSE?99), Toulouse, France, 6?10 September 1999, pp. 146?162.","DOI":"10.1007\/3-540-48166-4_10"},{"volume-title":"Introduction to the Theory of Finite-State Machines","year":"1962","author":"A. Gill","key":"CR25"},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Glover, T. and Cardell-Oliver, R.: A modular tool for test generation for real-time systems, in: IEE Colloquium on Applicable Modelling, Verification and Analysis Techniques for Real-Time Systems, London, UK, 1999, pp. 3\/1?4.","DOI":"10.1049\/ic:19990009"},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"Gupta, P., Cunning, S., and Rozenblit, J. W.: Synthesis of high-level requirements models for automatic test generation, in: Proc. of the 2001 IEEE Conf. and Workshop on Engineering of Computer-Based Systems (ECBS?01), Washington, DC, April 2001, pp. 76?82.","DOI":"10.1109\/ECBS.2001.922408"},{"key":"CR28","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of Hybrid Systems Workshop III","author":"C. Heitmeyer","year":"1996"},{"issue":"(3)","key":"CR29","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"C. L. Heitmeyer","year":"1996","journal-title":"ACM Trans. Engrg. Methodology"},{"key":"CR30","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C., Kirby, J., and Labaw, B., The SCR method for formally specifying, verifying and validating requirements: Tool support, in: Proc. of the 1997 Internat. Conf. on Software Engineering, Boston, May 1997, pp. 610?611.","DOI":"10.1145\/253228.253498"},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"Heitmeyer C., Kirby, J., and Labaw B.: Tools for formal specification, verification, and validation of requirements, in: Proc. of the 12th Annual Conf. on Computer Assurance (COMPASS?97), Gaithersburg, MD, June 1997, pp. 35?47.","DOI":"10.1109\/CMPASS.1997.613206"},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"Ho, I. and Lin, J.: A method of test cases generation for real-time systems, in: Proc. of the First Internat. Symposium on Object-Oriented Real-Time Distributed Computing, 20?22 April 1998, pp. 249?253.","DOI":"10.1109\/ISORC.1998.666795"},{"key":"CR33","doi-asserted-by":"crossref","unstructured":"Hsia, P., Gao, J., Samuel, J., Kung, D., Toyoshima, Y., and Chen, C.: Behavior-based acceptence testing of software systems: A formal scenario approach, in: Proc. of the Eighteenth Annual Internat. Computer Software and Applications Conf. (COMPSAC?94), Los Alamitos, CA, USA, 1994, pp. 293?298.","DOI":"10.1109\/CMPSAC.1994.342789"},{"key":"CR34","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1023\/A:1018938021528","volume":"3","author":"P. Hsia","year":"1997","journal-title":"Ann. Software Engrg."},{"key":"CR35","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/52.268953","volume":"11","author":"P. Hsia","year":"1994","journal-title":"IEEE Software"},{"volume-title":"Switching and Finite Automata Theory","year":"1978","author":"Z. Kohavi","key":"CR36"},{"key":"CR37","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/MC.1982.1654024","volume":"15","author":"A. Levene","year":"1982","journal-title":"IEEE Computer"},{"key":"CR38","doi-asserted-by":"crossref","unstructured":"Lovengreen, H., Ravn, A., and Rischel, H.: Design of embedded real-time systems: Developing a method for practical software engineering, in: Proc. of the IEEE Internat. Conf. on Computer Systems and Software Engineering, 1990, pp. 385?390.","DOI":"10.1109\/CMPEUR.1990.113649"},{"key":"CR39","unstructured":"Miller, T. and Taylor, B.: A requirements methodology for complex real-time systems, in: Proc. of the Internat. Symposium on Current Issues of Requirements Engineering Environments, Kyoto, Japan, 20?21 September 1982, pp. 133?141."},{"key":"CR40","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/52.268952","volume":"11","author":"C. Potts","year":"1994","journal-title":"IEEE Software"},{"issue":"(3)","key":"CR41","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1080\/03081079108935180","volume":"19","author":"J. W. Rozenblit","year":"1991","journal-title":"Internat. J. General Systems"},{"volume-title":"Codesign: Computer-Aided Software\/Hardware Engineering","year":"1994","key":"CR42"},{"issue":"(8)","key":"CR43","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/2.707618","volume":"31","author":"S. Schulz","year":"1998","journal-title":"IEEE Computer"},{"key":"CR44","doi-asserted-by":"crossref","unstructured":"Weber, R., Thelen, K., Srivastava, A., and Krueger, J.: Automated validation test generation, in: Thirteenth AIAA\/IEEE Digital Avionics Systems Conf. (DASC?94), November 1994, pp. 99?104.","DOI":"10.1109\/DASC.1994.369496"},{"key":"CR45","doi-asserted-by":"crossref","unstructured":"White, S.: Comparative analysis of embedded computer system requirements methods, in: Proc. of the First Internat. Conf. on Requirements Engineering, 1994, pp. 126?134.","DOI":"10.1109\/ICRE.1994.292394"},{"volume-title":"Hardware-Software Co-Synthesis of Distributed Embedded Systems","year":"1996","author":"W. Wolf","key":"CR46"},{"volume-title":"Multifaceted Modeling and Discrete Event Simulation","year":"1984","author":"B. P. Zeigler","key":"CR47"},{"volume-title":"Theory of Modeling and Simulation","year":"1976","author":"B. Zeigler","key":"CR48"},{"key":"CR49","volume-title":"Theory of Modeling and Simulation","author":"B. P. Zeigler","year":"2000","edition":"2nd edn"}],"container-title":["Journal of Intelligent and Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10846-005-3810-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10846-005-3810-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10846-005-3810-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T05:51:39Z","timestamp":1734933099000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10846-005-3810-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,1]]},"references-count":49,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2005,1]]}},"alternative-id":["3810"],"URL":"https:\/\/doi.org\/10.1007\/s10846-005-3810-8","relation":{},"ISSN":["0921-0296","1573-0409"],"issn-type":[{"type":"print","value":"0921-0296"},{"type":"electronic","value":"1573-0409"}],"subject":[],"published":{"date-parts":[[2005,1]]}}}