Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?

Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:APLAS (18. : 2020 : Online) Programming languages and systems
1. Verfasser: Liu, Xiaotong (VerfasserIn)
Weitere Verfasser: Jia, Tong (VerfasserIn), Li, Ying (VerfasserIn), Yu, Hao (VerfasserIn), Yue, Yang (VerfasserIn), Hou, Chuanjia (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Formal Verification of Atomicity Requirements for Smart Contracts 2020 Han, Ning
Declarative Stream Runtime Verification (hLola) 2020 Ceresa, Martín
Neural Networks, Secure by Construction: An Exploration of Refinement Types 2020 Kokke, Wen
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language 2020 Bravetti, Mario
An Abstract Machine for Strong Call by Value 2020 Biernacka, Matgorzata
Parameterized Synthesis with Safety Properties 2020 Markgraf, Oliver
A New Refinement Type System for Automated vHFL; Validity Checking 2020 Katsura, Hiroyuki
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping 2020 Mackay, Julian
Stack-Driven Program Generation of WebAssembly 2020 Perényi, Árpád
REFINITY to Model and Prove Program Transformation Rules 2020 Steinhöfel, Dominic
Relational Synthesis for Pattern Matching 2020 Kosarev, Dmitry
Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? 2020 Liu, Xiaotong
A Counterexample-Guided Debugger for Non-recursive Datalog 2020 Tran, Van-Dang
A Set-Based Context Model for Program Analysis 2020 Fachinetti, Leandro
Certified Semantics for Relational Programming 2020 Rozplokhas, Dmitry
Algebraic and Coalgebraic Perspectives on Interaction Laws 2020 Uustalu, Tarmo
Banyan: Coordination-Free Distributed Transactions over Mergeable Types 2020 Dubey, Shashank Shekhar
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving 2020 Chen, Yu-Fang
P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine 2020 Rosa, Andrea
Alle Artikel auflisten