{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:46Z","timestamp":1750221166933,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,2]],"date-time":"2018-06-02T00:00:00Z","timestamp":1527897600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Vinnova","award":["2015-04816"],"award-info":[{"award-number":["2015-04816"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,2]]},"DOI":"10.1145\/3195538.3195544","type":"proceedings-article","created":{"date-parts":[[2018,6,29]],"date-time":"2018-06-29T15:14:53Z","timestamp":1530285293000},"page":"13-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A case study of interactive development of passive tests"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Flemstr\u00f6m","sequence":"first","affiliation":[{"name":"RISE SICS V\u00e4ster\u0227s AB, V\u00e4ster\u0227s"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Gustafsson","sequence":"additional","affiliation":[{"name":"Scania CV AB, S\u00f6dert\u00e4lje"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avenir","family":"Kobetski","sequence":"additional","affiliation":[{"name":"RISE SICS AB, Stockholm"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88387-6_36"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9263-y"},{"key":"e_1_3_2_1_3_1","volume-title":"Active-passive: On Preconceptions of Testing. Journal of Telecommunications and Information Technology","author":"Brzezi\u0144ski Krzysztof M","year":"2011","unstructured":"Krzysztof M Brzezi\u0144ski . 2011 . Active-passive: On Preconceptions of Testing. Journal of Telecommunications and Information Technology (2011), 63 -- 73. Krzysztof M Brzezi\u0144ski. 2011. Active-passive: On Preconceptions of Testing. Journal of Telecommunications and Information Technology (2011), 63 -- 73."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_5_1","volume-title":"Verification and Validation (ICST), 2017 IEEE International Conference on. IEEE, 516--523","author":"Flemstr\u00f6m Daniel","year":"2017","unstructured":"Daniel Flemstr\u00f6m , Thomas Gustafsson , and Avenir Kobetski . 2017 . SAGA Toolbox: Interactive Testing of Guarded Assertions. In Software Testing , Verification and Validation (ICST), 2017 IEEE International Conference on. IEEE, 516--523 . Daniel Flemstr\u00f6m, Thomas Gustafsson, and Avenir Kobetski. 2017. SAGA Toolbox: Interactive Testing of Guarded Assertions. In Software Testing, Verification and Validation (ICST), 2017 IEEE International Conference on. IEEE, 516--523."},{"key":"e_1_3_2_1_6_1","volume-title":"Qualitative content analysis in nursing research: concepts, procedures and measures to achieve trustworthiness. Nurse education today 24, 2","author":"Graneheim Ulla H","year":"2004","unstructured":"Ulla H Graneheim and Berit Lundman . 2004. Qualitative content analysis in nursing research: concepts, procedures and measures to achieve trustworthiness. Nurse education today 24, 2 ( 2004 ), 105--112. Ulla H Graneheim and Berit Lundman. 2004. Qualitative content analysis in nursing research: concepts, procedures and measures to achieve trustworthiness. Nurse education today 24, 2 (2004), 105--112."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2009.9"},{"volume-title":"Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW'15)","author":"Gustafsson T.","key":"e_1_3_2_1_8_1","unstructured":"T. Gustafsson , M. Skoglund , A. Kobetski , and D. Sundmark . 2015. Automotive system testing by independent guarded assertions . In Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW'15) . 1--7. T. Gustafsson, M. Skoglund, A. Kobetski, and D. Sundmark. 2015. Automotive system testing by independent guarded assertions. In Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW'15). 1--7."},{"volume-title":"Requirements engineering","author":"Hull Elizabeth","key":"e_1_3_2_1_9_1","unstructured":"Elizabeth Hull , Ken Jackson , and Jeremy Dick . 2010. Requirements engineering . Springer Science & Business Media . Elizabeth Hull, Ken Jackson, and Jeremy Dick. 2010. Requirements engineering. Springer Science & Business Media."},{"key":"e_1_3_2_1_10_1","volume-title":"A brief account of runtime verification. The Journal of Logic and Algebraic Programming","author":"Leucker Martin","year":"2009","unstructured":"Martin Leucker and Christian Schallhart . 2009. A brief account of runtime verification. The Journal of Logic and Algebraic Programming ( 2009 ), 293--303. Martin Leucker and Christian Schallhart. 2009. A brief account of runtime verification. The Journal of Logic and Algebraic Programming (2009), 293--303."},{"volume-title":"Adv-EARS: A Formal Requirements Syntax for Derivation of Use Case Models","author":"Majumdar Dipankar","key":"e_1_3_2_1_11_1","unstructured":"Dipankar Majumdar , Sabnam Sengupta , Ananya Kanjilal , and Swapan Bhattacharya . 2011. Adv-EARS: A Formal Requirements Syntax for Derivation of Use Case Models . Springer Berlin Heidelberg , Berlin, Heidelberg , 40--48. Dipankar Majumdar, Sabnam Sengupta, Ananya Kanjilal, and Swapan Bhattacharya. 2011. Adv-EARS: A Formal Requirements Syntax for Derivation of Use Case Models. Springer Berlin Heidelberg, Berlin, Heidelberg, 40--48."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.39"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2009.9"},{"volume-title":"2016 IEEE 24th International Requirements Engineering Conference (RE). 276--282","author":"Mavin A.","key":"e_1_3_2_1_14_1","unstructured":"A. Mavin , P. Wilksinson , S. Gregory , and E. Uusitalo . 2016. Listens Learned (8 Lessons Learned Applying EARS) . In 2016 IEEE 24th International Requirements Engineering Conference (RE). 276--282 . A. Mavin, P. Wilksinson, S. Gregory, and E. Uusitalo. 2016. Listens Learned (8 Lessons Learned Applying EARS). In 2016 IEEE 24th International Requirements Engineering Conference (RE). 276--282."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2013.5"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-011-0145-9"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC-CSS-ICESS.2015.251"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9102-8"},{"volume-title":"Applying Runtime Monitoring for Automotive Electronic Development","author":"Selyunin Konstantin","key":"e_1_3_2_1_19_1","unstructured":"Konstantin Selyunin , Thang Nguyen , Ezio Bartocci , and Radu Grosu . 2016. Applying Runtime Monitoring for Automotive Electronic Development . Springer International Publishing , Cham , 462--469. Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, and Radu Grosu. 2016. Applying Runtime Monitoring for Automotive Electronic Development. Springer International Publishing, Cham, 462--469."}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Gothenburg Sweden","acronym":"ICSE '18"},"container-title":["Proceedings of the 5th International Workshop on Requirements Engineering and Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3195538.3195544","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3195538.3195544","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:52Z","timestamp":1750208932000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3195538.3195544"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,2]]},"references-count":19,"alternative-id":["10.1145\/3195538.3195544","10.1145\/3195538"],"URL":"https:\/\/doi.org\/10.1145\/3195538.3195544","relation":{},"subject":[],"published":{"date-parts":[[2018,6,2]]},"assertion":[{"value":"2018-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}