{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:26:59Z","timestamp":1743146819794,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031041143"},{"type":"electronic","value":"9783031041150"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-04115-0_5","type":"book-chapter","created":{"date-parts":[[2022,4,11]],"date-time":"2022-04-11T19:07:51Z","timestamp":1649704071000},"page":"63-83","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Specification of\u00a0Passive Test Cases Using an\u00a0Improved T-EARS Language"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8096-3592","authenticated-orcid":false,"given":"Daniel","family":"Flemstr\u00f6m","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0611-2655","authenticated-orcid":false,"given":"Wasif","family":"Afzal","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2416-4205","authenticated-orcid":false,"given":"Eduard Paul","family":"Enoiu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,4,12]]},"reference":[{"unstructured":"Asteasuain, F., Braberman, V.: Specification patterns can be formal and still easy. In: International Conference on Software Engineering and Knowledge Engineering (SEKE 2001), pp. 430\u2013436. Knowledge Systems Institute is a Graduate School, Knowledge Systems Institute (2010)","key":"5_CR1"},{"issue":"7","key":"5_CR2","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1109\/TSE.2015.2398877","volume":"41","author":"M Autili","year":"2015","unstructured":"Autili, M., Grunske, L., Lumpe, M., Pelliccione, P., Tang, A.: Aligning qualitative, real-time, and probabilistic property specification patterns using a structured English grammar. IEEE Trans. Softw. Eng. 41(7), 620\u2013638 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"5_CR3","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s12243-015-0457-8","volume":"70","author":"AR Cavalli","year":"2015","unstructured":"Cavalli, A.R., Higashino, T., N\u00fa\u00f1ez, M.: A survey on formal active and passive testing with applications to the cloud. Ann. Telecommun. 70(3), 85\u201393 (2015). https:\/\/doi.org\/10.1007\/s12243-015-0457-8","journal-title":"Ann. Telecommun."},{"doi-asserted-by":"crossref","unstructured":"Daniel, F., Eduard, E., Wasif, A., Daniel, S., Thomas, G., Avenir, K.: From natural language requirements to passive test cases using guarded assertions. In: International Conference on Software Quality, Reliability and Security (QRS 2018), pp. 470\u2013481. IEEE Computer Society (2018)","key":"5_CR4","DOI":"10.1109\/QRS.2018.00060"},{"doi-asserted-by":"publisher","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: International Conference on Software Engineering (ICSE 1999), pp. 411\u2013420. Association for Computing Machinery (1999). https:\/\/doi.org\/10.1145\/302405.302672","key":"5_CR5","DOI":"10.1145\/302405.302672"},{"doi-asserted-by":"crossref","unstructured":"Filipovikj, P., Jagerfield, T., Nyberg, M., Rodriguez-Navas, G., Seceleanu, C.: Integrating pattern-based formal requirements specification in an industrial tool-chain. In: International Computer Software and Applications Conference (COMPSAC 2016), vol. 2, pp. 167\u2013173. IEEE Computer Society (2016)","key":"5_CR6","DOI":"10.1109\/COMPSAC.2016.140"},{"doi-asserted-by":"publisher","unstructured":"Filipovikj, P., Nyberg, M., Rodriguez-Navas, G.: Reassessing the pattern-based approach for formalizing requirements in the automotive domain. In: International Requirements Engineering Conference (RE 2014), Los Alamitos, CA, USA, pp. 444\u2013450. IEEE Computer Society, August 2014. https:\/\/doi.org\/10.1109\/RE.2014.6912296","key":"5_CR7","DOI":"10.1109\/RE.2014.6912296"},{"doi-asserted-by":"crossref","unstructured":"Flemstr\u00f6m, D., Gustafsson, T., Kobetski, A.: Saga toolbox: interactive testing of guarded assertions. In: International Conference on Software Testing, Verification and Validation (ICST 2017), pp. 516\u2013523. IEEE Computer Society (2017)","key":"5_CR8","DOI":"10.1109\/ICST.2017.59"},{"doi-asserted-by":"publisher","unstructured":"Flemstr\u00f6m, D., Gustafsson, T., Kobetski, A.: A case study of interactive development of passive tests. In: International Workshop on Requirements Engineering and Testing (RET 2018), pp. 13\u201320. Association for Computing Machinery, New York (2018). https:\/\/doi.org\/10.1145\/3195538.3195544","key":"5_CR9","DOI":"10.1145\/3195538.3195544"},{"unstructured":"Flemstr\u00f6m, D., Gustafsson, T., Kobetski, A., Sundmark, D.: A research roadmap for test design in automated integration testing of vehicular systems. In: International Conference on Fundamentals and Advances in Software Systems Integration (FASSI 2016) (2016)","key":"5_CR10"},{"doi-asserted-by":"publisher","unstructured":"Flemstr\u00f6m, D., Jonsson, H., Enoiu, E.P., Afzal, W.: Industrial scale passive testing with T-EARS. In: Conference on Software Testing, Verification and Validation (ICST 2021), Los Alamitos, CA, USA, pp. 351\u2013361. IEEE Computer Society, April 2021. https:\/\/doi.org\/10.1109\/ICST49551.2021.00047","key":"5_CR11","DOI":"10.1109\/ICST49551.2021.00047"},{"doi-asserted-by":"publisher","unstructured":"Gustafsson, T., Skoglund, M., Kobetski, A., Sundmark, D.: Automotive system testing by independent guarded assertions. In: International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2015), pp. 1\u20137. IEEE Computer Society (2015). https:\/\/doi.org\/10.1109\/ICSTW.2015.7107474","key":"5_CR12","DOI":"10.1109\/ICSTW.2015.7107474"},{"issue":"5","key":"5_CR13","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebraic Program. 78(5), 293\u2013303 (2009)","journal-title":"J. Log. Algebraic Program."},{"doi-asserted-by":"publisher","unstructured":"Mavin, A., Wilkinson, P.: Big ears (the return of \u201ceasy approach to requirements engineering\u201d). In: International Conference on Requirements Engineering (RE 2010), Los Alamitos, CA, USA, pp. 277\u2013282. IEEE Computer Society, October 2010. https:\/\/doi.org\/10.1109\/RE.2010.39","key":"5_CR14","DOI":"10.1109\/RE.2010.39"},{"doi-asserted-by":"publisher","unstructured":"Mavin, A., Wilksinson, P., Gregory, S., Uusitalo, E.: Listens learned (8 lessons learned applying EARS). In: International Requirements Engineering Conference (RE 2016), Los Alamitos, CA, USA, pp. 276\u2013282. IEEE Computer Society, September 2016. https:\/\/doi.org\/10.1109\/RE.2016.38","key":"5_CR15","DOI":"10.1109\/RE.2016.38"},{"doi-asserted-by":"crossref","unstructured":"Mavin, A., Wilkinson, P., Harwood, A., Novak, M.: Easy approach to requirements syntax (EARS). In: International Requirements Engineering Conference (RE 2009), pp. 317\u2013322. IEEE Computer Society (2009)","key":"5_CR16","DOI":"10.1109\/RE.2009.9"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s11334-015-0245-7","volume":"11","author":"F Merz","year":"2015","unstructured":"Merz, F., Sinz, C., Post, H., Gorges, T., Kropf, T.: Bridging the gap between test cases and requirements by abstract testing. Innov. Syst. Softw. Eng. 11, 233\u2013242 (2015). https:\/\/doi.org\/10.1007\/s11334-015-0245-7","journal-title":"Innov. Syst. Softw. Eng."},{"doi-asserted-by":"publisher","unstructured":"Miao, W., Wang, X., Liu, S.: A tool for supporting requirements formalization based on specification pattern knowledge. In: International Symposium on Theoretical Aspects of Software Engineering (TASE 2015). IEEE Computer Society (2015). https:\/\/doi.org\/10.1109\/TASE.2015.13","key":"5_CR18","DOI":"10.1109\/TASE.2015.13"},{"issue":"4","key":"5_CR19","doi-asserted-by":"publisher","first-page":"2809","DOI":"10.1007\/s10664-020-09815-w","volume":"25","author":"F Pudlitz","year":"2020","unstructured":"Pudlitz, F., Brokhausen, F., Vogelsang, A.: What am i testing and where? Comparing testing procedures based on lightweight requirements annotations. Empir. Softw. Eng. 25(4), 2809\u20132843 (2020). https:\/\/doi.org\/10.1007\/s10664-020-09815-w","journal-title":"Empir. Softw. Eng."},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-030-15538-4_11","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"F Pudlitz","year":"2019","unstructured":"Pudlitz, F., Vogelsang, A., Brokhausen, F.: A lightweight multilevel markup language for connecting software requirements and simulations. In: Knauss, E., Goedicke, M. (eds.) REFSQ 2019. LNCS, vol. 11412, pp. 151\u2013166. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-15538-4_11"},{"issue":"4","key":"5_CR21","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1007\/s10515-018-0241-x","volume":"25","author":"R Rabiser","year":"2018","unstructured":"Rabiser, R., Thanhofer-Pilisch, J., Vierhauser, M., Gr\u00fcnbacher, P., Egyed, A.: Developing and evolving a DSL-based approach for runtime monitoring of systems of systems. Autom. Softw. Eng. 25(4), 875\u2013915 (2018). https:\/\/doi.org\/10.1007\/s10515-018-0241-x","journal-title":"Autom. Softw. Eng."},{"doi-asserted-by":"publisher","unstructured":"Rodriguez-Navas, G., Kobetski, A., Sundmark, D., Gustafsson, T.: Offline analysis of independent guarded assertions in automotive integration testing. In: International Conference on Embedded Software and Systems (ICESS 2015), pp. 1066\u20131073. IEEE Computer Society (2015). https:\/\/doi.org\/10.1109\/HPCC-CSS-ICESS.2015.251","key":"5_CR22","DOI":"10.1109\/HPCC-CSS-ICESS.2015.251"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/978-3-319-46982-9_30","volume-title":"Runtime Verification","author":"K Selyunin","year":"2016","unstructured":"Selyunin, K., Nguyen, T., Bartocci, E., Grosu, R.: Applying runtime monitoring for automotive electronic development. In: Falcone, Y., S\u00e1nchez, C. (eds.) RV 2016. LNCS, vol. 10012, pp. 462\u2013469. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46982-9_30"},{"doi-asserted-by":"publisher","unstructured":"Sneed, H.M.: Bridging the concept to implementation gap in software system testing. In: International Conference on Quality Software (QSIC 2008), Los Alamitos, CA, USA, pp. 67\u201373. IEEE Computer Society, August 2008. https:\/\/doi.org\/10.1109\/QSIC.2008.48","key":"5_CR24","DOI":"10.1109\/QSIC.2008.48"},{"doi-asserted-by":"publisher","unstructured":"Walter, B., Hammes, J., Piechotta, M., Rudolph, S.: A formalization method to process structured natural language to logic expressions to detect redundant specification and test statements. In: International Requirements Engineering Conference (RE 2017). IEEE Computer Society (2017). https:\/\/doi.org\/10.1109\/RE.2017.38","key":"5_CR25","DOI":"10.1109\/RE.2017.38"},{"doi-asserted-by":"publisher","unstructured":"Zander-Nowicka, J., Schieferdecker, I., Marrero Perez, A.: Automotive validation functions for on-line test evaluation of hybrid real-time systems. In: Autotestcon, pp. 799\u2013805. IEEE Computer Society (2006). https:\/\/doi.org\/10.1109\/AUTEST.2006.283767","key":"5_CR26","DOI":"10.1109\/AUTEST.2006.283767"}],"container-title":["Lecture Notes in Business Information Processing","Software Quality: The Next Big Thing in Software Engineering and Quality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-04115-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,9]],"date-time":"2022-05-09T23:03:17Z","timestamp":1652137397000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-04115-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031041143","9783031041150"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-04115-0_5","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"12 April 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SWQD","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Quality","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 May 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 May 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"swqd2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.software-quality-days.com\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"50% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4-5","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1-2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}