AG — Alexey Gavrilov home

Inspectable Control for Structure-Preserving Software Regeneration

Επιθεωρήσιμος έλεγχος για αναπαραγωγή λογισμικού με διατήρηση της δομής

Ελέγξιμη μερική αναπαραγωγή κώδικα με χρήση ιεραρχικών διακριτών λανθανουσών αναπαραστάσεων.

Alexey Gavrilov1Alan-Barsag Gazzaev1Mikhail Mozikov2Ilya Makarov2Sergey Muravyov1

  1. ITMO University, Αγία Πετρούπολη, Ρωσική Ομοσπονδία
  2. AXXX, Μόσχα, Ρωσική Ομοσπονδία

Διαβάστε ολόκληρη την εργασία σε HTMLΑναζητήσιμο κείμενο με τύπους, πίνακες, σχήματα και βιβλιογραφικές αναφορές.

Τελικό δοκίμιο του συγγραφέα, με τον οριστικό κατάλογο συγγραφέων και DOI. CC BY 4.0 author manuscript; the ACM DOI page remains the version of record. Όροι ανάρτησης και επαναχρησιμοποίησης.

Η εργασία σε 30 δευτερόλεπτα

Ερευνητικό ερώτημαΠώς μπορεί ένα παραγωγικό μοντέλο να τροποποιεί επιλεγμένα τμήματα ενός προγράμματος, διατηρώντας συγχρόνως επιλεγμένα στοιχεία της αδρής δομής του;

Πρόβλημα

Η τροποποίηση κώδικα με τη βοήθεια ΤΝ απαιτεί συχνά μία οριοθετημένη αλλαγή, ενώ επιλεγμένα δομικά στοιχεία του προγράμματος παραμένουν σταθερά. Η αναπαραγωγή ολόκληρου του προγράμματος μπορεί να διαταράξει άσχετες περιοχές, ενώ οι περιορισμοί σε επίπεδο διακριτικών δεν παρέχουν μια αδρή επιφάνεια ελέγχου.

Προσέγγιση

Η μελέτη κωδικοποιεί συναρτήσεις Python 64 διακριτικών με ένα ιεραρχικό VQ-VAE, κλειδώνει επιλεγμένους αδρούς διακριτούς κώδικες και χρησιμοποιεί διακριτή παραγωγή με μάσκα για την τοπική εκ νέου παραγωγή κώδικα στις υπόλοιπες λανθάνουσες θέσεις.

Κύριο αποτέλεσμα

Το κλείδωμα τεσσάρων κωδίκων ανώτερου επιπέδου αυξάνει το ποσοστό επιτυχούς συντακτικής ανάλυσης από 0.453 σε 0.591, ενώ οι μη κλειδωμένες θέσεις εξακολουθούν να μεταβάλλονται με ρυθμό 0.936 και η μοναδικότητα των υπό συνθήκη δειγμάτων παραμένει 0.998.

Γιατί έχει σημασία

Τα αποτελέσματα καταδεικνύουν έναν μετρήσιμο συμβιβασμό σταθερότητας–ελευθερίας για ελεγχόμενη επεξεργασία κώδικα και μερική αναπαραγωγή προγραμμάτων. Παρέχουν πρώιμα τεκμήρια για ένα επιθεωρήσιμο επίπεδο ελέγχου στον λανθάνοντα χώρο, όχι απόδειξη σημασιολογικής ισοδυναμίας ή λειτουργικής ορθότητας.

Περίληψη

