Evaluating AI-supported eliminative argumentation for developing reliable assurance cases.
Saved in:
| Title: | Evaluating AI-supported eliminative argumentation for developing reliable assurance cases. |
|---|---|
| Authors: | Viger, Torin1,2, torin.viger@mail.utoronto.ca, Murphy, Logan1, lmurphy@cs.toronto.edu, Diemert, Simon2, simon.diemert@cslabs.com, Menghi, Claudio3,4, claudio.menghi@unibg.it, Babikian, Aren A.1, babikian@cs.toronto.edu, Joyce, Jeff2, jeff.joyce@cslabs.com, Di Sandro, Alessio1, adisandro@cs.toronto.edu, Anwari, Naweed2, naweed.anwari@cslabs.com, Cyffka, Erin2, erin.cyffka@cslabs.com, Chechik, Marsha1, chechik@cs.toronto.edu |
| Source: | Empirical Software Engineering; Jul2026, Vol. 31 Issue 4, p1-34, 34p |
| Database: | Applied Science & Technology Source |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: aci DbLabel: Applied Science & Technology Source An: 192654841 AccessLevel: 2 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Evaluating AI-supported eliminative argumentation for developing reliable assurance cases. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AU" term="%22Viger%2C+Torin%22">Viger, Torin</searchLink><relatesTo>1,2</relatesTo>, <i>torin.viger@mail.utoronto.ca</i><br /><searchLink fieldCode="AU" term="%22Murphy%2C+Logan%22">Murphy, Logan</searchLink><relatesTo>1</relatesTo>, <i>lmurphy@cs.toronto.edu</i><br /><searchLink fieldCode="AU" term="%22Diemert%2C+Simon%22">Diemert, Simon</searchLink><relatesTo>2</relatesTo>, <i>simon.diemert@cslabs.com</i><br /><searchLink fieldCode="AU" term="%22Menghi%2C+Claudio%22">Menghi, Claudio</searchLink><relatesTo>3,4</relatesTo>, <i>claudio.menghi@unibg.it</i><br /><searchLink fieldCode="AU" term="%22Babikian%2C+Aren+A%2E%22">Babikian, Aren A.</searchLink><relatesTo>1</relatesTo>, <i>babikian@cs.toronto.edu</i><br /><searchLink fieldCode="AU" term="%22Joyce%2C+Jeff%22">Joyce, Jeff</searchLink><relatesTo>2</relatesTo>, <i>jeff.joyce@cslabs.com</i><br /><searchLink fieldCode="AU" term="%22Di+Sandro%2C+Alessio%22">Di Sandro, Alessio</searchLink><relatesTo>1</relatesTo>, <i>adisandro@cs.toronto.edu</i><br /><searchLink fieldCode="AU" term="%22Anwari%2C+Naweed%22">Anwari, Naweed</searchLink><relatesTo>2</relatesTo>, <i>naweed.anwari@cslabs.com</i><br /><searchLink fieldCode="AU" term="%22Cyffka%2C+Erin%22">Cyffka, Erin</searchLink><relatesTo>2</relatesTo>, <i>erin.cyffka@cslabs.com</i><br /><searchLink fieldCode="AU" term="%22Chechik%2C+Marsha%22">Chechik, Marsha</searchLink><relatesTo>1</relatesTo>, <i>chechik@cs.toronto.edu</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Empirical+Software+Engineering%22">Empirical Software Engineering</searchLink>; Jul2026, Vol. 31 Issue 4, p1-34, 34p |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=192654841 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/s10664-025-10799-8 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 34 StartPage: 1 Titles: – TitleFull: Evaluating AI-supported eliminative argumentation for developing reliable assurance cases. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Viger, Torin – PersonEntity: Name: NameFull: Murphy, Logan – PersonEntity: Name: NameFull: Diemert, Simon – PersonEntity: Name: NameFull: Menghi, Claudio – PersonEntity: Name: NameFull: Babikian, Aren A. – PersonEntity: Name: NameFull: Joyce, Jeff – PersonEntity: Name: NameFull: Di Sandro, Alessio – PersonEntity: Name: NameFull: Anwari, Naweed – PersonEntity: Name: NameFull: Cyffka, Erin – PersonEntity: Name: NameFull: Chechik, Marsha IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 07 Text: Jul2026 Type: published Y: 2026 Identifiers: – Type: issn-print Value: 13823256 Numbering: – Type: volume Value: 31 – Type: issue Value: 4 Titles: – TitleFull: Empirical Software Engineering Type: main |
| ResultId | 1 |