default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th FASE@ETAPS 2023: Paris, France
- Leen Lambers
, Sebastián Uchitel:
Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. Lecture Notes in Computer Science 13991, Springer 2023, ISBN 978-3-031-30825-3
Regular Contributions
- Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis:
ACoRe: Automated Goal-Conflict Resolution. 3-25 - Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen, Marcel Baunach:
A Modeling Concept for Formal Verification of OS-Based Compositional Software. 26-46 - Thomas Neele, Matteo Sammartino:
Compositional Automata Learning of Synchronous Systems. 47-66 - Zhe Li, Fei Xie:
Concolic Testing of Front-end JavaScript. 67-87 - Giordano d'Aloisio, Antinisca Di Marco, Giovanni Stilo:
Democratizing Quality-Based Machine Learning Development through Extended Feature Models. 88-110 - Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio:
Efficient Bounded Exhaustive Input Generation from Program APIs. 111-132 - Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huafeng Yu:
Feature-Guided Analysis of Neural Networks. 133-142 - Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina:
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. 143-150 - Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Davide Prandi, Fitsum Meshesha Kifetew, Mehdi Dastani, Frank Dignum, Gabriele Keller:
Model-based Player Experience Testing with Emotion Pattern Verification. 151-172 - Chukri Soueidi, Antoine El-Hokayem, Yliès Falcone:
Opportunistic Monitoring of Multithreaded Programs. 173-194 - Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim:
Parallel Program Analysis via Range Splitting. 195-219 - Eduard Kamburjan, Crystal Chang Din:
Runtime Enforcement Using Knowledge Bases. 220-240 - Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti:
Specification and Validation of Normative Rules for Autonomous Agents. 241-248 - Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli:
Towards Log Slicing. 249-259 - Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger:
Vamos: Middleware for Best-Effort Third-Party Monitoring. 260-281 - Geanderson E. dos Santos, Amanda Santana, Gustavo Vale, Eduardo Figueiredo:
Yet Another Model! A Study on Model's Similarities for Defect and Code Smells. 282-305
Competition Contributions
- Dirk Beyer:
Software Testing: 5th Comparative Evaluation: Test-Comp 2023. 309-323 - Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro:
FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution). 324-329
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-24 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