Οι ροές εργασίας της μηχανικής λογισμικού, όπως η επισκευή υπό περιορισμούς, η σταδιακή βελτίωση και η τροποποίηση με διατήρηση της δομής, απαιτούν έλεγχο του τι αλλάζει και του τι παραμένει σταθερό. Η παραγωγή σε επίπεδο διακριτικών αποτελεί ασθενή επιφάνεια ελέγχου για αυτές τις διεργασίες, διότι περιορίζει τοπικά το επιφανειακό κείμενο και όχι τις αδρομερείς δομικές αναλλοίωτες ιδιότητες που συχνά επιδιώκει να διατηρήσει η μηχανική λογισμικού. Μελετούμε ιεραρχικές διακριτές λανθάνουσες αναπαραστάσεις ως επιθεωρήσιμη ενδιάμεση αναπαράσταση τεχνουργημάτων λογισμικού: ένα ιεραρχικό VQ-VAE συμπιέζει μια συνάρτηση Python 64 διακριτικών σε αδρομερείς και λεπτομερείς διακριτούς κώδικες, ενώ η διακριτή παραγωγή με μάσκες αναπαράγει μόνο επιλεγμένες θέσεις υπό μερικούς περιορισμούς. Σε 2,000 προεπεξεργασμένες συναρτήσεις Python, το κλείδωμα τεσσάρων κωδίκων ανώτατου επιπέδου βελτιώνει το ποσοστό επιτυχούς συντακτικής ανάλυσης από 0.453 σε 0.591, διατηρώντας παράλληλα ουσιώδη μεταβολή στις μη κλειδωμένες θέσεις (ελευθερία επεξεργασίας, 0.936) και σχεδόν μέγιστη μοναδικότητα δειγμάτων (ποικιλομορφία, 0.998). Με σταθερό αδρομερές συγκείμενο, η βελτίωση κατώτερου επιπέδου είναι ασθενέστερη αλλά παραμένει μονότονη, στοιχείο που υποστηρίζει μια ερμηνεία της ιεραρχίας από το αδρομερές προς το λεπτομερές. Συνολικά, τα αποτελέσματα παρέχουν πρώιμα τεκμήρια για ένα πρακτικό επίπεδο ελέγχου που υποστηρίζει οριοθετημένη αναπαραγωγή τεχνουργημάτων λογισμικού με διατήρηση της δομής, πάνω από το επίπεδο των διακριτικών.

Δημοσιεύτηκε στο Πρακτικά του 34ου ACM International Conference on the Foundations of Software Engineering

Τύπος συνεισφοράς Μέθοδος ελέγχου στον λανθάνοντα χώρο

σσ. 1406–1407Συνοδευτική αφίσα

DOI https://doi.org/10.1145/3803437.3807386

Κοινοποιήστε αυτή την εργασίαΚοινοποίηση

Κύρια αποτελέσματα

Κύρια αποτελέσματα του Inspectable Control for Structure-Preserving Software Regeneration
ΡύθμισηΠοσοστό επιτυχούς συντακτικής ανάλυσηςΣκελετόςΥπογραφήΑλλαγή σε ξεκλείδωμένες θέσεις
Είσοδος (περικομμένη)0.9940.9940.994—
Ανακατασκευή κωδικοποιητή-αποκωδικοποιητή0.8570.8480.4930
Παραγωγή χωρίς συνθήκες0.4530.0800.995
Υπό συνθήκη, πρόθεμα k=40.5910.2950.0610.936
Υπό συνθήκη, εύρος υπογραφής0.60.3020.063δεν αναφέρεται

Κύριο αποτέλεσμα. Το κλείδωμα αδρών λανθανουσών αναπαραστάσεων βελτιώνει τη συντακτική σταθερότητα χωρίς να εκμηδενίζει τις αλλαγές στην επεξεργάσιμη περιοχή· το αποτέλεσμα καταδεικνύει δομικό έλεγχο και όχι εγγυημένη λειτουργική ισοδυναμία.

Σύνολο δεδομένων
2,000 προεπεξεργασμένες συναρτήσεις Python από ένα υποσύνολο του CodeParrot Clean
Μέγεθος δείγματος
2,000 προεπεξεργασμένες συναρτήσεις Python· η μοναδικότητα των υπό συνθήκη δειγμάτων είναι 0.998.
Μετρικές
Ποσοστό επιτυχούς συντακτικής ανάλυσης· προσεγγιστικές μετρικές διατήρησης σκελετού και υπογραφών· ποσοστό μεταβολής μη κλειδωμένων θέσεων· μοναδικότητα και εντροπία δειγμάτων
Αβεβαιότητα
Η δισέλιδη μελέτη αναφέρει σημειακές εκτιμήσεις χωρίς διαστήματα εμπιστοσύνης ή στατιστική ανάλυση με πολλαπλούς σπόρους.
Συνθήκες
Συναρτήσεις 64 διακριτικών, αποκωδικοποίηση argmax, 16 κώδικες ανώτερου επιπέδου και 32 κώδικες κατώτερου επιπέδου· το πλήρες κλείδωμα αναπαράγει ακριβώς την ανακατασκευή του κωδικοποιητή.

Λήψη αποτελεσμάτων:CSVJSONMarkdownΕξωτερικό αντίγραφο:Κάρτα συνόλου δεδομένων στο Hugging Face

