yusuke1997/dblp-id-title huggingface dataset:
An investigation into the impact of the structured QR kernel on the overall performance of the TSQR algorithm
Performance Evaluation of Loop Body Splitting for Fast Modal Filtering in SCALE-DG on A64FX
CHFS: Parallel Consistent Hashing File System for Node-local Persistent Memory
sasa: A SimulAtor of Self-stabilizing Algorithms
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning
Pex-White Box Test Generation for .NET
Computing with an SMT Solver
Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, Málaga, Spain, July 1-2, 2010. Proceedings
Model-Based Testing for Verification Back-Ends
ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation
Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties
Myths in Software Engineering: From the Other Side
Is MCDC Really Better? Lessons from Combining Tests and Proofs
Sequential Generation of Structured Arrays and Its Deductive Verification
Testing First-Order Logic Axioms in Program Verification
Parameterized Unit Testing with Pex
Incremental Learning-Based Testing for Reactive Systems
A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems
Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver
WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing
Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack
Fuzzing and Delta Debugging And-Inverter Graph Verification Tools
Constructive Finite Trace Analysis with Linear Temporal Logic
Correct Code Containing Containers
Property-Based Test Case Generators for Free
Static and Dynamic Verification of Relational Properties on Self-composed C Code
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications
Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings
Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings
Speeding Up Algorithmic Debugging Using Balanced Execution Trees
Combining Model Checking and Symbolic Execution for Software Testing
Divergent Quiescent Transition Systems
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models
Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool Paper
Test Suite Reduction in Idempotence Testing of Infrastructure as Code
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing
Learning Communicating State Machines
JTACO: Test Execution for Faster Bounded Verification
Testing and Verifying Invariant Based Programs in the SOCOS Environment
Your Proof Fails? Testing Helps to Find the Reason
Efficient Temporal Logic Runtime Monitoring for Tiny Systems
Persuasive Argumentation and Epistemic Attitudes
Verifying Code Generation Tools for the B-Method Using Tests: A Case Study
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking
Solving Constraints for Generational Search
Lightweight State Capturing for Automated Testing of Multithreaded Programs
Bounded Relational Analysis of Free Data Types
Security Mutants for Property-Based Testing
Testing Languages with a Languages-as-Databases Approach
Test Program Generation for a Microprocessor - A Case-Study
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
Evaluation of ASLan Mutation Operators
Symbolic Observation Graph-Based Generation of Test Paths
Proof Process Evaluation with Mutation Analysis
Functional Testing in the Focal Environment
Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Test Generation from Recursive Tiles Systems
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study
Testing Functional Requirements in UML Activity Diagrams
Coverage-Based Testing with Symbolic Transition Systems
What Can Fault Prediction Do for YOU?
Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL
Using Formal Methods for Verification and Validation in Railway
Abstraction Refinement for the Analysis of Software Product Lines
How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback
Coverage of OCL Operation Specifications and Invariants
Evaluating and Debugging OCL Expressions in UML Models
Case Study: Automatic Test Case Generation for a Secure Cache Implementation
Generation of Test Data Structures Using Constraint Logic Programming
Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification
Model-Based Mutation Testing of an Industrial Measurement Device
Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
Classifying Test Suite Effectiveness via Model Inference and ROBBDs
Use Case Testing: A Constrained Active Machine Learning Approach
Automatic Test-Case Generation with CoVeriTest (Extended Abstract)
No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP
The Trace Modality
Predicting and Testing Latencies with Deep Learning: An IoT Case Study
Hybrid Information Flow Analysis for Real-World C Code
Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs
Architecture-Guided Test Resource Allocation via Logic
Quality Assurance in MBE Back and Forth
Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing
Finding Counter Examples in Induction Proofs
Ghosts for Lists: From Axiomatic to Executable Specifications
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding
A Dynamic Logic for QASM Programs
Generating Unit Tests from Formal Proofs
A Dynamic Epistemic Logic Analysis of the Equality Negation Task
Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification
Iterative Division in the Distributive Full Non-associative Lambek Calculus
A Four-Valued Hybrid Logic with Non-dual Modal Operators
Bddl: A Type System for Binary Decision Diagrams
Visualizing Unbounded Symbolic Execution
Verified Runtime Assertion Checking for Memory Properties
Towards Scenario-Based Testing of UML Diagrams
A Framework for the Specification of Random SAT and QSAT Formulas
Combining Static and Dynamic Reasoning for Bug Detection
Testing a Saturation-Based Theorem Prover: Experiences and Challenges
Software Validation via Model Animation
Automated Test Case Generation for Java EE Based Web Applications
Refining CEGAR-Based Test-Case Generation with Feasibility Annotations
Using Model Checking to Generate Fault Detecting Tests
Classifying Bugs with Interpolants
Proving Properties of Operation Contracts with Test Scenarios
Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]
Tests from Proofs
Testable Requirements and Specifications
Equivalence Checking for a Finite Higher Order pi-Calculus
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay
Vacuity in Testing
Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
Symbolic Execution Techniques for Refinement Testing
An All-in-One Toolkit for Automated White-Box Testing
Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Non-termination Checking for Imperative Programs
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases
Association of Under-Approximation Techniques for Generating Tests from Models
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging
Context Specification Language for Formally Verifying Consent Properties on Models and Code
State Coverage Metrics for Specification-Based Testing with Büchi Automata
A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing
A Random Testing Approach Using Pushdown Automata
Could We Have Chosen a Better Loop Invariant or Method Contract?
Integrating Verification and Testing of Object-Oriented Software
Tests from Witnesses - Execution-Based Validation of Verification Results
Conformance Relations for Labeled Event Structures
Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
Reach on Register Automata via History Independence
Behaviour Driven Development for Tests and Verification
Testing for Race Conditions in Distributed Systems via SMT Solving
BTestBox: A Tool for Testing B Translators and Coverage of B Models
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq
When Are Software Verification Results Valid for Approximate Hardware?
Tutorial on Automated Structural Testing with PathCrawler - (Extended Abstract)
Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings
Tests and Proofs - 8th International Conference, TAP@STAF 2014, York, UK, July 24-25, 2014. Proceedings
Tests and Proofs for Enumerative Combinatorics
A Metric for Testing Program Verification Systems
Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions
Incremental Model-Based Testing of Delta-Oriented Software Product Lines
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest
Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications
Combining Static Analysis and Test Generation for C Program Debugging
Syntactic Abstraction of B Models to Generate Tests
Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers
An Approximation-Based Approach for the Random Exploration of Large Models
Bringing Belief Base Change into Dynamic Epistemic Logic
Testing Robots Using CSP
Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers
Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks
A Declarative Debugger for Sequential Erlang Programs
Building a Test-Ready Abstraction of a Behavioral Model Using CLP
Generating Test Suites with Augmented Dynamic Symbolic Execution
Checking Models, Proving Programs, and Testing Systems
A Lesson on Structural Testing with PathCrawler-online.com
Security Testing and Formal Methods for High Levels Certification of Smart Cards
Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +
Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report
Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
A Logic-Based Approach to Combinatorial Testing with Constraints
The Logic of AGM Learning from Partial Observations
A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs
Time for Mutants - Model-Based Mutation Testing with Timed Automata
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial Synopsis
Deductive Binary Code Verification Against Source-Code-Level Specifications
Symbolic Execution of Transition Systems with Function Summaries
Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy
Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic
Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM
Initiating a Benchmark for UML and OCL Analysis Tools
Dynamic Symbolic Execution for Testing Distributed Objects
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs
Scalable Incremental Test-case Generation from Large Behavior Models
Unit Testing of Database-Driven Java Enterprise Edition Applications
Verification Coverage for Combining Test and Proof
A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper
On the Construction of Multi-valued Concurrent Dynamic Logics
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?
Testing Library Specifications by Verifying Conformance Tests
Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
Generating Classified Parallel Unit Tests
A Logical Analysis of the Interplay Between Social Influence and Friendship Selection
Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Lightweight Testing of Communication Networks with e-Motions
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
Generating Timed UI Tests from Counterexamples
Consistency, Independence and Consequences in UML and OCL Models
Automatic Testing from Formal Specifications
An Abstraction Technique for Testing Decomposable Systems by Model Checking
Development of a Generic Voter under FoCal
Advances in Property-Based Testing for \alpha Prolog
Mutation Testing of Smart Contracts at Scale
The First Thirty Years: Experience with Software Verification
Test Case Generation for Concurrent Systems Using Event Structures
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers
Resource Separation in Dynamic Logic of Propositional Assignments
The Technology and Psychology of Testing Your Code as You Develop It
Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms
Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations
Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant!
Under-Approximation Generation Driven by Relevance Predicates and Variants
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap
A Benchmarks Library for Extended Parametric Timed Automata
Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models
Fast Model-Based Fault Localisation with Test Suites
Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers
Monadic Sequence Testing and Explicit Test-Refinements
SAT Modulo Differential Equation Simulations
Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs
Complementary Criteria for Testing Temporal Logic Properties
Debugging Meets Testing in Erlang
Incremental Refinement Checking for Test Case Generation
Skolem Function Continuation for Quantified Boolean Formulas
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing
Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods
Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites
Low-Level Reachability Analysis Based on Formal Logic
How Test Generation Helps Software Specification and Deductive Verification in Frama-C
BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries
Model-Based Testing of Probabilistic Systems with Stochastic Time
Formalizing (Web) Standards - An Application of Test and Proof
Repairing Timed Automata Clock Guards through Abstraction and Testing
Testing and Proving Distributed Algorithms in Constructive Type Theory
Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries
QuickSpec: Guessing Formal Specifications Using Testing
Let them fail: towards VM built-in behavior that falls back to the program
Efficient editing in a tree-oriented projectional editor
Automatic Programming and Education
Tinyrossa: A Compiler Framework for Vertical, Verified Construction of Smalltalk VMs
Κόμπος: A Platform for Debugging Complex Concurrent Applications
Retro-fitting Garbage Collection into Rust (Invited Talk)
Reading logic as code or as natural language text: a randomized controlled trial experiment on the comprehensibility of object-oriented source code in comparison to natural language text
A Similarity-Based Method Retrieval Technique to Improve Effectiveness in Code Search
Rec.HTML: Declarative HTML
Live programming of internet of things in PalCom
Magic Markup: Maintaining Document-External Markup with an LLM
Efficient implementation of Smalltalk activation records in language implementation frameworks
Fine-grained, dynamic access control for database-backed applications
Toward Just-in-Time and Language-Agnostic Mutation Testing
Critique of 'an anatomy of interaction: co-occurrences and entanglements'
Quantum Table: A Tangible Quantum Circuit Demonstrator
Dimensions of Examples: Toward a Framework for Qualifying Examples in Programming
Program comprehension for live algorithmic design in virtual reality
Unanticipated Progress Indication: Continuous Responsiveness for Courageous Exploration
User-defined interface mappings for the GraalVM
How artificial intelligence can improve web development and testing
From ASTs to Machine Code with LLVM
The exploration workspace: interleaving the implementation and use of plain objects in smalltalk
Squeak Makes a Good Python Debugger: Bringing Other Programming Languages Into Smalltalk's Tools
Renkon-Pad: A Live and Self-Sustaining Programming Environment Based on Functional Reactive Programming
Object-Centric Time-Travel Debugging: Exploring Traces of Objects
Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming, Programming Companion 2024, Lund, Sweden, March 11-15, 2024
A Comparison of Three Program Query Languages to Detect Python Programming Misconceptions
ReAD: representational algorithmic design
Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022
Faster Feedback with AI? A Test Prioritization Study
Programming '21: 5th International Conference on the Art, Science, and Engineering of Programming, Cambridge, United Kingdom, March 22-26, 2021
Tools for open, transparent and engaging storytelling
Code is not just text: Why our code editors are inadequate tools
Shica - Improving the Programming Experience for Agent-Based, Distributed, Physical Computing Systems
A Rollback Mechanism to Recover from Software Failures in Role-based Adaptive Software Systems
Few versatile vs. many specialized collections: how to design a collection library for exploratory programming?
Oron: Towards a Dynamic Analysis Instrumentation Platform for AssemblyScript
Towards safe modular composition of network functions
Im-C - A Memory-Safe C Interpreter Providing a Better Learning, Testing, and Debugging Experience
Towards an intelligent fault prediction code editor to improve software quality using deep learning
Attention patterns for code animations: using eye trackers to evaluate dynamic code presentation techniques
Towards a dynamic multiscale personal information space: beyond application and document centered views of information
Programming Algorithmic Art (Keynote)
Writing safe smart contracts in Flint
An MDE Approach for Modular Program Analyses
Five Futures with AI Coding Agents
Toward a Typed Intermediate Language for R (Extended Abstract)
In-Situ Visual Programming
Programming is Writing is Programming
COP Layer Encapsulating Non-Functional Requirements for Physical Systems on Hakoniwa Environment
Sandboxed execution of C and other unsafe languages on the Java virtual machine
Tracing a Paradigm for Externalization: Avatars and the GPII Nexus
Towards practical heterogeneous virtual machines
Easy: : Jit: compiler assisted library to enable just-in-time compilation in C++ codes
Implementing Babylonian/G by Putting Examples into Game Contexts
A formalism to model higher-order function
Analysing energy consumption of systems controlled by software
Reactive programming experience with REScala
Automatic Reuse through Implied Methods: The Design and Implementation of an Abstraction Mechanism for Implied Interfaces
Visual design for a tree-oriented projectional editor
RedShell: Online Back-In-Time Debugging
Exploration and Complexity Management in Graph-Based Programming Environments
A shell-like model for general purpose programming
Towards a visual editor for lens combinators (extended abstract)
Applying aspect-oriented change realization in the mobile application domain
A Modular Meta-model for Security Solutions
Automatic test case generation from UML state machine diagrams
Managing the Context Interaction Problem: A Classification and Design Space of Conflict Resolution Techniques in Dynamically Adaptive Software Systems
Rethinking programming "environment": technical and social environment design toward convivial computing
Studying Programmer Behaviour at Scale: A Case Study using Amazon Mechanical Turk
Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development
Polyglot code finder
A Formal Foundation of Reach Capabilities
LogicKit: bringing logic programming to swift
Probe Log: Visualizing the Control Flow of Babylonian Programming
The Act of Computer Programming in Science
GUI testing in production: challenges and opportunities
Towards requirements engineering with immersive augmented reality
Abstractions for Distributed Event-Driven Applications: Position Paper
Towards A Squeak/Smalltalk-based Python IDE: An Interpreter-level Integration of Python with Smalltalk
Model-Driven Quantum Federated Learning (QFL)
Fuzzing as Editor Feedback
Live GUI development for service-based systems
Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, Prague, Czechia, June 2-6, 2025
Escaping the prison of style
TryLinks: an interactive tutorial system for a cross-tier web programming language
Towards Reliable Distributed Quantum Computing on Quantum Interconnects
Encouraging Experimentation Through Programming by Proximity
Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023
Exploring a Quantum Programming Language with Concurrency
Modularizing Code by Use Cases and Tests for Better Maintainability
Towards visualization of evolution of component-based software architectures in VR
Javardise: a structured code editor for programming pedagogy in Java
Comparing R Bytecode Compilers Written in R, Java, and Rust (Extended Abstract)
Containers for GUI Models
Who Owns the Contents of a Doubly-Linked List?
Reactive Programming with REScala
Fully homomorphic encryption scheme for secure computation
Detecting energy bugs and hotspots in control software using model checking
Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code