:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Colver, David
Format:	Preprint
Published:	2011
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/1111.5002
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Inclusion Analysis
by: Colver, David
Published: (2010)

Classification of Spreadsheet Errors
by: Rajalingham, Kamalasen, et al.
Published: (2008)

SpreadsheetBench: Towards Challenging Real World Spreadsheet Manipulation
by: Ma, Zeyao, et al.
Published: (2024)

User Defined Spreadsheet Functions in Excel
by: Tyszkiewicz, Jerzy, et al.
Published: (2012)

Consensus-Free Spreadsheet Integration
by: Baylor, Brandon, et al.
Published: (2022)

In Pursuit of Spreadsheet Excellence
by: Croll, Grenville J.
Published: (2008)

Large Language Models for Spreadsheets: Benchmarking Progress and Evaluating Performance with FLARE
by: Thorne, Simon
Published: (2025)

Computational Models of Spreadsheet Development: Basis for Educational Approaches
by: Hodnigg, Karin, et al.
Published: (2008)

Spreadsheet Modeling Experiments Using GPTs on Small Problem Statements and the Wall Task
by: Grossman, Thomas A., et al.
Published: (2026)

SODBench: A Large Language Model Approach to Documenting Spreadsheet Operations
by: Indika, Amila, et al.
Published: (2025)

TableTalk: Scaffolding Spreadsheet Development with a Language Agent
by: Liang, Jenny T., et al.
Published: (2025)

An Audit of Machine Learning Experiments on Software Defect Prediction
by: Destefanis, Giuseppe, et al.
Published: (2026)

Auditable DevOps Automation via VSM and GQM
by: Alenezi, Mamdouh
Published: (2026)

Logging Requirement for Continuous Auditing of Responsible Machine Learning-based Applications
by: Foalem, Patrick Loic, et al.
Published: (2025)

Accountability in Code Review: The Role of Intrinsic Drivers and the Impact of LLMs
by: Alami, Adam, et al.
Published: (2025)

"Good" and "Bad" Failures in Industrial CI/CD -- Balancing Cost and Quality Assurance
by: Sun, Simin, et al.
Published: (2025)

Towards Trustworthy LLMs for Code: A Data-Centric Synergistic Auditing Framework
by: Wang, Chong, et al.
Published: (2024)

Beyond Resolution Rates: Behavioral Drivers of Coding Agent Success and Failure
by: Mehtiyev, Tural, et al.
Published: (2026)

Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications
by: Ma, Wei, et al.
Published: (2024)

Structured Safety Auditing for Balancing Code Correctness and Content Safety in LLM-Generated Code
by: Tan, Honghao, et al.
Published: (2026)

MASFuzzer: Fuzz Driver Generation and Adaptive Scheduling via Multidimensional API Sequences
by: Liu, Xingyu, et al.
Published: (2026)

Extending Lifetime of Embedded Systems by WebAssembly-based Functional Extensions Including Drivers
by: Seidler, Maximilian, et al.
Published: (2025)

ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing
by: Cai, Yuandao, et al.
Published: (2026)

VDMN: A Graphical Notation for Modelling Value Driver Trees
by: Matthies, Benjamin
Published: (2025)

Neurosymbolic Auditing of Natural-Language Software Requirements
by: Hall, Bethel, et al.
Published: (2026)

Prompt Fuzzing for Fuzz Driver Generation
by: Lyu, Yunlong, et al.
Published: (2023)

How Compliant Are GitHub Actions Workflows? A Checklist-Based Study with LLM-Assisted Auditing
by: Abrokwah, Edward, et al.
Published: (2026)

Fast Fixes and Faulty Drivers: An Empirical Analysis of Regression Bug Fixing Times in the Linux Kernel
by: Ruohonen, Jukka, et al.
Published: (2024)

Auditing MCP Servers for Over-Privileged Tool Capabilities
by: Huang, Charoes, et al.
Published: (2026)

"Show Me You Comply... Without Showing Me Anything": Zero-Knowledge Software Auditing for AI-Enabled Systems
by: Scaramuzza, Filippo, et al.
Published: (2025)

An Infrastructure Cost Optimised Algorithm for Partitioning of Microservices
by: Pendyala, Kalyani V N S, et al.
Published: (2024)

"Maybe We Need Some More Examples:" Individual and Team Drivers of Developer GenAI Tool Use
by: Miller, Courtney, et al.
Published: (2025)

Edit, But Verify: An Empirical Audit of Instructed Code-Editing Benchmarks
by: Ebrahimi, Amir M., et al.
Published: (2026)

Bias in the Loop: Auditing LLM-as-a-Judge for Software Engineering
by: Zhao, Zixiao, et al.
Published: (2026)

CigaR: Cost-efficient Program Repair with LLMs
by: Hidvégi, Dávid, et al.
Published: (2024)

The Cost of Downgrading Build Systems: A Case Study of Kubernetes
by: Ranjan, Gareema, et al.
Published: (2025)

Smart but Costly? Benchmarking LLMs on Functional Accuracy and Energy Efficiency
by: Mehditabar, Mohammadjavad, et al.
Published: (2025)

The Stability Trap: Evaluating the Reliability of LLM-Based Instruction Adherence Auditing
by: Shergadwala, Murtuza N.
Published: (2026)

Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers
by: Hattori, Joe, et al.
Published: (2026)

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling
by: Li, Yan, et al.
Published: (2025)