PDF και παραπομπή

Βιβλιογραφική αναφορά στην εργασία Το BibTeX είναι η συνιστώμενη μορφή. Κάθε παραλλαγή που ακολουθεί παράγεται από την ίδια εγγραφή δημοσίευσης.

Άνοιγμα PDF
@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},
}
Λήψη .bib

Αρχεία παραπομπής:Κείμενο APAΚείμενο IEEERISCSL-JSONSchema.org JSON-LDOAI-DC XMLOpenAIRE v4 XMLMODS XMLΜεταδεδομένα JATS 1.4 σε XMLΠλήρες κείμενο σε JATS 1.4 XMLRDF TurtleΣύνολο συνδέσμων (JSON)Σύνολο συνδέσμων (HTTP)RO-Crate

DOI:https://doi.org/10.1145/3803437.3807386

Πλήρης οδηγός

Πλήρης ερευνητικός οδηγός

Μέθοδος

Η μέθοδος συμπιέζει μια σύντομη συνάρτηση Python σε δύο επίπεδα διακριτών κωδίκων, παγώνει επιλεγμένες αδρομερείς θέσεις και αναπαράγει τις υπόλοιπες προτού τις αποκωδικοποιήσει ξανά σε κώδικα.

  1. Κωδικοποίηση

    Συμπιέστε μια συνάρτηση Python 64 διακριτικών σε 16 κώδικες ανώτερου επιπέδου και 32 κώδικες κατώτερου επιπέδου με ένα ιεραρχικό VQ-VAE.

  2. Κλείδωμα

    Επιλέξτε αδρές θέσεις κωδίκων που αναπαριστούν τη δομή προς διατήρηση, όπως ένα πρόθεμα που καλύπτει το εύρος της υπογραφής συνάρτησης.

  3. Αναπαραγωγή

    Εκτελέστε διακριτή παραγωγή με μάσκες μόνο στις ξεκλείδωτες θέσεις και αποκωδικοποιήστε την ολοκληρωμένη ιεραρχία ξανά σε πηγαίο κώδικα.

  4. Επιθεώρηση

    Πριν αποδεχθείτε μια αναπαραγωγή, μετρήστε το ποσοστό επιτυχούς συντακτικής ανάλυσης, τις προσεγγιστικές δομικές μετρικές, τη μεταβολή στις μη κλειδωμένες θέσεις και τη μοναδικότητα των δειγμάτων.

Επιλεγμένοι αδρομερείς κώδικες του προγράμματος παραμένουν σταθεροί, ενώ οι λεπτομερείς διακριτοί κώδικες με μάσκες παράγονται εκ νέου και αποκωδικοποιούνται σε μια τροποποιημένη συνάρτηση Python.
Η επεξεργασία ιεραρχικών διακριτών λανθανόντων κωδίκων διατηρεί επιλεγμένα στοιχεία της αδρής δομής του προγράμματος, ενώ αναπαράγει τους λεπτομερείς κώδικες στην επεξεργάσιμη περιοχή.Πηγή: Επεξηγηματικό διάγραμμα που δημιουργήθηκε από τον συγγραφέα βάσει της δημοσιευμένης μεθόδου και των αποτελεσμάτων..Όροι επαναχρησιμοποίησης: CC BY 4.0.Προτεινόμενη αναφορά: Gavrilov et al. (2026), Inspectable Control for Structure-Preserving Software Regeneration. Λήψη SVG.

Κεντρική ιδέα

Ο έλεγχος εφαρμόζεται σε μια εκμαθημένη αναπαράσταση πάνω από το επίπεδο των διακριτικών: οι αδρές λανθάνουσες θέσεις ορίζουν ρητά σημεία όπου η δομή μπορεί να παγώσει, ενώ οι γειτονικές λεπτομέρειες υλοποίησης παραμένουν επεξεργάσιμες.

Διαφορά από συναφείς προσεγγίσεις

Οι περιορισμοί σε επίπεδο προτροπής ή λεκτικής μονάδας εφαρμόζονται στο επιφανειακό κείμενο. Η προτεινόμενη διεπαφή εκθέτει αδρά και λεπτομερή διακριτά σημεία ελέγχου και μετρά τον συνακόλουθο συμβιβασμό μεταξύ σταθερότητας και ελευθερίας.

Τι νέο εισάγεται

