CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification
We present CoVeriTeam GUI, a No-Code web frontend to compose new software-verification workflows from existing analysis techniques. Verification approaches stopped relying on single techniques years ago, and instead combine selections that complement each other well. So far, such combinations were-u...
Gespeichert in:
| Veröffentlicht in: | IEEE/ACM International Conference on Automated Software Engineering : [proceedings] S. 2419 - 2422 |
|---|---|
| Hauptverfasser: | , |
| Format: | Tagungsbericht |
| Sprache: | Englisch |
| Veröffentlicht: |
ACM
27.10.2024
|
| Schlagworte: | |
| ISSN: | 2643-1572 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | We present CoVeriTeam GUI, a No-Code web frontend to compose new software-verification workflows from existing analysis techniques. Verification approaches stopped relying on single techniques years ago, and instead combine selections that complement each other well. So far, such combinations were-under high implementation and maintenance cost-glued together with proprietary code. Now, CoVeriTeam GUI enables users to build new verification workflows without programming. Verification techniques can be combined through various composition operators in a drag-and-drop fashion directly in the browser, and an integration with a remote service allows to execute the built workflows with the click of a button. CoVeriTeam GUI is available open source under Apache 2.0: https://gitlab.com/sosy-lab/software/coveriteam-gui Demonstration video: https://youtu.be/oZoOARuIOuA |
|---|---|
| AbstractList | We present CoVeriTeam GUI, a No-Code web frontend to compose new software-verification workflows from existing analysis techniques. Verification approaches stopped relying on single techniques years ago, and instead combine selections that complement each other well. So far, such combinations were-under high implementation and maintenance cost-glued together with proprietary code. Now, CoVeriTeam GUI enables users to build new verification workflows without programming. Verification techniques can be combined through various composition operators in a drag-and-drop fashion directly in the browser, and an integration with a remote service allows to execute the built workflows with the click of a button. CoVeriTeam GUI is available open source under Apache 2.0: https://gitlab.com/sosy-lab/software/coveriteam-gui Demonstration video: https://youtu.be/oZoOARuIOuA |
| Author | Lemberger, Thomas Wachowitz, Henrik |
| Author_xml | – sequence: 1 givenname: Thomas surname: Lemberger fullname: Lemberger, Thomas organization: LMU Munich,Munich,Germany – sequence: 2 givenname: Henrik surname: Wachowitz fullname: Wachowitz, Henrik organization: LMU Munich,Munich,Germany |
| BookMark | eNotjk1LxDAURaMoOI5du3GRP9AxL99xNxStA4MunHE7PJsEA05T0qL4763o6lwunMu9JGd97gMh18BWAFLdCu1Ac7aaqYTWJ6RyxlnJmAEurTklC66lqEEZfkGqcUxvbI5KA-gFaZv8GkraBTzSdr-5o2v6lOsm-0DXw1Aydu90yrTJeQgFp_QZ6EuO0xeWQH_FmLq5zf0VOY_4MYbqn0uyf7jfNY_19rndNOttjdy6qY6GzSclGOPQRS5QWc2ljzoG77quQ8Y7JS0KYNG6CFZbEMC99yiV5CiW5OZvN4UQDkNJRyzfB2BGKyaN-AF6IEyG |
| CODEN | IEEPAD |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1145/3691620.3695366 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9798400712487 |
| EISSN | 2643-1572 |
| EndPage | 2422 |
| ExternalDocumentID | 10765047 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IF 6IH 6IK 6IL 6IM 6IN 6J9 AAJGR AAWTH ABLEC ACREN ADYOE ADZIZ AFYQB ALMA_UNASSIGNED_HOLDINGS AMTXH BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO IEGSK IPLJI M43 OCL RIE RIL |
| ID | FETCH-LOGICAL-a289t-f7095341779a9f23a58624df6fed9ccca02c548a310f89f18681312ddda4542a3 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001353105400227&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Jan 15 06:20:43 EST 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a289t-f7095341779a9f23a58624df6fed9ccca02c548a310f89f18681312ddda4542a3 |
| OpenAccessLink | https://doi.org/10.1145/3691620.3695366 |
| PageCount | 4 |
| ParticipantIDs | ieee_primary_10765047 |
| PublicationCentury | 2000 |
| PublicationDate | 2024-Oct.-27 |
| PublicationDateYYYYMMDD | 2024-10-27 |
| PublicationDate_xml | – month: 10 year: 2024 text: 2024-Oct.-27 day: 27 |
| PublicationDecade | 2020 |
| PublicationTitle | IEEE/ACM International Conference on Automated Software Engineering : [proceedings] |
| PublicationTitleAbbrev | ASE |
| PublicationYear | 2024 |
| Publisher | ACM |
| Publisher_xml | – name: ACM |
| SSID | ssib057256116 ssj0051577 |
| Score | 2.2722263 |
| Snippet | We present CoVeriTeam GUI, a No-Code web frontend to compose new software-verification workflows from existing analysis techniques. Verification approaches... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 2419 |
| SubjectTerms | Browsers Codes cooperative verification formal methods Graphical user interfaces gui Licenses Maintenance no-code Programming Software Software engineering |
| Title | CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification |
| URI | https://ieeexplore.ieee.org/document/10765047 |
| WOSCitedRecordID | wos001353105400227&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEA62ePBUHxXf5OB1tZvNo_FWFlsFKQVb6a1kkwl4sCl1q3_fye5W8eDB2xJYCElm5ptJvm8IuU5lETVHili5twnnBfpBYURie5JxLxGSm0oy_0mNx_35XE8asnrFhQGA6vEZ3MTP6i7fBbuJpTK0cIWAgqsWaSkla7LW9vAIhcE7jVindsMYp5VqtHxSLm4ziUCIYY4q44Wl_NVMpYolw84_Z7FPuj-sPDr5jjcHZAeWh6SzbctAGys9IqM8vOC5moJ5o6PZ4x0d0HFI8uCADhoFcVoGmoewglr3mz6jM_40a6DxR9-U8bpkNryf5g9J0y8hMZg2lYlXUTyOp0ppoz3LjIjsD-elB6ctblWPWUxQDCI639c-CuWnWcqcc4YLzkx2TNrLsIQTQo1H2xSFKpQF7jPMarxFc9VW90Ab405JNy7MYlVLYiy2a3L2x_g52WOIBqLTZ-qCtMv1Bi7Jrv0oX9_XV9VGfgEh4Zv2 |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwELagIMFUHkW88cAaSBw7rtmqiD5EiSrRom6V44fUgboqKfx9zkkKYmBgiyxFsmzffd-dfd8hdBsludccyX3mXgWU5uAHmWSBChNCbQKUXJaS-UOeZe3pVIzqYvWyFsYYUz4-M3f-s7zL106tfaoMLJwDoaB8G-0wSklYlWttjg_jAN-RZzuVIwak5rxW84kou48ToEIEotTEX1kmv9qplGjSbf5zHgeo9VOXh0ffiHOItsziCDU3jRlwbafHqJe6VzhZYyPfcG8yeMAdnLkgddrgTq0hjguHU-eWplL-xi_gjj_lymD_o60TeS006T6O035Qd0wIJARORWC5l4-jEedCCktiyXz9h7aJNVoo2KyQKAhRJHA62xbWS-VHcUS01pIySmR8ghoLtzCnCEsL1slynnNlqI0hrrEKDFYoERohpT5DLb8ws2UlijHbrMn5H-M3aK8_fh7OhoPs6QLtE-AGHgIIv0SNYrU2V2hXfRTz99V1ualfcMyfPQ |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=IEEE%2FACM+International+Conference+on+Automated+Software+Engineering+%3A+%5Bproceedings%5D&rft.atitle=CoVeriTeam+GUI%3A+A+No-Code+Approach+to+Cooperative+Software+Verification&rft.au=Lemberger%2C+Thomas&rft.au=Wachowitz%2C+Henrik&rft.date=2024-10-27&rft.pub=ACM&rft.eissn=2643-1572&rft.spage=2419&rft.epage=2422&rft_id=info:doi/10.1145%2F3691620.3695366&rft.externalDocID=10765047 |