# Inspectable Control for Structure-Preserving Software Regeneration

Canonical HTML: https://aogavrilov.com/de/publications/inspectable-control/

Document language: de

Überprüfbare Steuerung für die strukturerhaltende Regenerierung von Software

Steuerbare partielle Code-Regenerierung mithilfe hierarchischer diskreter latenter Repräsentationen.

[Alexey Gavrilov](https://orcid.org/0009-0006-3147-5430) 1 [Alan-Barsag Gazzaev](https://orcid.org/0009-0000-0334-312X) 1 [Mikhail Mozikov](https://orcid.org/0000-0003-0594-867X) 2 [Ilya Makarov](https://orcid.org/0000-0002-3308-8825) 2 [Sergey Muravyov](https://orcid.org/0000-0002-4251-1744) 1

1. [ITMO University, Saint Petersburg, Russian Federation](https://en.itmo.ru/)
2. [AXXX, Moskau, Russische Föderation](https://axxx.tech/)

[Vollständigen Beitrag im HTML-Format lesen](https://aogavrilov.com/publications/inspectable-control/full-text/) Durchsuchbarer Text mit Formeln, Tabellen, Abbildungen und Literaturangaben.

Druckfertiges Autorenmanuskript mit endgültiger Autorenliste und DOI. CC BY 4.0 author manuscript; the ACM DOI page remains the version of record. [Bedingungen für Veröffentlichung und Wiederverwendung](https://creativecommons.org/licenses/by/4.0/) .

## Der Beitrag in 30 Sekunden

**Forschungsfrage** Wie kann ein generatives Modell ausgewählte Teile eines Programms ändern und dabei bestimmte Elemente seiner groben Struktur erhalten?

### Problemstellung

Bei KI-gestützten Codeänderungen ist häufig eine einzelne begrenzte Änderung erforderlich, während ausgewählte Programmstrukturen unverändert bleiben. Die Regenerierung des gesamten Programms kann nicht betroffene Bereiche beeinträchtigen, und Beschränkungen auf Tokenebene bieten keine grobe Steuerungsebene.

### Ansatz

Die Studie kodiert Python-Funktionen mit 64 Token mittels eines hierarchischen VQ-VAE, fixiert ausgewählte grobe diskrete Codes und nutzt maskierte diskrete Generierung zur lokalen Regenerierung von Code an den verbleibenden latenten Positionen.

### Hauptergebnis

Das Sperren von vier Codes der obersten Ebene erhöht die Parserfolgsrate von 0.453 auf 0.591, während sich nicht gesperrte Positionen weiterhin mit einer Rate von 0.936 ändern und die bedingten Stichproben zu 0.998 einzigartig bleiben.

### Warum dies relevant ist

Die Ergebnisse zeigen ein messbares Verhältnis von Stabilität und Freiheit bei steuerbarer Codebearbeitung und partieller Programmregenerierung. Sie liefern frühe Evidenz für eine überprüfbare latente Steuerungsschicht, jedoch keinen Beweis semantischer Äquivalenz oder funktionaler Korrektheit.

## Zusammenfassung

Arbeitsabläufe der Softwaretechnik wie beschränkte Reparatur, stufenweise Verfeinerung und strukturerhaltende Modifikation erfordern Kontrolle darüber, was sich ändert und was unverändert bleibt. Die Generierung auf Tokenebene bietet hierfür nur eine schwache Steuerungsfläche, da sie lokalen Oberflächentext beschränkt und nicht die groben strukturellen Invarianten, deren Erhalt in der Softwaretechnik häufig angestrebt wird. Wir untersuchen hierarchische diskrete latente Variablen als überprüfbare Zwischendarstellung für Softwareartefakte: Ein hierarchischer VQ-VAE komprimiert eine Python-Funktion mit 64 Token in grobe und feine diskrete Codes; die maskierte diskrete Generierung erzeugt unter partiellen Beschränkungen ausschließlich ausgewählte Positionen neu. Bei 2,000 vorverarbeiteten Python-Funktionen erhöht das Fixieren von vier Codes der obersten Ebene die Parserfolgsrate von 0.453 auf 0.591, während erhebliche Änderungen an nicht fixierten Positionen (Editierfreiheit, 0.936) und eine nahezu maximale Einzigartigkeit der Stichproben (Diversität, 0.998) erhalten bleiben. Bei festem grobem Kontext fällt die Verfeinerung auf der unteren Ebene schwächer aus, bleibt jedoch monoton und stützt damit eine Interpretation der Hierarchie vom Groben zum Feinen. Insgesamt liefern diese Ergebnisse erste Evidenz für eine praktikable Steuerungsschicht, die oberhalb der Tokenebene eine begrenzte, strukturerhaltende Regenerierung von Softwareartefakten ermöglicht.

Erschienen in Tagungsband der 34th ACM International Conference on the Foundations of Software Engineering

Art des Beitrags Steuerungsverfahren für den latenten Raum

5. Juli 2026 S. 1406–1407 Begleitposter

DOI [https://doi.org/10.1145/3803437.3807386](https://doi.org/10.1145/3803437.3807386)

## Inhalt Auf dieser Seite

## Zentrale Ergebnisse

| Versuchsaufbau | Parser-Erfolgsquote | Gerüst | Signatur | Nicht fixierte Änderung |
| --- | --- | --- | --- | --- |
| Eingabe (gekürzt) | 0.994 | 0.994 | 0.994 | — |
| Codec-Rekonstruktion | 0.857 | 0.848 | 0.493 | 0 |
| Unbedingte Generierung | 0.453 | 0.08 | 0 | 0.995 |
| Bedingt, Präfix k=4 | 0.591 | 0.295 | 0.061 | 0.936 |
| Bedingt, Signaturbereich | 0.6 | 0.302 | 0.063 | nicht berichtet |

**Zentrales Ergebnis.** Das Sperren grober latenter Positionen verbessert die syntaktische Stabilität, ohne Änderungen im bearbeitbaren Bereich zum Erliegen zu bringen; das Ergebnis belegt strukturelle Steuerung, jedoch keine garantierte funktionale Äquivalenz.

Ergebnisse herunterladen: [CSV](https://aogavrilov.com/publications/inspectable-control/results.csv) [JSON](https://aogavrilov.com/publications/inspectable-control/results.json) [Markdown](https://aogavrilov.com/publications/inspectable-control/results.md) Externer Spiegel: [Hugging-Face-Datensatzkarte](https://huggingface.co/datasets/aogavrilov/inspectable-control-results)

## PDF und Zitierhinweise

**Diese Arbeit zitieren** BibTeX ist das empfohlene Format. Alle nachstehenden Varianten werden aus demselben Publikationseintrag erzeugt.

```
@inproceedings{Gavrilov2026InspectableControl,
  title      = {Inspectable Control for Structure-Preserving Software Regeneration},
  author     = {Gavrilov, Alexey and Gazzaev, Alan-Barsag and Mozikov, Mikhail and Makarov, Ilya and Muravyov, Sergey},
  booktitle  = {Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering},
  publisher  = {ACM},
  year       = {2026},
  pages      = {1406--1407},
  doi        = {10.1145/3803437.3807386},
  url        = {https://doi.org/10.1145/3803437.3807386},
  isbn       = {979-8-4007-2636-1},
}
```

Zitationsdateien: [APA-Text](https://aogavrilov.com/publications/inspectable-control/citation-apa.txt) [IEEE-Text](https://aogavrilov.com/publications/inspectable-control/citation-ieee.txt) [RIS](https://aogavrilov.com/publications/inspectable-control/citation.ris) [CSL-JSON](https://aogavrilov.com/publications/inspectable-control/citation.json) [Schema.org JSON-LD](https://aogavrilov.com/publications/inspectable-control/metadata.jsonld) [OAI-DC XML](https://aogavrilov.com/publications/inspectable-control/oai-dc.xml) [OpenAIRE v4 XML](https://aogavrilov.com/publications/inspectable-control/openaire.xml) [MODS XML](https://aogavrilov.com/publications/inspectable-control/mods.xml) [JATS-1.4-Metadaten-XML](https://aogavrilov.com/publications/inspectable-control/metadata.jats.xml) [Volltext im Format JATS 1.4 XML](https://aogavrilov.com/publications/inspectable-control/full-text/article.jats.xml) [RDF Turtle](https://aogavrilov.com/publications/inspectable-control/metadata.ttl) [Link-Set (JSON)](https://aogavrilov.com/publications/inspectable-control/linkset.json) [Link-Set (HTTP)](https://aogavrilov.com/publications/inspectable-control/linkset) [RO-Crate](https://aogavrilov.com/publications/inspectable-control/ro-crate-metadata.json)

DOI: [https://doi.org/10.1145/3803437.3807386](https://doi.org/10.1145/3803437.3807386)

Vollständiger Leitfaden

## Vollständiger Forschungsleitfaden

## Methode

## 

Das Verfahren komprimiert eine kurze Python-Funktion in zwei Ebenen diskreter Codes, fixiert ausgewählte grobe Positionen und generiert die übrigen Positionen neu, bevor sie wieder zu Code decodiert werden.

1. Codieren Eine Python-Funktion mit 64 Token mittels eines hierarchischen VQ-VAE in 16 Codes der oberen und 32 Codes der unteren Ebene komprimieren.
2. Sperren Grobe Codepositionen auswählen, die die zu erhaltende Struktur repräsentieren, etwa ein Präfix, das den Bereich der Funktionssignatur abdeckt.
3. Neu erzeugen Die maskierte diskrete Generierung ausschließlich über nicht gesperrte Positionen ausführen und die vervollständigte Hierarchie wieder in Quellcode dekodieren.
4. Prüfen Vor Annahme einer Regenerierung Parser-Erfolgsquote, strukturelle Proxy-Metriken, Änderungen an entsperrten Positionen und Einzigartigkeit der Stichproben messen.

![Ausgewählte grobe Codes der Programmrepräsentation bleiben unverändert, während maskierte feine diskrete Codes neu generiert und zu einer modifizierten Python-Funktion dekodiert werden.](https://aogavrilov.com/publications/inspectable-control/hierarchical-discrete-latent-code-editing.svg)

**Bei der Bearbeitung hierarchischer diskreter latenter Codes bleibt ausgewählte grobe Programmstruktur erhalten, während feine Codes im bearbeitbaren Bereich neu generiert werden.* Quelle: [Von den Autoren erstelltes Erläuterungsdiagramm auf Grundlage der veröffentlichten Methode und Ergebnisse.](https://doi.org/10.1145/3803437.3807386) . Bedingungen für die Nachnutzung: [CC BY 4.0](https://creativecommons.org/licenses/by/4.0/) . Empfohlene Quellenangabe: Gavrilov et al. (2026), Inspectable Control for Structure-Preserving Software Regeneration. [SVG herunterladen](https://aogavrilov.com/publications/inspectable-control/hierarchical-discrete-latent-code-editing.svg) .*

### Grundgedanke

Die Steuerung greift auf einer erlernten Repräsentation oberhalb der Tokenebene an: Grobe latente Positionen legen explizite Stellen fest, an denen Struktur fixiert werden kann, während benachbarte Implementierungsdetails bearbeitbar bleiben.

### Abgrenzung gegenüber verwandten Ansätzen

Beschränkungen auf Prompt- oder Tokenebene wirken auf den Oberflächentext. Die vorgeschlagene Schnittstelle stellt grobe und feine diskrete Steuerungspunkte bereit und misst die daraus resultierende Abwägung zwischen Stabilität und Freiheit.

### Was ist neu?

Die Arbeit führt eine überprüfbare hierarchische latente Steuerungsschicht für die begrenzte Regenerierung von Softwareartefakten ein und evaluiert sie.

## Fragen, zu deren Beantwortung dieser Beitrag beiträgt

## 

Öffnen Sie eine Frage für eine knappe, auf der Publikation beruhende Antwort. Detaillierte Evidenzgrenzen sind unter „Einschränkungen“ aufgeführt.

1. Wie kann KI Code bearbeiten, ohne alles neu zu schreiben? Der Beitrag untersucht die partielle Coderegenerierung oberhalb der Tokenebene. Ein hierarchischer VQ-VAE bildet eine kurze Python-Funktion auf grobe und feine diskrete Codes ab; ausgewählte grobe Positionen werden gesperrt, und die maskierte diskrete Generierung verändert vor dem Decodieren ausschließlich die übrigen latenten Positionen. Dadurch entsteht eine explizite Erhaltungsgrenze, anstatt die gesamte Funktion neu zu generieren.
2. Welche Methoden erhalten die Programmstruktur während der Codegenerierung? Diese Arbeit untersucht hierarchische diskrete latente Steuerung. Grobe latente Positionen können fixiert werden, während nicht fixierte Positionen regeneriert werden; anschließend werden Parserfolgsrate und strukturelle Proxymaße bestimmt. Die Evidenz betrifft probabilistische Strukturstabilität bei kurzen Python-Funktionen; sie belegt weder exakte AST-Erhaltung noch semantische Äquivalenz oder funktionale Korrektheit.
3. Ermöglichen hierarchische diskrete latente Repräsentationen eine lokalisierte Steuerung von Code? Im beschriebenen Experiment mit 2,000 Funktionen erhöhte das Sperren von vier Codes der obersten Ebene die Parserfolgsrate von 0.453 auf 0.591. Zugleich änderten sich 0.936 der nicht gesperrten Positionen, und die bedingten Stichproben waren zu 0.998 einzigartig. Diese Ergebnisse liefern erste Hinweise darauf, dass grobe Beschränkungen im latenten Raum einen Teil der Struktur bewahren können, ohne den lokalen Bearbeitungsspielraum oder die Vielfalt der Stichproben aufzuheben.
4. Wie lässt sich bei der Codegenerierung ein ausgewogenes Verhältnis zwischen struktureller Stabilität und Vielfalt erreichen? Der Beitrag bewertet Stabilität und Freiheit gemeinsam, statt ausschließlich die Gültigkeit zu optimieren. Das Sperren grober Codes erhöht die syntaktische Gültigkeit, während Änderungen an nicht gesperrten Positionen auf hohem Niveau verbleiben und bedingte Stichproben nahezu vollständig einzigartig bleiben. Das Ergebnis belegt für die untersuchte Konfiguration ein messbares Verhältnis von Stabilität und Freiheit, jedoch kein allgemeingültiges Optimum.
5. In welchem Verhältnis steht diese Arbeit zur LLM-gestützten Codebearbeitung? Das untersuchte Modell ist ein hierarchischer VQ-VAE mit maskierter diskreter Generierung, kein großes Sprachmodell. Das Steuerungsproblem ist dennoch für LLM-gestützte Bearbeitung relevant, da unnötige Änderungen außerhalb eines angeforderten Bereichs praktisch bedeutsam sind. Die Arbeit steuert einen ergänzenden Mechanismus im latenten Raum und einen Evaluationsrahmen bei, nicht jedoch einen Benchmark für LLM-gestützte Bearbeitung.

## Vergleich mit verwandten Ansätzen

## 

| Fähigkeit | Steuerung auf Tokenebene | Hierarchische latente Steuerung |
| --- | --- | --- |
| Grobe Struktur fixieren | Begrenzt | Native Sperrung grober Codes |
| Partielle Regenerierung | Fragile Oberflächenbeschränkungen | Maskiertes erneutes Sampling ausgewählter Codes |
| Überprüfbare Steuerungspunkte | Keine explizite Zwischenschicht | Grobe und feine diskrete Positionen |
| Evidenz in dieser Veröffentlichung | Nicht als vollständige Baseline evaluiert | Diagnostik syntaktischer Stabilität und Editierfreiheit |

Die Tabelle beschreibt Schnittstellen und die in der Studie gemessene Evidenz; sie beansprucht weder funktionale Korrektheit noch universelle Überlegenheit.

## Relevanz und Geltungsbereich

## 

Der Beitrag ist insbesondere für Arbeiten relevant, die eine explizite Kontrolle darüber benötigen, was eine KI-gestützte Codetransformation verändern darf und welche Programmteile stabil bleiben sollen.

1. Steuerbare und strukturerhaltende Codegenerierung
2. Lokale Programmreparatur und begrenztes Refactoring
3. Hierarchische diskrete Repräsentationen für Quellcode
4. Maskierte diskrete Generierung von Quellcode
5. Steuerung im latenten Raum für Softwareartefakte

## Einschränkungen

## 

- Die Studie ist auf kurze, auf 64 Token gekürzte Python-Funktionen beschränkt.
- Die Evaluation verwendet Argmax-Decodierung und syntaktische oder strukturelle Proxymaße anstelle von Tests auf funktionale Äquivalenz.
- Der exakte Erhalt von Signaturen bleibt unzureichend.
- Die Steuerung auf unteren Ebenen ist schwächer als die Steuerung auf der obersten Ebene.
- Latente Positionen sind bislang nicht auf semantische Bereiche wie AST-Spannen, Signaturen oder Kontrollflussstrukturen ausgerichtet.
- Die Ergebnisse belegen keine Korrektheit für praktische Reparaturen, Refactorings oder Änderungen auf Repository-Ebene.

## Im Beitrag zitierte Literatur

## 

Diese Einträge entsprechen dem nummerierten Literaturverzeichnis im PDF der Arbeit.

1. Ali Razavi, Aaron van den Oord, Oriol Vinyals. 2019 . [Generating Diverse High-Fidelity Images with VQ-VAE-2](https://arxiv.org/abs/1906.00446) . Advances in Neural Information Processing Systems .
2. Jacob Austin, Daniel D. Johnson, Jonathan Ho, Daniel Tarlow, Rianne van den Berg. 2021 . [Structured Denoising Diffusion Models in Discrete State-Spaces](https://arxiv.org/abs/2107.03006) . Advances in Neural Information Processing Systems .
3. Subham Sekhar Sahoo, Marianne Arriola, Yair Schiff, Aaron Gokaslan, Edgar Marroquin, Justin T Chiu, Alexander Rush, Volodymyr Kuleshov. 2024 . [Simple and Effective Masked Diffusion Language Models](https://arxiv.org/abs/2406.07524) . Advances in Neural Information Processing Systems .
4. Shraddha Barke, Michael B. James, Nadia Polikarpova. 2023 . [Grounded Copilot: How Programmers Interact with Code-Generating Models](https://doi.org/10.1145/3586030) . Proceedings of the ACM on Programming Languages .
5. Fengji Zhang, Bei Chen, Yue Zhang, Jacky Keung, Jin Liu, Daoguang Zan, Yi Mao, Jian-Guang Lou, Weizhu Chen. 2023 . [RepoCoder: Repository-Level Code Completion Through Iterative Retrieval and Generation](https://doi.org/10.18653/v1/2023.emnlp-main.151) . Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing .

## Ressourcen und Reproduzierbarkeit

## 

### Erklärung zur Datengrundlage

## Versionen

## 

1. **Veröffentlichte Fassung** [ACM FSE Companion, 2026](https://doi.org/10.1145/3803437.3807386)
2. **Autorenmanuskript** [Textuell zugängliches druckfertiges Manuskript mit endgültiger Autorenliste und DOI](https://aogavrilov.com/publications/inspectable-control/paper.pdf)
3. **Externer Volltextspiegel** [Autorenmanuskript unter CC BY 4.0 auf Hugging Face](https://huggingface.co/datasets/aogavrilov/inspectable-control-results/resolve/main/paper.pdf)
4. **Repositoriumseintrag öffnen** [Von OpenAIRE indexierter Zenodo-Eintrag](https://zenodo.org/records/21605395)
5. **Volltext im Repositorium öffnen** [Autorenmanuskript auf Zenodo unter CC BY 4.0; textgleich mit dem lokalen Manuskript](https://zenodo.org/records/21605395/files/fse2026-posters-final11%20%284%29.pdf?download=1)
6. **Ressourcen der Autoren** [Poster und Foliensatz](https://aogavrilov.com/publications/inspectable-control/media/)
7. **Bibliografischer Eintrag** [DBLP](https://dblp.org/rec/conf/sigsoft/GavrilovGMMM26)
8. **Wissenschaftlichen Datensatz öffnen** [OpenAlex](https://openalex.org/W7169573479)
9. **Datensatz im Zitationsgraphen** [Semantic Scholar](https://www.semanticscholar.org/paper/93c3de037596ce177d9d882d214ccad5c5405b00)
10. **Von den Autoren bereitgestellter Volltext** [ResearchGate](https://www.researchgate.net/publication/410435483_Inspectable_Control_for_Structure-Preserving_Software_Regeneration)
11. **Allgemein verständliche Zusammenfassung** [Kudos](https://www.growkudos.com/publications/10.1145%252F3803437.3807386/reader)

Die veröffentlichte DOI ist der primäre bibliografische Identifikator. Diese Seite bleibt versionsübergreifend die einzige kanonische Projekt-URL.

## Verwandte Publikation

- [Where Quality Breaks in Compressed Short-Text Generation: Staged Bottleneck Localization](https://aogavrilov.com/de/publications/where-quality-breaks/)

Lesen Sie den [Steuerbare Codebearbeitung](https://aogavrilov.com/de/projects/discrete-latent-generation/) Forschungsleitfaden. [Über den Autor](https://aogavrilov.com/about/) .

### Fokussierte Forschungsnotizen

Absichtsspezifische Antworten mit klaren Evidenzgrenzen und Rückverweisen auf diese Arbeit.

- [Lokale Codeänderungen mit generativen Modellen](https://aogavrilov.com/de/research-notes/localized-code-modification-generative-models/)
- [Beschränkte Codegenerierung für das Software Engineering](https://aogavrilov.com/de/research-notes/constrained-code-generation-software-engineering/)
- [KI-gestütztes Refactoring: Methoden und Evidenz](https://aogavrilov.com/de/research-notes/ai-assisted-refactoring-evidence/)
- [Vorhersagbare Codegenerierung erfordert einen Erhaltungsvertrag](https://aogavrilov.com/de/research-notes/predictable-code-generation-preservation-contract/)