Η εργασία εισάγει και αξιολογεί ένα επιθεωρήσιμο ιεραρχικό επίπεδο λανθάνοντος ελέγχου για την οριοθετημένη αναπαραγωγή τεχνουργημάτων λογισμικού.

Ερωτήματα στα οποία συμβάλλει να απαντήσει η εργασία

Ανοίξτε ένα ερώτημα για μια σύντομη απάντηση τεκμηριωμένη από την εργασία. Τα λεπτομερή όρια της τεκμηρίωσης παρατίθενται στους Περιορισμούς.

  1. Πώς μπορεί η ΤΝ να επεξεργάζεται κώδικα χωρίς να ξαναγράφει τα πάντα;

    Η εργασία μελετά τη μερική αναπαραγωγή κώδικα πάνω από το επίπεδο των διακριτικών. Ένα ιεραρχικό VQ-VAE αντιστοιχίζει μια σύντομη συνάρτηση Python σε αδρομερείς και λεπτομερείς διακριτούς κώδικες· επιλεγμένες αδρομερείς θέσεις κλειδώνονται και η διακριτή παραγωγή με μάσκες μεταβάλλει μόνο τις υπόλοιπες λανθάνουσες θέσεις πριν από την αποκωδικοποίηση. Έτσι παρέχεται ρητό όριο διατήρησης αντί να αναπαράγεται ολόκληρη η συνάρτηση.

  2. Ποιες μέθοδοι διατηρούν τη δομή του προγράμματος κατά την παραγωγή κώδικα;

    Η εργασία εξετάζει τον ιεραρχικό διακριτό λανθάνοντα έλεγχο. Οι αδρές λανθάνουσες θέσεις μπορούν να παραμένουν σταθερές ενώ οι ξεκλείδωτες θέσεις αναπαράγονται· κατόπιν μετρώνται το ποσοστό επιτυχούς συντακτικής ανάλυσης και οι δομικοί υποκατάστατοι δείκτες. Τα τεκμήρια αφορούν την πιθανοτική δομική σταθερότητα σύντομων συναρτήσεων Python και δεν θεμελιώνουν ακριβή διατήρηση του AST, σημασιολογική ισοδυναμία ή λειτουργική ορθότητα.

  3. Μπορούν οι ιεραρχικές διακριτές λανθάνουσες αναπαραστάσεις να προσφέρουν τοπικό έλεγχο του κώδικα;

    Στο αναφερόμενο πείραμα με 2,000 συναρτήσεις, το κλείδωμα τεσσάρων κωδίκων ανώτατου επιπέδου αύξησε το ποσοστό συντακτικής ανάλυσης από 0.453 σε 0.591. Παράλληλα, άλλαξε το 0.936 των μη κλειδωμένων θέσεων και το ποσοστό μοναδικότητας των υπό συνθήκη δειγμάτων ήταν 0.998. Τα αποτελέσματα αυτά αποτελούν πρώιμη ένδειξη ότι οι αδρομερείς περιορισμοί στον λανθάνοντα χώρο μπορούν να διατηρήσουν μέρος της δομής χωρίς να εξαλείφουν την ελευθερία τοπικής επεξεργασίας ή την ποικιλομορφία των δειγμάτων.

  4. Πώς μπορεί η παραγωγή κώδικα να εξισορροπεί τη δομική σταθερότητα με την ποικιλομορφία;

    Η εργασία αξιολογεί από κοινού τη σταθερότητα και την ελευθερία, αντί να βελτιστοποιεί μόνο την εγκυρότητα. Το κλείδωμα αδρομερών κωδίκων αυξάνει τη συντακτική εγκυρότητα, ενώ η μεταβολή στις μη κλειδωμένες θέσεις παραμένει υψηλή και τα υπό συνθήκη δείγματα παραμένουν σχεδόν εξ ολοκλήρου μοναδικά. Το αποτέλεσμα καταδεικνύει έναν μετρήσιμο συμβιβασμό σταθερότητας–ελευθερίας υπό την εξεταζόμενη διαμόρφωση, όχι ένα καθολικό βέλτιστο.

  5. Πώς σχετίζεται αυτή η εργασία με την υποβοηθούμενη από LLM επεξεργασία κώδικα;

    Το μοντέλο που δοκιμάστηκε είναι ένα ιεραρχικό VQ-VAE με διακριτή παραγωγή με απόκρυψη και όχι ένα μεγάλο γλωσσικό μοντέλο. Ωστόσο, το πρόβλημα ελέγχου αφορά και την υποβοηθούμενη από LLM επεξεργασία, επειδή οι περιττές αλλαγές εκτός της ζητούμενης περιοχής αποτελούν πρακτικό ζήτημα. Η εργασία συνεισφέρει έναν συμπληρωματικό μηχανισμό λανθάνοντος χώρου και ένα πλαίσιο αξιολόγησης, όχι ένα σύνολο αναφοράς για επεξεργασία με LLM.

