{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:54:45Z","timestamp":1756000485943},"reference-count":30,"publisher":"CRC Press","isbn-type":[{"type":"print","value":"9781439818459"},{"type":"electronic","value":"9781439818473"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9,15]]},"DOI":"10.1201\/b11321-8","type":"book-chapter","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T18:10:22Z","timestamp":1322935822000},"source":"Crossref","is-referenced-by-count":3,"title":["Automatic Testing of LUSTRE\/SCADE Programs"],"prefix":"10.1201","author":[{"given":"Virginia","family":"Papailiopoulou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Besnik","family":"Seljimi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioannis","family":"Parissis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2011,12,2]]},"reference":[{"volume":"1165","volume-title":"Formal Methods for Industrial Applications","author":"Abrial J.-R.","key":"p_1"},{"key":"p_2","doi-asserted-by":"crossref","unstructured":"Budd, T. A., DeMillo, R. A., Lipton, R. J., and Sayward, F.G. (1980). Theoretical and empirical studies on using program mutation to test the functional correctness of programs. InACM Symposium on Principles of Programming Languages, Las Vegas, Nevada.","DOI":"10.21236\/ADA083078"},{"key":"p_3","first-page":"178","author":"Caspi P.","year":"1987","journal-title":"POPL"},{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.221"},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1994.0025"},{"key":"p_6","doi-asserted-by":"publisher","DOI":"10.1109\/32.41326"},{"volume-title":"RTCA","key":"p_7"},{"key":"p_8","unstructured":"Girault, A., and Nicollin, X. (2003). Clock-driven automatic distribution of Iustre programs. In3rd International Conference on Embedded Software, EMSOFT'03, Volume2855of LNCS, Pages:206-222. Springer-Verlag, Philadelphia."},{"key":"p_9","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"p_10","doi-asserted-by":"publisher","DOI":"10.1109\/32.159839"},{"key":"p_11","unstructured":"Lakehal, A., and Parissis, I. (2007). Automated measure of structural coverage for Iustre programs: A case study. Inproceedings of the 2nd IEEE International Workshop on Automated Software Testing (AST'2007), a joint event of the 29th ICSE . Minneapolis, MN."},{"key":"p_12","unstructured":"Lakehal, A., and Parissis, I. (2005). Lustructu: A tool for the automatic coverage assessment of Iustre programs. InProceedings of the 16th IEEE International Symposium on Software Reliability Engineering, Pages: 301-310. Chicago, IL."},{"key":"p_13","unstructured":"Lakehal, A., and Parissis, I. (2005). Lustructu: A tool for the automatic coverage assessment of Iustre programs. InIEEE International Symposium on Software Reliability Engineering, Pages: 301-310. Chicago, IL."},{"key":"p_14","unstructured":"Lakehal, A., and Parissis, I. (2005). Structural test coverage criteria for Iustre programs. InProceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems: a satellite event of the ESEC\/FSE'05, Pages:35-43, Lisbon, Portugal."},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.236871"},{"key":"p_16","unstructured":"Marre, B. and Arnould, A. (2000). Test sequences generation from Iustre descriptions: Gatel. Proceedings of the 15th IEEE Conference on Automated Software Engineering, Grenoble, France, 229-237."},{"key":"p_17","doi-asserted-by":"publisher","DOI":"10.1109\/52.199724"},{"key":"p_18","unstructured":"Ntafos, S. C. (1984). An evaluation of required element testing strategies. InInternational Conference on Software Engineering, Pages: 250-256. Orlando, FL."},{"key":"p_19","unstructured":"Papailiopoulou, V., Seljimi, B., and Parissis, I. (2009). Revisiting the steam-boiler case study with Iutess: modeling for automatic test generation. In12th European Workshop on Dependable Computing, Toulouse, France."},{"key":"p_21","doi-asserted-by":"publisher","DOI":"10.1145\/250707.239119"},{"key":"p_22","doi-asserted-by":"crossref","unstructured":"Parissis, I., and Vassy, J. (2003). Thoroughness of specification-based testing of synchronous programs. InProceedings of the 14th IEEE International Symposium on Software Reliability Engineering, 191-202.","DOI":"10.1109\/ISSRE.2003.1251042"},{"key":"p_23","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"Pilaud D.","year":"1988"},{"volume-title":"Coverage metrics for requirements-based testing. Phd thesis","author":"Rajan A.","key":"p_24"},{"key":"p_25","doi-asserted-by":"crossref","unstructured":"Raymond, P., Nicollin, X. Halbwachs, N., and Weber, D. (1998). Automatic testing of reactive systems. Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, 200-209.","DOI":"10.1109\/REAL.1998.739746"},{"key":"p_26","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231892"},{"key":"p_27","unstructured":"Seljimi, B., and Parissis, I. (2006). Using CLP to automatically generate test sequences for synchronous programs with numeric inputs and outputs. In17th International Symposium on Software Reliability Engineering, Pages: 105-116. Raleigh, North Carolina."},{"key":"p_28","unstructured":"Seljimi, B., and Parissis, I. (2007). Automatic generation of test data generators for synchronous programs: Lutess V2. InWorkshop on Domain Specific Approaches to Software Test Automation, Pages: 8-12. Dubrovnik, Croatia."},{"key":"p_29","unstructured":"Vilkomir, S. A., and Bowen, J. P. (2001). Formalization of software testing criteria using the Z notation. InInternational Computer Software and Applications Conference (COMPSAC), Pages: 351-356. Chicago, IL."},{"key":"p_30","unstructured":"Vilkomir, S. A., and Bowen, J. P. (2002). Reinforced condition\/decision coverage (RC\/DC): A new criterion for software testing. InInternational Conference of B and Z Users, Pages: 291-308. Grenoble, France."},{"key":"p_31","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230473"}],"container-title":["Computational Analysis, Synthesis, & Design Dynamic Systems","Model-Based Testing for Embedded Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T07:30:49Z","timestamp":1561015849000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.crcnetbase.com\/doi\/abs\/10.1201\/b11321-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,15]]},"ISBN":["9781439818459","9781439818473"],"references-count":30,"alternative-id":["10.1201\/b11321-8","10.1201\/CRCMODBASDES","10.1201\/b11321"],"URL":"https:\/\/doi.org\/10.1201\/b11321-8","relation":{},"ISSN":["2154-9826"],"issn-type":[{"type":"print","value":"2154-9826"}],"subject":[],"published":{"date-parts":[[2011,9,15]]}}}