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 — 1st ed. 2023. (English)
Free access
- New search for: Lambers, Leen
- New search for: Uchitel, Sebastián
2023
-
ISBN:
- Book / Electronic Resource
-
Title: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
-
Contributors:Lambers, Leen ( editor ) / Uchitel, Sebastián ( editor )
-
Published in:
-
Edition:1st ed. 2023.
-
Publisher:
- New search for: Springer Nature Switzerland
-
Place of publication:Cham
-
Publication date:2023
-
Size:1 Online-Ressource(XVI, 332 p. 137 illus., 100 illus. in color.)
-
Remarks:Open Access
-
ISBN:
-
DOI:
-
Type of media:Book
-
Type of material:Electronic Resource
-
Language:English
- New search for: 005.1
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
DDC: 005.1 -
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
ACoRe: Automated Goal-Conflict ResolutionCarvalho, Luiz / Degiovanni, Renzo / Brizzio, Matías / Cordy, Maxime / Aguirre, Nazareno / Traon, Yves Le / Papadakis, Mike et al. | 2023
- 2
-
A Modeling Concept for Formal Verification of OS-Based Compositional SoftwareRibeiro, Leandro Batista / Lorber, Florian / Nyman, Ulrik / Larsen, Kim Guldstrand / Baunach, Marcel et al. | 2023
- 3
-
Compositional Automata Learning of Synchronous SystemsNeele, Thomas / Sammartino, Matteo et al. | 2023
- 4
-
Concolic Testing of Front-end JavaScriptLi, Zhe / Xie, Fei et al. | 2023
- 5
-
Democratizing Quality-Based Machine Learning Development through Extended Feature Modelsd’Aloisio, Giordano / Di Marco, Antinisca / Stilo, Giovanni et al. | 2023
- 6
-
Efficient Bounded Exhaustive Input Generation from Program APIsPolitano, Mariano / Bengolea, Valeria / Molina, Facundo / Aguirre, Nazareno / Frias, Marcelo F. / Ponzio, Pablo et al. | 2023
- 7
-
Feature-Guided Analysis of Neural NetworksGopinath, Divya / Lungeanu, Luca / Mangal, Ravi / Păsăreanu, Corina / Xie, Siqi / Yu, Huafeng et al. | 2023
- 8
-
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in JavaBliudze, Simon / van den Bos, Petra / Huisman, Marieke / Rubbens, Robert / Safina, Larisa et al. | 2023
- 9
-
Model-based Player Experience Testing with Emotion Pattern VerificationAnsari, Saba Gholizadeh / Prasetya, I. S. W. B. / Prandi, Davide / Kifetew, Fitsum Meshesha / Dastani, Mehdi / Dignum, Frank / Keller, Gabriele et al. | 2023
- 10
-
Opportunistic Monitoring of Multithreaded ProgramsSoueidi, Chukri / El-Hokayem, Antoine / Falcone, Yliès et al. | 2023
- 11
-
Parallel Program Analysis via Range SplittingHaltermann, Jan / Jakobs, Marie-Christine / Richter, Cedric / Wehrheim, Heike et al. | 2023
- 12
-
Runtime Enforcement Using Knowledge BasesKamburjan, Eduard / Din, Crystal Chang et al. | 2023
- 13
-
Specification and Validation of Normative Rules for Autonomous AgentsYaman, Sinem Getir / Burholt, Charlie / Jones, Maddie / Calinescu, Radu / Cavalcanti, Ana et al. | 2023
- 14
-
Towards Log SlicingDawes, Joshua Heneage / Shin, Donghwan / Bianculli, Domenico et al. | 2023
- 15
-
Vamos: Middleware for Best-Effort Third-Party MonitoringChalupa, Marek / Muehlboeck, Fabian / Lei, Stefanie Muroya / Henzinger, Thomas A. et al. | 2023
- 16
-
Yet Another Model! A Study on Model’s Similarities for Defect and Code SmellsSantos, Geanderson / Santana, Amanda / Vale, Gustavo / Figueiredo, Eduardo et al. | 2023
- 17
-
Software Testing: 5th Comparative Evaluation: Test-Comp 2023Beyer, Dirk et al. | 2023
- 18
-
FuSeBMC_IA: Interval Analysis and Methods for Test Case GenerationAldughaim, Mohannad / Alshmrany, Kaled M. / Gadelha, Mikhail R. / de Freitas, Rosiane / Cordeiro, Lucas C. et al. | 2023
- 19
-
Correction to: Feature-Guided Analysis of Neural NetworksGopinath, Divya / Lungeanu, Luca / Mangal, Ravi / Păsăreanu, Corina / Xie, Siqi / Yu, Huafeng et al. | 2023