{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:49:34Z","timestamp":1725598174702},"reference-count":48,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,25]],"date-time":"2022-05-25T00:00:00Z","timestamp":1653436800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,25]],"date-time":"2022-05-25T00:00:00Z","timestamp":1653436800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5,25]]},"DOI":"10.1109\/sera54885.2022.9806754","type":"proceedings-article","created":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T19:42:00Z","timestamp":1656618120000},"page":"47-53","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Detection of Interaction Errors"],"prefix":"10.1109","author":[{"given":"Nader","family":"Kesserwan","sequence":"first","affiliation":[{"name":"SEMS Robert Morris University,Department of Engineering,Pittsburgh,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jameela","family":"Al-Jaroodi","sequence":"additional","affiliation":[{"name":"SEMS Robert Morris University,Department of Engineering,Pittsburgh,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nader","family":"Mohamed","sequence":"additional","affiliation":[{"name":"California University of Pennsylvania,Information Systems, and Engineering,Department of Computer Science,California,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Imad","family":"Jawhar","sequence":"additional","affiliation":[{"name":"Almaaref University,Faculty of Engineering,Beirut,Lebanon"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1109\/ICSE.2012.6227185"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1109\/ASE.1998.732614"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1002\/stvr.437"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1145\/366378.366380"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1145\/287000.287004"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1145\/192218.192221"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1016\/j.scico.2007.01.015"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1109\/32.908957"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1109\/ICST.2009.19"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1109\/ASE.2002.1115005"},{"key":"ref10","article-title":"A Survey of Dynamic Analysis Methods","author":"howden","year":"1981","journal-title":"Software Testing and Validation Techniques"},{"doi-asserted-by":"publisher","key":"ref40","DOI":"10.1109\/32.87284"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/336512.336546"},{"key":"ref12","article-title":"Metamorphic testing: a new approach for generating next test cases","author":"chen","year":"1998","journal-title":"Technical Report HKUST-CS98-01"},{"key":"ref13","first-page":"1","article-title":"From use case maps to executable test procedures: a scenario-based approach","author":"kesserwan","year":"2017","journal-title":"Software & Systems Modeling"},{"key":"ref14","article-title":"Modernization of Legacy Software Tests to Model-Driven Testing","author":"kesserwan","year":"2017","journal-title":"International Conference on Emerging Technologies for Developing Countries"},{"year":"0","key":"ref15"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.14569\/IJACSA.2021.0120201"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1145\/1291535.1291545"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1017\/CBO9780511626975"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1142\/p006"},{"key":"ref28","first-page":"105","article-title":"Specification-based test oracles for reactive systems","author":"richardson","year":"1992","journal-title":"Proceedings of the 14th international conference on Software engineering  - ICSE '92"},{"year":"2013","author":"harman","journal-title":"A Comprehensive Survey of Trends in Oracles for Software Testing","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/APSEC.1997.640198"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/TSE.2014.2372785"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/s10270-018-00707-8"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1145\/357139.357140"},{"year":"2007","author":"baker","journal-title":"Model-Driven Testing Using the UML Testing Profile","key":"ref5"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1093\/comjnl\/25.4.465"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/s11219-013-9220-4"},{"year":"2001","author":"baresi","journal-title":"Test Oracles","key":"ref2"},{"year":"2001","author":"baresi","journal-title":"Test Oracles","key":"ref9"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/3213846.3229503"},{"key":"ref46","article-title":"Apache Web Server Execution Tracing Using Third Eye","author":"lencevicius","year":"2000","journal-title":"Proc Fourth Int'l Workshop Automated Debugging (AADEBUG 2000)"},{"year":"1992","author":"spivey","journal-title":"The Z Notation A Reference Manual","key":"ref20"},{"doi-asserted-by":"publisher","key":"ref45","DOI":"10.1093\/comjnl\/40.8.499"},{"year":"2020","author":"kesserwan","journal-title":"Automated Testing Requirements Propagation via Model Transformation in Embedded Software","key":"ref48"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/ICST.2009.19"},{"doi-asserted-by":"publisher","key":"ref47","DOI":"10.1109\/32.67578"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/32.667877"},{"doi-asserted-by":"publisher","key":"ref42","DOI":"10.1109\/MS.1985.230351"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1007\/3-540-60271-2_119"},{"doi-asserted-by":"publisher","key":"ref41","DOI":"10.1145\/1006147.1006170"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1016\/0164-1212(88)90022-2"},{"key":"ref44","first-page":"472","article-title":"A Scalable, Visual Interface for Debugging with Event-Based Behavioral Abstraction","author":"kundu","year":"1995","journal-title":"Proc New Frontiers on Massively Parallel Processing"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1002\/spe.520"},{"doi-asserted-by":"publisher","key":"ref43","DOI":"10.1145\/13677.22723"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1007\/3-540-52513-0_7"}],"event":{"name":"2022 IEEE\/ACIS 20th International Conference on Software Engineering Research, Management and Applications (SERA)","start":{"date-parts":[[2022,5,25]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2022,5,27]]}},"container-title":["2022 IEEE\/ACIS 20th International Conference on Software Engineering Research, Management and Applications (SERA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9806462\/9806467\/09806754.pdf?arnumber=9806754","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,25]],"date-time":"2022-07-25T20:15:00Z","timestamp":1658780100000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9806754\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,25]]},"references-count":48,"URL":"https:\/\/doi.org\/10.1109\/sera54885.2022.9806754","relation":{},"subject":[],"published":{"date-parts":[[2022,5,25]]}}}