https://m2.mtmt.hu/ hun 2026-06-25 06:29 Book 36910403 APPROVED true 0 false 2026-05-14T16:57:58.330+0000 2026-04-08T07:20:38.802+0000 2026-01-30T08:39:04.338+0000 true 10060181 Guzsvinecz Tibor /api/author/10060181 Author true 10060181 2026-04-08T07:20:39.208+0000 2026-04-08T07:20:39.208+0000 false false true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book true 10000144 Conference proceedings true 23 23 /api/publicationtype/23 PublicationType 3 true 23 Book /api/subtype/10000144 Konferenciakötet SubType 345 true 10000144 true 1 /api/category/1 Category true 1 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) 2025 true 354481 /api/conference/354481 true 10498 true 10053 /api/country/10053 Country true 2151485 /api/city/10498 City true 1028540 Conference true 2026 true true false true false NONE 2026-05-14 false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 false false false false 2026-05-14T23:08:23.880+0000 12 38 0 0 0 7 false false Language 10002 /api/language/10002 Angol English true 2 true OrgAuthorship 136952784 /api/authorship/136952784 1 0.0 false false true false false AuthorshipType 2 /api/authorshiptype/2 -1 true -1 true false true PublicationIdentifier 31316256 /api/publicationidentifier/31316256 PlainSource 122 /api/publicationsource/122 PublicationSourceType 10002 /api/publicationsourcetype/10002 false true true ISBN ISBN https://www.worldcat.org/search?q=isbn%3A@@@ true true 122 true 9798350357332 https://www.worldcat.org/search?q=isbn%3A9798350357332 false true SeriesVolume 380263 /api/seriesvolume/380263 Book 36910403 /api/publication/36910403 false false false PublicationType 23 /api/publicationtype/23 23 Book 3 true 23 true SubType 10000144 /api/subtype/10000144 Konferenciakötet Conference proceedings PublicationType 23 /api/publicationtype/23 23 Book 3 true 23 true 345 true 10000144 true Category 1 /api/category/1 true 1 true Language 10002 /api/language/10002 Angol English true 2 true 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) PublicationIdentifier 31316256 /api/publicationidentifier/31316256 PlainSource 122 /api/publicationsource/122 PublicationSourceType 10002 /api/publicationsourcetype/10002 false true true ISBN ISBN https://www.worldcat.org/search?q=isbn%3A@@@ true true 122 true 9798350357332 https://www.worldcat.org/search?q=isbn%3A9798350357332 false true City 10939 /api/city/10939 Country 10017 /api/country/10017 true 13 true true 2054246 true 2025 true true false true true true BookSeries 20181062 /api/bookseries/20181062 1938-4300 2643-1572 false false false false true true false true Publisher 158428 /api/publisher/158428 IEEE DUPLUM true true City 10939 /api/city/10939 Country 10017 /api/country/10017 true 13 true true 2054246 true BookChapter 37023540 /api/publication/37023540 true false false PublicationType 25 /api/publicationtype/25 25 BookChapter 2 true 25 true SubType 10000312 /api/subtype/10000312 Konferenciaközlemény Conference paper PublicationType 25 /api/publicationtype/25 25 BookChapter 2 true 25 true 228 true 10000312 true Category 1 /api/category/1 true 1 true Language 10002 /api/language/10002 Angol English true 2 true Non-termination Witnesses and Their Validation PublicationIdentifier 31685863 /api/publicationidentifier/31685863 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true IDENTICAL 10.1109/ASE63991.2025.00164 https://doi.org/10.1109/ASE63991.2025.00164 false true PublicationIdentifier 31800492 /api/publicationidentifier/31800492 PlainSource 1 /api/publicationsource/1 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true WoS WoS https://www.webofscience.com/wos/woscc/full-record/@@@ true true 1 true IDENTICAL 001706323100156 https://www.webofscience.com/wos/woscc/full-record/001706323100156 false true PublicationIdentifier 31879168 /api/publicationidentifier/31879168 PlainSource 3 /api/publicationsource/3 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true Scopus Scopus http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@ true true 3 true IDENTICAL 105034650206 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-105034650206 false true PublicationIdentifier 31685864 /api/publicationidentifier/31685864 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true IDENTICAL https://ieeexplore.ieee.org/document/11334721/ https://ieeexplore.ieee.org/document/11334721/ false true 13 2025 true true true true true true true BookChapter 36961048 /api/publication/36961048 false true false PublicationType 25 /api/publicationtype/25 25 BookChapter 2 true 25 true SubType 10000303 /api/subtype/10000303 Szaktanulmány Study PublicationType 25 /api/publicationtype/25 25 BookChapter 2 true 25 true 219 true 10000303 true Category 1 /api/category/1 true 1 true Language 10002 /api/language/10002 Angol English true 2 true Advancing Binary Code Similarity Detection via Context-Content Fusion and LLM Verification PublicationIdentifier 31486328 /api/publicationidentifier/31486328 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true 10.1109/ASE63991.2025.00033 https://doi.org/10.1109/ASE63991.2025.00033 false true PublicationIdentifier 31486329 /api/publicationidentifier/31486329 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true https://ieeexplore.ieee.org/document/11334248/ https://ieeexplore.ieee.org/document/11334248/ false true 13 2025 true true true false true true BookChapter 36970564 /api/publication/36970564 false true false PublicationType 25 /api/publicationtype/25 25 BookChapter 2 true 25 true SubType 10000312 /api/subtype/10000312 Konferenciaközlemény Conference paper PublicationType 25 /api/publicationtype/25 25 BookChapter 2 true 25 true 228 true 10000312 true Category 1 /api/category/1 true 1 true Language 10002 /api/language/10002 Angol English true 2 true RFCScope: Detecting Logical Ambiguities in Internet Protocol Specifications PublicationIdentifier 31517250 /api/publicationidentifier/31517250 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true 10.1109/ASE63991.2025.00106 https://doi.org/10.1109/ASE63991.2025.00106 false true PublicationIdentifier 31517251 /api/publicationidentifier/31517251 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true https://ieeexplore.ieee.org/document/11334266/ https://ieeexplore.ieee.org/document/11334266/ false true 13 2025 true true true true false true true BookChapter 37134496 /api/publication/37134496 false true false PublicationType 25 /api/publicationtype/25 25 BookChapter 2 true 25 true SubType 10000312 /api/subtype/10000312 Konferenciaközlemény Conference paper PublicationType 25 /api/publicationtype/25 25 BookChapter 2 true 25 true 228 true 10000312 true Category 1 /api/category/1 true 1 true Language 10002 /api/language/10002 Angol English true 2 true Efficient and Verifiable Proof Logging for MaxSAT Solving PublicationIdentifier 32036168 /api/publicationidentifier/32036168 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true 10.1109/ASE63991.2025.00113 https://doi.org/10.1109/ASE63991.2025.00113 false true PublicationIdentifier 32036167 /api/publicationidentifier/32036167 PlainSource 1 /api/publicationsource/1 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true WoS WoS https://www.webofscience.com/wos/woscc/full-record/@@@ true true 1 true IDENTICAL 001706323100105 https://www.webofscience.com/wos/woscc/full-record/001706323100105 false true 13 2025 true true true true true true BookChapter 37144394 /api/publication/37144394 false true false PublicationType 25 /api/publicationtype/25 25 BookChapter 2 true 25 true SubType 10000312 /api/subtype/10000312 Konferenciaközlemény Conference paper PublicationType 25 /api/publicationtype/25 25 BookChapter 2 true 25 true 228 true 10000312 true Category 1 /api/category/1 true 1 true Language 10002 /api/language/10002 Angol English true 2 true Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots PublicationIdentifier 32057771 /api/publicationidentifier/32057771 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true 10.1109/ASE63991.2025.00306 https://doi.org/10.1109/ASE63991.2025.00306 false true PublicationIdentifier 32057773 /api/publicationidentifier/32057773 PlainSource 1 /api/publicationsource/1 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true WoS WoS https://www.webofscience.com/wos/woscc/full-record/@@@ true true 1 true 001706323100296 https://www.webofscience.com/wos/woscc/full-record/001706323100296 false true PublicationIdentifier 32057774 /api/publicationidentifier/32057774 PlainSource 3 /api/publicationsource/3 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true Scopus Scopus http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@ true true 3 true 105034695699 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-105034695699 false true PublicationIdentifier 32057772 /api/publicationidentifier/32057772 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true https://ieeexplore.ieee.org/document/11334659/ https://ieeexplore.ieee.org/document/11334659/ false true 12 2025 true true true true false true true BookChapter 36952225 /api/publication/36952225 false true false PublicationType 25 /api/publicationtype/25 25 BookChapter 2 true 25 true SubType 10000312 /api/subtype/10000312 Konferenciaközlemény Conference paper PublicationType 25 /api/publicationtype/25 25 BookChapter 2 true 25 true 228 true 10000312 true Category 1 /api/category/1 true 1 true Language 10002 /api/language/10002 Angol English true 2 true VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods PublicationIdentifier 31452397 /api/publicationidentifier/31452397 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true 10.1109/ASE63991.2025.00120 https://doi.org/10.1109/ASE63991.2025.00120 false true PublicationIdentifier 31452398 /api/publicationidentifier/31452398 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true https://ieeexplore.ieee.org/document/11334383/ https://ieeexplore.ieee.org/document/11334383/ false true 12 2025 true true true true true true BookChapter 36910402 /api/publication/36910402 false true false PublicationType 25 /api/publicationtype/25 25 BookChapter 2 true 25 true SubType 10000312 /api/subtype/10000312 Konferenciaközlemény Conference paper PublicationType 25 /api/publicationtype/25 25 BookChapter 2 true 25 true 228 true 10000312 true Category 1 /api/category/1 true 1 true Language 10002 /api/language/10002 Angol English true 2 true Autonomous Agents for Accessibility: Simulating Visual Impairments in Web Interfaces PublicationIdentifier 31316257 /api/publicationidentifier/31316257 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true 10.1109/ASE63991.2025.00349 https://doi.org/10.1109/ASE63991.2025.00349 false true PublicationIdentifier 31808341 /api/publicationidentifier/31808341 PlainSource 1 /api/publicationsource/1 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true WoS WoS https://www.webofscience.com/wos/woscc/full-record/@@@ true true 1 true 001706323100339 https://www.webofscience.com/wos/woscc/full-record/001706323100339 false true PublicationIdentifier 31316258 /api/publicationidentifier/31316258 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true https://ieeexplore.ieee.org/document/11334260/ https://ieeexplore.ieee.org/document/11334260/ false true 5 2025 true true true true true true /api/publication/36910403 <div class="Book Publication long-list"> <div class="authors"> <div class="autype autype-1"> Szerkesztő: <span class="author-affil">IEEE</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;36910403" target="_blank">2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)</a></div><div class="conference"> Konferencia helye, ideje: <span class="location">Seoul, Dél-Korea <span class="conference-date">2025.11.16. - 2025.11.20.</span> </div><div class="publish-data"> <span class="published-at"> Piscataway (NJ)</span>: <span class="publishers">IEEE</span>, <span class="year">(2025)</span> </div> <span class="volume"> <span class="volumeTitle"></span> ( <span class="seriesTitle">IEEE/ACM International Conference on Automated Software Engineering; </span> <span class="issn">1938-4300</span> <span class="issn">2643-1572</span> ) <br> </span> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <span class="isbnOrIssn"> ISBN: </span> <a style="color:black" title="9798350357332" target="_blank" href="https://www.worldcat.org/search?q=isbn%3A9798350357332"> 9798350357332 </a> </span> </span> <div class="mtid"><span class="long-pub-mtid">Közlemény: 36910403</span> | <span class="status-data status-APPROVED"> Nyilvános </span> | <span class="type-subtype">Könyv ( Konferenciakötet ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">DOI XML</span> </div> <div class="lastModified">Utolsó módosítás: 2026.04.08. 09:20 Andódy Katalin (BME admin4) </div> <div class="chapters"> <b><a target="_blank" href="/api/publication?from=BookChapter&cond=book.mtid;eq;36910403">Fejezetek: 7</a></b> </div> </div></div>