Σύγκριση με συναφείς προσεγγίσεις

Τεκμηριωμένη σύγκριση του Inspectable Control for Structure-Preserving Software Regeneration με συναφείς προσεγγίσεις
ΔυνατότηταΈλεγχος σε επίπεδο λεκτικών μονάδωνΙεραρχικός έλεγχος στον λανθάνοντα χώρο
Παγώστε την αδρή δομήΠεριορισμένοΕγγενές κλείδωμα αδρομερών κωδίκων
Μερική αναπαραγωγήΕύθραυστοι επιφανειακοί περιορισμοίΚαλυμμένη επαναδειγματοληψία επιλεγμένων κωδίκων
Επιθεωρήσιμα σημεία ελέγχουΧωρίς ρητό ενδιάμεσο επίπεδοΑδρές και λεπτομερείς διακριτές θέσεις
Τεκμηρίωση στην παρούσα εργασίαΔεν αξιολογήθηκε ως πλήρης γραμμή βάσηςΔιαγνωστικές μετρήσεις συντακτικής σταθερότητας και ελευθερίας επεξεργασίας

Ο πίνακας περιγράφει διεπαφές και τα μετρημένα τεκμήρια της μελέτης· δεν διατυπώνει ισχυρισμό περί λειτουργικής ορθότητας ή καθολικής υπεροχής.

Συνάφεια και πεδίο εφαρμογής

Η εργασία αφορά κυρίως έρευνα που χρειάζεται ρητό έλεγχο του τι επιτρέπεται να αλλάξει ένας υποβοηθούμενος από ΤΝ μετασχηματισμός κώδικα και ποια μέρη ενός προγράμματος πρέπει να παραμείνουν σταθερά.

  1. Ελέγξιμη παραγωγή κώδικα με διατήρηση της δομής

  2. Εντοπισμένη επιδιόρθωση προγραμμάτων και οριοθετημένη αναδόμηση

  3. Ιεραρχικές διακριτές αναπαραστάσεις πηγαίου κώδικα

  4. Καλυμμένη διακριτή παραγωγή πηγαίου κώδικα

  5. Έλεγχος στον λανθάνοντα χώρο για τεχνουργήματα λογισμικού

Δείτε τους περιορισμούς και τα όρια των τεκμηρίων

Περιορισμοί

  • Η μελέτη περιορίζεται σε σύντομες συναρτήσεις Python, περικομμένες στις 64 λεκτικές μονάδες.
  • Η αξιολόγηση χρησιμοποιεί αποκωδικοποίηση argmax και έμμεσους συντακτικούς ή δομικούς δείκτες αντί για δοκιμές λειτουργικής ισοδυναμίας.
  • Η ακριβής διατήρηση της υπογραφής παραμένει ανεπαρκής.
  • Ο έλεγχος κατώτερου επιπέδου είναι ασθενέστερος από τον έλεγχο ανώτατου επιπέδου.
  • Οι λανθάνουσες θέσεις δεν έχουν ακόμη ευθυγραμμιστεί με σημασιολογικές περιοχές, όπως τμήματα AST, υπογραφές ή δομή ροής ελέγχου.
  • Τα αποτελέσματα δεν θεμελιώνουν ορθότητα για πρακτική επισκευή, αναδόμηση ή αλλαγές σε επίπεδο αποθετηρίου.

Βιβλιογραφικές αναφορές της εργασίας

