Efficient Bounded Exhaustive Input Generation from Program APIs

Efficient Bounded Exhaustive Input Generation from Program APIs

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:FASE (26. : 2023 : Paris) Fundamental approaches to software engineering
1. Verfasser: Politano, Mariano (VerfasserIn)
Weitere Verfasser: Bengolea, Valeria (VerfasserIn), Molina, Facundo (VerfasserIn), Aguirre, Nazareno (VerfasserIn), Frias, Marcelo F. (VerfasserIn), Ponzio, Pablo (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2023
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
ACoRe: Automated Goal-Conflict Resolution 2023 Carvalho, Luiz
A Modeling Concept for Formal Verification of OS-Based Compositional Software 2023 Ribeiro, Leandro Batista
Model-based Player Experience Testing with Emotion Pattern Verification 2023 Ansari, Saba Gholizadeh
Democratizing Quality-Based Machine Learning Development through Extended Feature Models 2023 d’Aloisio, Giordano
Efficient Bounded Exhaustive Input Generation from Program APIs 2023 Politano, Mariano
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java 2023 Bliudze, Simon
Parallel Program Analysis via Range Splitting 2023 Haltermann, Jan
Vamos: Middleware for Best-Effort Third-Party Monitoring 2023 Chalupa, Marek
Correction to: Feature-Guided Analysis of Neural Networks 2023 Gopinath, Divya
Concolic Testing of Front-end JavaScript 2023 Li, Zhe
Opportunistic Monitoring of Multithreaded Programs 2023 Soueidi, Chukri
Runtime Enforcement Using Knowledge Bases 2023 Kamburjan, Eduard
Yet Another Model! A Study on Model’s Similarities for Defect and Code Smells 2023 Santos, Geanderson
Software Testing: Sth Comparative Evaluation: Test-Comp 2023 2023 Bever, Dirk
FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation (Competition Contribution) 2023 Aldughaim, Mohannad
Compositional Automata Learning of Synchronous Systems 2023 Neele, Thomas
Feature-Guided Analysis of Neural Networks 2023 Gopinath, Divya
Specification and Validation of Normative Rules for Autonomous Agents 2023 Yaman, Sinem Getir
Towards Log Shicing 2023 Dawes, Joshua Heneage
Alle Artikel auflisten