Conferences · eligible papers
FSE
2021–2025 確定版
2021 · 97 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- A bounded symbolic-size model for symbolic execution
日本大学: 関与なし（対象大学）
- A comprehensive study of deep learning compiler bugs
日本大学: 関与なし（対象大学）
- A first look at developers’ live chat on Gitter
日本大学: 関与なし（対象大学）
- A grounded theory of the role of coordination in software security patch management
日本大学: 関与なし（対象大学）
- A large-scale empirical study on Java library migrations: prevalence, trends, and rationales
日本大学: 関与なし（対象大学）
- A longitudinal analysis of bloated Java dependencies
日本大学: 関与なし（対象大学）
- A syntax-guided edit decoder for neural program repair
日本大学: 関与なし（対象大学）
- ACHyb: a hybrid analysis approach to detect kernel access control vulnerabilities
日本大学: 関与なし（対象大学）
- Accelerating JavaScript static analysis via dynamic shortcuts
日本大学: 関与なし（対象大学）
- Algebraic-datatype taint tracking, with applications to understanding Android identifier leaks
日本大学: 関与なし（対象大学）
- AlloyMax: bringing maximum satisfaction to relational specifications
日本大学: 関与なし（対象大学）
- An automatic refactoring framework for replacing test-production inheritance by mocking mechanism
日本大学: 関与なし（対象大学）
- An empirical study on challenges of application development in serverless computing
日本大学: 関与なし（対象大学）
- An exploratory study of autopilot software bugs in unmanned aerial vehicles
日本大学: 関与なし（対象大学）
- Authorship attribution of source code: a language-agnostic approach and applicability in software engineering
日本大学: 関与なし（対象大学）
- Automating serverless deployments for DevOps organizations
日本大学: 関与なし（対象大学）
- Automating the removal of obsolete TODO comments
日本大学: 関与なし（対象大学）
- Benchmarking automated GUI testing for Android against real-world bugs
日本大学: 関与なし（対象大学）
- Bias in machine learning software: why? how? what to do?
日本大学: 関与なし（対象大学）
- Boosting coverage-based fault localization via graph-based representation learning
日本大学: 関与なし（対象大学）
- Boosting static analysis accuracy with instrumented test executions
日本大学: 関与なし（対象大学）
- Characterizing search activities on stack overflow
日本大学: 関与なし（対象大学）
- Checking LTL[F,G,X] on compressed traces in polynomial time
日本大学: 関与なし（対象大学）
- Checking conformance of applications against GUI policies
日本大学: 関与なし（対象大学）
- Code integrity attestation for PLCs using black box neural network predictions
日本大学: 関与なし（対象大学）
- Conditional interpolation: making concurrent program verification more effective
日本大学: 関与なし（対象大学）
- Connecting the dots: rethinking the relationship between code and prose writing with functional connectivity
日本大学: 関与なし（対象大学）
- Context-aware and data-driven feedback generation for programming assignments
日本大学: 関与なし（対象大学）
- Cross-language code search using static and dynamic analyses
日本大学: 関与なし（対象大学）
- DIFFBASE: a differential factbase for effective software evolution management
日本大学: 関与なし（対象大学）
- Data-driven accessibility repair revisited: on the effectiveness of generating labels for icons in Android apps
日本大学: 関与なし（対象大学）
- Demystifying “bad” error messages in data science libraries
日本大学: 関与なし（対象大学）
- Detecting Node.js prototype pollution vulnerabilities via object lookup analysis
日本大学: 関与なし（対象大学）
- Detecting and localizing keyboard accessibility failures in web applications
日本大学: 関与なし（対象大学）
- Detecting concurrency vulnerabilities based on partial orders of memory and thread events
日本大学: 関与なし（対象大学）
- Efficient module-level dynamic analysis for dynamic languages with module recontextualization
日本大学: 関与なし（対象大学）
- Embedding app-library graph for neural third party library recommendation
日本大学: 関与なし（対象大学）
- Empirical study of transformers for source code
日本大学: 関与なし（対象大学）
- Estimating residual risk in greybox fuzzing
日本大学: 関与なし（対象大学）
- Explaining mispredictions of machine learning models using rule induction
日本大学: 関与なし（対象大学）
- Exposing numerical bugs in deep learning via gradient back-propagation
日本大学: 関与なし（対象大学）
- FLEX: fixing flaky tests in machine learning projects by updating assertion bounds
日本大学: 関与なし（対象大学）
- Fair preprocessing: towards understanding compositional fairness of data transformers in machine learning pipeline
日本大学: 関与なし（対象大学）
- Fairea: a model behaviour mutation approach to benchmarking bias mitigation methods
日本大学: 関与なし（対象大学）
- Feature trace recording
日本大学: 関与なし（対象大学）
- Finding broken Linux configuration specifications by statically analyzing the Kconfig language
日本大学: 関与なし（対象大学）
- Flaky test detection in Android via event order exploration
日本大学: 関与なし（対象大学）
- GLIB: towards automated test oracle for graphically-rich applications
日本大学: 関与なし（対象大学）
- Generalizable and interpretable learning for configuration extrapolation
日本大学: 関与なし（対象大学）
- Generating efficient solvers from constraint models
日本大学: 関与なし（対象大学）
- Graph-based seed object synthesis for search-based unit testing
日本大学: 関与なし（対象大学）
- Hazard analysis for human-on-the-loop interactions in sUAS systems
日本大学: 関与なし（対象大学）
- HeteroFuzz: fuzz testing to detect platform dependent divergence for heterogeneous applications
日本大学: 関与なし（対象大学）
- How disabled tests manifest in test maintainability challenges?
日本大学: 関与なし（対象大学）
- IDE support for cloud-based static analyses
日本大学: 関与なし（対象大学）
- Identifying bad software changes via multimodal anomaly detection for online service systems
日本大学: 関与なし（対象大学）
- Identifying casualty changes in software patches
日本大学: 関与なし（対象大学）
- JSISOLATE: lightweight in-browser JavaScript isolation
日本大学: 関与なし（対象大学）
- LS-sampling: an effective local search based sampling approach for achieving high t-wise coverage
日本大学: 関与なし（対象大学）
- LastPyMile: identifying the discrepancy between sources and packages
日本大学: 関与なし（対象大学）
- Learning-based extraction of first-order logic representations of API directives
日本大学: 関与なし（対象大学）
- Lightweight and modular resource leak verification
日本大学: 関与なし（対象大学）
- Lightweight global and local contexts guided method name recommendation with prior knowledge
日本大学: 関与なし（対象大学）
- Metamorphic testing of Datalog engines
日本大学: 関与なし（対象大学）
- Multi-objectivizing software configuration tuning
日本大学: 関与なし（対象大学）
- NIL: large-scale detection of large-variance clones
日本大学: 大阪大学
- PHYSFRAME: type checking physical frames of reference for robotic systems
日本大学: 関与なし（対象大学）
- Parallel shadow execution to accelerate the debugging of numerical errors
日本大学: 関与なし（対象大学）
- Probabilistic Delta debugging
日本大学: 関与なし（対象大学）
- Probing model signal-awareness via prediction-preserving input minimization
日本大学: 関与なし（対象大学）
- Reassessing automatic evaluation metrics for code summarization tasks
日本大学: 関与なし（対象大学）
- Reel life vs. real life: how software developers share their daily life through vlogs
日本大学: 関与なし（対象大学）
- Semantic bug seeding: a learning-based approach for creating realistic bugs
日本大学: 関与なし（対象大学）
- Skeletal approximation enumeration for SMT solver testing
日本大学: 関与なし（対象大学）
- SmartCommit: a graph-based interactive assistant for activity-oriented commits
日本大学: 関与なし（対象大学）
- Sound and efficient concurrency bug prediction
日本大学: 関与なし（対象大学）
- StateFormer: fine-grained type recovery from binaries using generative state modeling
日本大学: 関与なし（対象大学）
- Sustainability forecasting for Apache incubator projects
日本大学: 関与なし（対象大学）
- Swarmbug: debugging configuration bugs in swarm robotics
日本大学: 関与なし（対象大学）
- Symbolic parallel adaptive importance sampling for probabilistic program analysis
日本大学: 関与なし（対象大学）
- SynGuar: guaranteeing generalization in programming by example
日本大学: 関与なし（対象大学）
- Synthesis of web layouts from examples
日本大学: 関与なし（対象大学）
- TaintStream: fine-grained taint tracking for big data platforms through dynamic code translation
日本大学: 関与なし（対象大学）
- Timely and accurate detection of model deviation in self-adaptive software-intensive systems
日本大学: 関与なし（対象大学）
- To read or to rotate? comparing the effects of technical reading training and spatial skills training on novice programming ability
日本大学: 関与なし（対象大学）
- Toward efficient interactions between Python and native libraries
日本大学: 関与なし（対象大学）
- Understanding and detecting server-side request races in web applications
日本大学: 関与なし（対象大学）
- Understanding neural code intelligence through program simplification
日本大学: 関与なし（対象大学）
- Validation on machine reading comprehension software without annotated labels: a property-based method
日本大学: 関与なし（対象大学）
- VarFix: balancing edit expressiveness and search effectiveness in automated program repair
日本大学: 関与なし（対象大学）
- Vet: identifying and avoiding UI exploration tarpits
日本大学: 関与なし（対象大学）
- Vulnerability detection with fine-grained interpretations
日本大学: 関与なし（対象大学）
- Which abbreviations should be expanded?
日本大学: 関与なし（対象大学）
- Would you like a quick peek? providing logging support to monitor data processing in big data applications
日本大学: 関与なし（対象大学）
- XAI tools in the public sector: a case study on predicting combined sewer overflows
日本大学: 関与なし（対象大学）
- iBatch: saving Ethereum fees via secure and cost-effective batching of smart-contract invocations
日本大学: 関与なし（対象大学）
- ÐArcher: detecting on-chain-off-chain synchronization bugs in decentralized applications
日本大学: 関与なし（対象大学）