| 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 |
| 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 |
| 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 |
Tag hinzufügen