Οι εγγραφές αυτές αντιστοιχούν στην αριθμημένη ενότητα βιβλιογραφικών αναφορών του PDF της εργασίας.

  1. Ali Razavi, Aaron van den Oord, Oriol Vinyals. . Generating Diverse High-Fidelity Images with VQ-VAE-2. Advances in Neural Information Processing Systems.
  2. Jacob Austin, Daniel D. Johnson, Jonathan Ho, Daniel Tarlow, Rianne van den Berg. . Structured Denoising Diffusion Models in Discrete State-Spaces. 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. . Simple and Effective Masked Diffusion Language Models. Advances in Neural Information Processing Systems.
  4. Shraddha Barke, Michael B. James, Nadia Polikarpova. . Grounded Copilot: How Programmers Interact with Code-Generating Models. 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. . RepoCoder: Repository-Level Code Completion Through Iterative Retrieval and Generation. Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing.

Πόροι και αναπαραγωγιμότητα

Εκδότης
ACM
Πόροι δημοσίευσης
Το δημόσιο χειρόγραφο, οι πίνακες αποτελεσμάτων, το επεξηγηματικό σχήμα και τα αρχεία παραπομπών διατίθενται εδώ. Ο κώδικας υλοποίησης και τα σημεία ελέγχου δεν έχουν δημοσιοποιηθεί.

Δήλωση δεδομένων

Πηγή
Ένα προεπεξεργασμένο υποσύνολο του CodeParrot Clean που περιέχει 2,000 συναρτήσεις Python.
Άδεια χρήσης
Ο παρών ιστότοπος δεν αναδιανέμει αρχεία συνόλων δεδομένων· η επαναχρησιμοποίηση εξακολουθεί να διέπεται από τις άδειες του αρχικού συνόλου δεδομένων CodeParrot και του πηγαίου κώδικα.
Προεπεξεργασία
Οι συναρτήσεις Python κατατέμνονται σε λεκτικές μονάδες και, πριν από την ιεραρχική κωδικοποίηση, περικόπτονται ή συμπληρώνονται ώστε να έχουν 64 λεκτικές μονάδες.
Διαίρεση
Η αφίσα αναφέρει σύνολο αξιολόγησης 2,000 συναρτήσεων· η δημόσια εργασία δεν περιλαμβάνει αμετάβλητο αρχείο καταγραφής του διαχωρισμού εκπαίδευσης/επικύρωσης.
Μορφή
Συναρτήσεις πηγαίου κώδικα Python, ακολουθίες λεκτικών μονάδων τύπου GPT, ακολουθίες κώδικα ανώτερου επιπέδου μήκους 16 και ακολουθίες κατώτερου επιπέδου μήκους 32.
Έκδοση / άθροισμα ελέγχου
Στο δισέλιδο άρθρο δεν αναφέρονται άθροισμα ελέγχου του συνόλου δεδομένων και αναγνωριστικό αμετάβλητου στιγμιοτύπου.
Απόκτηση
Δεν διατίθεται δημόσιο σενάριο απόκτησης μαζί με τη σελίδα της δημοσίευσης.
Όρια χρήσης
Το δείγμα δεν είναι αντιπροσωπευτικό λογισμικού σε κλίμακα αποθετηρίου, πολλαπλών γλωσσών προγραμματισμού ή εργασιών επισκευής επαληθευμένων ως προς τη συμπεριφορά.

Εκδόσεις

  1. Δημοσιευμένη έκδοσηACM FSE Companion, 2026
  3. Εξωτερικό αντίγραφο πλήρους κειμένουΣυγγραφικό χειρόγραφο με άδεια CC BY 4.0 στο Hugging Face
  4. Άνοιγμα εγγραφής αποθετηρίουΕγγραφή Zenodo ευρετηριασμένη από το OpenAIRE
  7. Βιβλιογραφική εγγραφήDBLP
  8. Άνοιγμα επιστημονικής εγγραφήςOpenAlex
  9. Εγγραφή γράφου παραπομπώνSemantic Scholar
  10. Πλήρες κείμενο που κοινοποιήθηκε από τον συγγραφέαResearchGate
  11. Σύνοψη σε απλή γλώσσαKudos

Το δημοσιευμένο DOI αποτελεί το κύριο βιβλιογραφικό αναγνωριστικό. Η παρούσα σελίδα παραμένει το μοναδικό κανονικό URL του έργου σε όλες τις εκδόσεις.

Διαβάστε τον Ελέγξιμη επεξεργασία κώδικα ερευνητικό οδηγό.Σχετικά με τον συγγραφέα.

Εστιασμένα ερευνητικά σημειώματα

Απαντήσεις προσαρμοσμένες στην εκάστοτε πρόθεση, με σαφή όρια τεκμηρίωσης και συνδέσμους προς το παρόν άρθρο.