skyleaworlder paper-reading General Discussions
Pinned Discussions
General Discussions
Chat about anything and everything here
-
You must be logged in to vote 2023-Software Testing With Large Language Models: Survey, Landscape, and Vision
status/TODOPaper not read yet type/surveySurvey topic/llmLLM topic/test-generationTest Generation topic/test-migrationTest Migration topic/test-oracleTest Oracle Generation topic/debugDebug -
You must be logged in to vote 2023-What Makes Good In-context Demonstrations for Code Intelligence Tasks with LLMs?
status/TODOPaper not read yet type/paperPaper reading topic/llmLLM content/studyCase Study / Empirical Study / Report topic/code-summaryCode (Function / Method) Summary topic/code-understandingCode Understanding topic/program-repairProgram Repair topic/program-synthesisProgram Synthesis -
You must be logged in to vote 2023-Large Language Models are Few-Shot Summarizers: Multi-Intent Comment Generation via In-Context Learning
status/TODOPaper not read yet type/paperPaper reading content/artifactTool Introduction topic/llmLLM topic/code-summaryCode (Function / Method) Summary topic/code-understandingCode Understanding -
You must be logged in to vote 2023-Enhancing Exploratory Testing by Large Language Model and Knowledge Graph
status/TODOPaper not read yet type/paperPaper reading content/artifactTool Introduction topic/llmLLM topic/knowledge-graphKnowledge Graph topic/test-scenarioTest Scenario Generation -
You must be logged in to vote 2024-Exploring LLM-based Agents for Root Cause Analysis
status/TODOPaper not read yet type/paperPaper reading topic/llmLLM content/deploymentSoftware Deployment topic/log-trace-metricsLog & Trace & Metrics -
You must be logged in to vote 2024-Automated Unit Test Improvement using Large Language Models at Meta
status/TODOPaper not read yet type/paperPaper reading topic/llmLLM content/deploymentSoftware Deployment topic/test-generationTest Generation -
You must be logged in to vote 2023-Using an LLM to Help With Code Understanding
status/TODOPaper not read yet type/paperPaper reading content/artifactTool Introduction topic/llmLLM topic/code-understandingCode Understanding -
You must be logged in to vote 2024-Automatic Semantic Augmentation of Language Model Prompts (for Code Summarization)
status/TODOPaper not read yet type/paperPaper reading content/artifactTool Introduction topic/classic-static-analysisClassic Static Analysis topic/llmLLM topic/code-summaryCode (Function / Method) Summary -
You must be logged in to vote 2023-Make LLM a Testing Expert: Bringing Human-like Interaction to Mobile GUI Testing via Functionality-aware Decisions
status/TODOPaper not read yet type/paperPaper reading content/artifactTool Introduction topic/llmLLM topic/test-generationTest Generation topic/androidAndroid type/android-gui-testingAndroid GUI Testing -
You must be logged in to vote 2024-Effective Test Generation Using Pre-trained Large Language Models and Mutation Testing
status/TODOPaper not read yet content/artifactTool Introduction topic/llmLLM topic/test-generationTest Generation type/journal -
You must be logged in to vote 2024-TestSpark: IntelliJ IDEA’s Ultimate Test Generation Companion
status/TODOPaper not read yet content/artifactTool Introduction type/softwareSoftware Architecture topic/llmLLM topic/test-generationTest Generation -
You must be logged in to vote 2022-Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction
status/TODOPaper not read yet type/paperPaper reading content/artifactTool Introduction topic/llmLLM topic/test-generationTest Generation -
You must be logged in to vote 2024-Enhancing LLM-based Test Generation for Hard-to-Cover Branches via Program Analysis
content/artifactTool Introduction topic/classic-static-analysisClassic Static Analysis topic/llmLLM topic/test-generationTest Generation -
You must be logged in to vote 2023-ChatUniTest: A Framework for LLM-Based Test Generation
type/paperPaper reading content/artifactTool Introduction topic/llmLLM topic/test-generationTest Generation -
You must be logged in to vote 2022-Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework
type/paperPaper reading content/theoryTheory Presentation topic/classic-static-analysisClassic Static Analysis -
You must be logged in to vote 2021-Generative Type-Aware Mutation for Testing SMT Solvers
type/paperPaper reading topic/SAT&SMTSAT or SMT content/theoryTheory Presentation -
You must be logged in to vote 1998-Partial Online Cycle Elimination in Inclusion Constraint Graphs
status/TODOPaper not read yet type/paperPaper reading content/theoryTheory Presentation topic/classic-static-analysisClassic Static Analysis -
You must be logged in to vote 2020-Pointer Analysis (Andersen-Style & Steensgaard-Style)
type/talk-slidesSlides reading or Talks content/theoryTheory Presentation topic/classic-static-analysisClassic Static Analysis -
You must be logged in to vote 2008-The Ant and the Grasshopper: Fast and Accurate Pointer Analysis for Millions of Lines of Code
status/TODOPaper not read yet type/paperPaper reading content/theoryTheory Presentation topic/classic-static-analysisClassic Static Analysis -
You must be logged in to vote 2015-A Formal C Memory Model Supporting Integer-Pointer Casts
type/paperPaper reading content/theoryTheory Presentation topic/classic-static-analysisClassic Static Analysis topic/memory-modelMemory Model -
You must be logged in to vote 2016-Heap Abstractions for Static Analysis
topic/separation-logicSeparation Logic content/theoryTheory Presentation type/surveySurvey topic/classic-static-analysisClassic Static Analysis topic/memory-modelMemory Model -
You must be logged in to vote 2010-A Memory Model for Static Analysis of C Programs
topic/symbolic-executionSymbolic Execution type/paperPaper reading content/theoryTheory Presentation topic/classic-static-analysisClassic Static Analysis topic/memory-modelMemory Model -
You must be logged in to vote 2023-Static Program Analysis
topic/abstract-interpretationAbstract Interpretation content/theoryTheory Presentation topic/classic-static-analysisClassic Static Analysis type/bookBook topic/IFDS-IDEIFDS & IDE (Interprocedural Distributive Environement) -
You must be logged in to vote 2020-Pipelining Bottom-up Data Flow Analysis
type/paperPaper reading content/artifactTool Introduction topic/classic-static-analysisClassic Static Analysis issue/null-pointerNull Pointer / NPE topic/IFDS-IDEIFDS & IDE (Interprocedural Distributive Environement) issue/taint-analysisTaint Analysis -
You must be logged in to vote 2016-SVF: Interprocedural Static Value-Flow Analysis in LLVM (Software)
content/artifactTool Introduction topic/classic-static-analysisClassic Static Analysis type/softwareSoftware Architecture topic/value-flow-analysisValue-flow Analysis
