yusuke1997/dblp-id-title huggingface dataset:
On the Distribution of Scrambled (0, m, s)-Nets Over Unanchored Boxes
On Dropping the First Sobol' Point
Central Limit Theorem for Adaptive Multilevel Splitting Estimators in an Idealized Setting
Path Space Filtering
Computational Higher Order Quasi-Monte Carlo Integration
On "Upper Error Bounds for Quadrature Formulas on Function Classes" by K.K. Frolov
The Mean Square Quasi-Monte Carlo Error for Digitally Shifted Digital Nets
Unbiased Simulation of Distributions with Explicitly Known Integral Transforms
Optimal Point Sets for Quasi-Monte Carlo Integration of Bivariate Periodic Functions with Bounded Mixed Derivatives
Uncertainty and Robustness in Weather Derivative Models
Bernstein Numbers and Lower Bounds for the Monte Carlo Error
Scalable Control Variates for Monte Carlo Methods Via Stochastic Optimization
A Note on Transformed Fourier Systems for the Approximation of Non-periodic Signals
A Strategy for Parallel Implementations of Stochastic Lagrangian Simulation
On the Selection of Random Field Evaluation Points in the p-MLQMC Method
A Note on the Importance of Weak Convergence Rates for SPDE Approximations in Multilevel Monte Carlo Schemes
Multilevel Monte Carlo Implementation for SDEs Driven by Truncated Stable Processes
Vandermonde Nets and Vandermonde Sequences
Lower Bounds for the Number of Random Bits in Monte Carlo Algorithms
Construction of a Mean Square Error Adaptive Euler-Maruyama Method With Applications in Multilevel Monte Carlo
Modelling techniques for dynamic logic and test pattern generation of a microprocessor
The graph model of behavior simulator
Panel Discussions
Developing a SARA building block - the 8080
Some applications of the Stanford University Drawing System for LSI microprocessor - "a picture is worth a thousand bytes."
PLATO - PLA Translator/Optimizer - "a ROM is a PLA in no uncertain terms."
State of the implementation of SARA
Specialization of SARA for software synthesis
Capability requirements in a multimicro processor, hardware/software simulation environment
N.mPc: An adaptable software system to support the development of microprocessor-based systems
Modeling for synthesis - the gap between intent and behavior
Computer aids for the design of manufacturable microcomputer-based systems
Multi-level modeling in SARA
Practical considerations in implementing a real-time controller design automation system
Design aids and hardware testing of microprocessor system circuit packs
Automated design based upon Microprogrammable Bit Slice Microprocessors
Simulation hierarchy for microprocessor design
Automatic design of multiprocessor microprocessor systems
Verification of hardware designs thru symbolic manipulation
User requirements for digital design verification simulators
Proceedings of the Symposium on Design Automation and Microprocessors, Palo Alto, California, February 24-25, 1977
Benefits and Challenges of a Physical Device Farm for Automated Software Testing: A Case Study of the STELA Tool Implementation
A Strategy to Support the Infeasible Test Requirements Identification
Cloud-Based Mobile App Testing Framework: Architecture, Implementation and Execution
Characterisation of Challenges for Testing of Adaptive Systems
Ensuring Test Case Coverage through Multilabel Requirements Classification: A Feasibility Study with Pre-Trained Models
Analyzing the effectiveness of One-Op Mutation against the minimal set of mutants
Reports on using an ABB robot in Android mobile testing automation
An Experimental Study for Complete-IOCO Theory
Test volume mitigation for mobile devices software development: An improvement approach considering shared requirements
A Journey of Functional Test Evolution in the Public Sector
Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples
SeleCTT: An Infrastructure for Selection of Concurrent Software Testing Techniques
Validation of Image Content Using LLMs and RAGs: A Strategy for Ensuring Compliance in Software Testing
Property-based Testing for Machine Learning Models
A Multi-objective optimization approach for selection of second order mutant generation strategies
An Approach to Regression Testing Selection based on Code Changes and Smells
An Automated Refactoring Approach to Remove Unnecessary Complexity in Source Code
Proceedings of the 9th Brazilian Symposium on Systematic and Automated Software Testing, SAST 2024, Curitiba, Brazil, September 30 - October 4, 2024
SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing, Uberlandia, Brazil, October 3 - 7, 2022
SAST'21: Brazilian Symposium on Systematic and Automated Software Testing, Joinville, Brazil, 27 September 2021 - 1 October 2021
An Experimental Study Evaluating Cost, Adequacy, and Effectiveness of Pynguin's Test Sets
An empirical evaluation of fuzz targets using mutation testing
Multi-Armed Bandit Test Case Prioritization in Continuous Integration Environments: A Trade-off Analysis
On the costs of applying logic-based criteria to mobile applications: An empirical analysis of predicates in real-world Objective-C and Swift applications
Automatic Selection of Test Cases for Regression Testing
Gamification in Software Testing: A Characterization Study
Uma Implementação de Pontos de Testes Baseados em Pontos de Função Aplicados em um Órgão Público na Paraíba
Generating Exploratory Test Suites with ChatGPT: Insights from an Empirical Study
Smart Test Execution of Android Compatibility Tests
An Experimental Study on Applying Metamorphic Testing in Machine Learning Applications
Test Framework for Jenkins Shared Libraries
A Study on the Impact of Model Evolution in MBT Suites
What is the adoption level of automated support for testing in open-source ecosystems?
Search-Based Higher Order Mutation Testing: A Mapping Study
DroidOrchestrator: Container-Based Framework for Automation of Customized Android Security Testing Environment Generation
Evaluating an Automatic Text-based Test Case Selection using a Non-Instrumented Code Coverage Analysis
Reducing Rework in Automotive Software through Simulation-Guided Verification
Resilience Testing of Celery: An Experimental Approach with Fault Injection
AutoFun: An Automated Model-based Functional Testing Tool
Using a Search and Model Based Framework to Improve Robustness Tests in Cloud Platforms
Image2Test: Using ChatGPT to Build Manual Tests from Screenshots
An initial investigation of ChatGPT unit test generation capability
Proceedings of the 10th Brazilian Symposium on Systematic and Automated Software Testing, SAST 2025, Recife, Brazil, September 22, 2025
Mutation Operators for Code Annotations
Evaluating Different Strategies for Reduction of Mutation Testing Costs
Career Mapping in Software Testing: insights into the professional profile
On the Exploratory Testing of Mobile Apps
Testing Environmental Models supported by Machine Learning
8th Brazilian Symposium on Systematic and Automated Software Testing, SAST 2023, Campo Grande, MS, Brazil, September 25-29, 2023
Evaluating the Effectiveness of Regression Test Suites for Extract Method Validation
Reducing MBT test cases discard with distance function at TJPB
Can you certify your software to MC/DC?: A static analysis approach to account for the number test cases
Mutation Testing to Support the Security Testing of Android Applications
Simulating Non-Functional Communication Requirements in Automotive Software
An industrial experience report on the challenges in training localization and internationalization testers
Refactoring Test Smells: A Perspective from Open-Source Developers
On the use of test smells for prediction of flaky tests
An Evaluation of Internal Program Metrics as Predictors of Mutation Operator Score
Exploring Tools for Flaky Test Detection, Correction, and Mitigation: A Systematic Mapping Study
SS-BDD: Automated Acceptance Testing for Spreadsheets
A Rapid Review on Advanced Software-in-the-Loop Methods for Automotive Software Verification
Enhancing Automated Tools: Reporting Bugs with Bug Builder
Adoption of Software Testing in Internet of Things: A Systematic Literature Mapping
A Systematic Mapping Study on Software Testing for Systems-of-Systems
Test Data Selection Based on Applying Mutation Testing to Decision Tree Models
SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, Natal, Brazil, October 19-23, 2020
Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing, SAST 2016, Maringa, Parana, Brazil, September 19-20, 2016
Software Testing applied to the Development of IoT Systems: preliminary results
An industrial experience report on the adoption of history-based test case prioritization
A Controlled Experiment for Combinatorial Testing
Observing Effort Factors in the Test Design & Implementation Process of Web Services Projects
How do Testers Feel it? An Experience Report on Evaluating TX in an Industrial Context
On Using Decision Tree Coverage Criteria forTesting Machine Learning Models
Applying Many-objective Algorithms to the Variability Test of Software Product Lines
Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing, SAST 2018, Sao Carlos, Brazil, September 17-21, 2018
TSS Tool: Automation Tool Applied in the True Single SKU Setup Environment Preparation for Multiple Devices in Parallel
RAVEN: Enhancing Test Request Reliability through Real-Time Verification in High-Complexity Systems
Assessing Android Test Data Generation Tools via Mutation Testing
SelectNLTest - Selection and natural language rewriting of test cases generated by the DRL-MOBTEST tool
On the Energy Footprint of Using a Small Language Model for Unit Test Generation
ARRESTT: A framework to create reproducible experiments to evaluate software testing techniques
ATF - An end-to-end testing framework: experience report
Evaluating a Conceptual Framework for Supporting Technical Debt Management in Testing Activities - A Feasibility Study
Testing within Constraints: a Practical Approach
Relevance and Impact of Critical Factors of Success in Software Test Automation lifecycle: A Survey
Feasibility of using Source Code Changes on the Selection of Text-based Regression Test Cases
Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing, SAST 2019, Salvador, Brazil, September 23-27, 2019
Detecting Semantic Conflicts with LLM-Generated Tests
Implementing Exploratory Testing in an Agile Context: A Study Based on Design Science Research
On the prevalence of test smells in mobile development
Feature-Based Test Oracles to Categorize Synthetic 3D and 2D Images of Blood Vessels
Testing Strategies for Smart Cities applications: A Systematic Mapping Study
Evaluating the Impact of Different Testers on Model-based Testing
A Strategy for Functional Defect Prediction in Homogenous Datasets: A case study in the SIGAA academic system
Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations
The Influence of Using LLMs on the Activities of a Software Testing Team: An Industry Case
An Analysis of Automated Code Inspection Tools for PHP Available on Github Marketplace
ValiErlang: A Structural Testing Tool for Erlang Programs
TString: a tool to locate the target string's screen based on automatic exploration
Data flow Subsumption and its Impact on Spectrum-based Fault Localization
An Empirical Analysis of Two Mutation Testing Tools for Java
Benchmark review and case study of stress test for a gaming computer applied in CPU
Evaluating LLMs for Multimodal GUI Test Generation in Android Applications
The Impact on the Test Coverage Caused by the Introduction of Adaptive Behavior in a Legacy Web Application: A Case Study
REST API Test Automation in SisNIR
Improving Bug Reporting by Fine-Tuning the T5 Model: An Evaluation in a Software Industry
Investigating Multi and Many-Objective Metaheuristics to Support Software Integration Testing
OggyBug: A Test Automation Tool in Chatbots
Reducing the Allocation of Software Testing Demand: A Study on the Pros and Cons using STELA Tool
Application of Computer Vision to image review process in the software development
Using App Attributes to Improve Mobile Device Selection for Compatibility Testing
Regression Tests Provenance Data in the Continuous Software Engineering Context
Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing, SAST 2017, Fortaleza, Brazil, September 18-19, 2017
Mutation Operators for Java Streams
Prime Control-IQD: a Platform for Software Quality Analytics
Deploying a Low-Cost Vision-Guided Cartesian Robot for Physical Interaction in Mobile Testing: An Industrial Case Study
Investigating Test Smells in JavaScript Test Code
Systematic Functional Testing with Decision Table
On the Relation between Code Elements and Accessibility Issues in Android Apps
On the Implementation of OS-Specific Tests: The CPython Case
On the Use of Fault Abstractions for Assessing System Test Case Prioritization Techniques
From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases
Fully-Tested code generation from TLA+ specifications
Experiences with Google Approval Process: an automated approach to enhancing efficiency in Android releases
Real-Time Feedback for BDD Test Scenarios Using AI-Based Classification
A Survey of Requirements Engineering and Software Testing Practices in Agile Teams
CATS Design: A Context-Aware Test Suite Design Process
A Comparative Analysis of Mobile UI Testing Frameworks in Continuous Integration Environments
An Empirical Study on the Co-occurrence of Test Smells
Automating Android Rotation Vector Testing in Google's Compatibility Test Suite Using a Robotic Arm
Assessing Agile Testing Practices for Enterprise Systems: A Survey Approach
Contributions to improve the combined selection of concurrent software testing techniques
Machine Learning Techniques for Escaped Defect Analysis in Software Testing
TVTAT - A Real Time Camera Imaging Testing Tool for Smart TVs: Preliminary Results
Automating Transaction Testing Involving Payment at PoS (Point of Sale) Terminals: An Experience Report at a Technology Company
Reusing Test Cases on Graph Product Line Variants: Results from a State-of-the-Practice Test Data Generation Tool
Investigating Developers' Contributions to Test Smell Survivability: A Study of Open-Source Projects
On Enumerating Models for the Logic of Paradox Using Tableau
An Evolutionary Perspective on Approximate RDF Query Answering
Analogical Classification: Handling Numerical Data
Scalable Uncertainty Management - 4th International Conference, SUM 2010, Toulouse, France, September 27-29, 2010. Proceedings
Separable Qualitative Capacities
Frequent Itemset Mining from Databases Including One Evidential Attribute
Reasons and Means to Model Preferences as Incomplete
Compression of Probabilistic XML Documents
Aggregates in Generalized Temporally Indeterminate Databases
A Probabilistic Hybrid Logic for Sanitized Information Systems
Answering Threshold Queries in Probabilistic Datalog+/- Ontologies
On Cluster Validity for Fuzzy Clustering of Incomplete Data
Stability of Extensions in Incomplete Argumentation Frameworks
Using Analogical Proportions for Explanations
Inconsistency Measurement
Fuzzy Classifiers - Opportunities and Challenges -
Probabilistic Local Link Prediction in Complex Networks
K-Nearest Neighbour Classification for Interval-Valued Data
Investigating Ontological Similarity Theoretically with Fuzzy Set Theory, Information Content, and Tversky Similarity and Empirically with the Gene Ontology
Min-based Assertional Merging Approach for Prioritized DL-Lite Knowledge Bases
Conversational Recommender System by Bayesian Methods
On Cautiousness and Expressiveness in Interval-Valued Logic
Computable Randomness Is About More Than Probabilities
Bipolarity in Argumentation Graphs: Towards a Better Understanding
A Psychological Analysis of Preference Semantics in Conditional Logics for Preference Representation
Imprecise Dynamic Value-at-Risk Induced by a DS-Bivariate Random Walk
Scaling Most Probable World Computations in Probabilistic Logic Programs
Navigating Interpretability Issues in Evolving Fuzzy Systems
Uncertainty Handling in Quantitative BDD-Based Fault-Tree Analysis by Interval Computation
User's Preference Modelling with Gödel Integral
A Partition-Based First-Order Probabilistic Logic to Represent Interactive Beliefs
Modeling the Dynamics of Multiple Disease Occurrence by Latent States
Towards a Reconciliation Between Reasoning and Learning - A Position Paper
Interval-Based Possibilistic Networks
Eliciting Implicit Evocations Using Word Embeddings and Knowledge Representation
An Upscaling Approach for Uncertainty Quantification of Stochastic Contaminant Transport through Fractured Media
Fuzzy Description Logics - A Survey
Clustering Uncertain Data Via K-Medoids
Estimating Causal Effects in Partially Directed Parametric Causal Factor Graphs
Plausibility of Information Reported by Successive Sources
The Altruistic Robot: Do What I Want, Not Just What I Say
An Interactive Polyhedral Approach for Multi-objective Combinatorial Optimization with Incomplete Preference Information
Assertional Removed Sets Merging of DL-Lite Knowledge Bases
Embedding Forecast Operators in Databases
Comparing Evidential Graphical Models for Imprecise Reliability
Contribution of Subsets of Variables in Global Sensitivity Analysis with Dependent Variables
Speeding Up the NRA Algorithm
Analytics over Probabilistic Unmerged Duplicates
Weighted Description Logics Preference Formulas for Multiattribute Negotiation
Seismic Hazard Assessment on NPP Sites in Taiwan through an Observation-Oriented Monte Carlo Simulation
MIP Outer Belief Approximations of Lower Conditional Joint CDFs in Statistical Matching Problems
Assumption-Based Argumentation Equipped with Preferences and Constraints
Symbolic Logic Meets Machine Learning: A Brief Survey in Infinite Domains
Expressivity of Possibilistic Preference Networks with Constraints
Logic Programming and Uncertainty
Scalable Uncertainty Management - 16th International Conference, SUM 2024, Palermo, Italy, November 27-29, 2024, Proceedings
Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics
Handling Inconsistency with Preference-Based Argumentation
Towards Statistical Reasoning in Description Logics over Finite Domains
Efficient Möbius Transformations and Their Applications to D-S Theory
An Attempt to Employ Genetic Fuzzy Systems to Predict from a Data Stream of Premises Transactions
Integrating User Preferences into Gradual Bipolar Argumentation for Personalised Decision Support
Scalable Uncertainty Management - 15th International Conference, SUM 2022, Paris, France, October 17-19, 2022, Proceedings
Comfort as a Multidimensional Preference Model for Energy Efficiency Control Issues
Explaining the Most Probable Explanation
Levelwise Data Disambiguation by Cautious Superset Classification
Improving Personalized Search on the Social Web Based on Similarities between Users
Using Convolutional Neural Network in Cross-Domain Argumentation Mining Framework
An Approach to Argumentation Considering Attacks through Time
Towards Scalable and Robust Sum-Product Networks
A Fuzzy Ontology-Based System for Gait Recognition Using Kinect Sensor
Probabilistic Logic Networks in a Nutshell
Probabilistic Semantics for Categorical Syllogisms of Figure II
A Qualitative Bipolar Argumentative View of Trust
Estimating Conditional Probabilities by Mixtures of Low Order Conditional Distributions
Judicial Support Tool: Finding the k Most Likely Judicial Worlds
Approximate Reasoning about Generalized Conditional Independence with Complete Random Variables
Learning from Imbalanced Data Using an Evidential Undersampling-Based Ensemble
Processing Fuzzy Queries in a Peer Data Management System Using Distributed Fuzzy Summaries
Extended Boltzmann Machine Generative Model
Multivariate Cluster-Based Discretization for Bayesian Network Structure Learning
r-ERBFN: An Extension of the Evidential RBFN Accounting for the Dependence Between Positive and Negative Evidence
Measuring Inconsistency Through Subformula Forgetting
Preference Elicitation with Uncertainty: Extending Regret Based Methods with Belief Functions
A Characteristic Function Approach to Inconsistency Measures for Knowledge Bases
Combinatorial Prediction Markets: An Experimental Study
Challenges for Efficient Query Evaluation on Structured Probabilistic Data
On Dependence in Second-Order Probability
Evidential Joint Calibration of Binary SVM Classifiers Using Logistic Regression
Characterizing Multipreference Closure with System W
First-Order Typed Model Counting for Probabilistic Conditional Reasoning at Maximum Entropy
A Framework for the Partial Evaluation of SPARQL Queries
Modelling Probabilistic Inference Networks and Classification in Probabilistic Datalog
Robust Discrete Bayesian Classifier Under Covariate and Label Noise
A Two-Level Approach to Maximum Entropy Model Computation for Relational Probabilistic Logic Based on Weighted Conditional Impacts
Conflicts of Belief Functions: Continuity and Frame Resizement
Abstract Argumentation via Monadic Second Order Logic
A Personalized Approach to Experience-Aware Service Ranking and Selection
A Parametrized Ranking-Based Semantics for Persuasion
PossDB: An Uncertainty Database Management System
Approximating Complex Sensor Quality Using Failure Probability Intervals
ERBlox: Combining Matching Dependencies with Machine Learning for Entity Resolution
Inconsistency Measurement in LTL f Based on Minimal Inconsistent Sets and Minimal Correction Sets
Maximal Ideal Recursive Semantics for Defeasible Argumentation
Scalable Bounding of Predictive Uncertainty in Regression Problems with SLAC
An Efficient Algorithm for Naive Possibilistic Classifiers with Uncertain Inputs
Elicitation for Decision Problems Under Severe Uncertainties
Computing Skyline from Evidential Data
Open-Mindedness of Gradual Argumentation Semantics
A Conditional Logic-Based Argumentation Framework
Combining Uncertain Outputs from Multiple Ontology Matchers
Managing Uncertainty in Schema Matcher Ensembles
Towards a Principle-Based Approach for Case-Based Reasoning
An Integer 0-1 Linear Programming Approach for Computing Inconsistency Degree in Product-Based Possibilistic DL-Lite
Learning Models over Relational Data: A Brief Tutorial
Indirect Elicitation of NIN-AND Trees in Causal Model Acquisition
Iterated Conditionals, Trivalent Logics, and Conditional Random Quantities
Stable Semantics in Logic-Based Argumentation
A Capacity-Based Semantics for Inconsistency-Tolerant Inferences
Consistent Query Answering: The First Ten Years
A Change Model for Credibility Partial Order
Range-Consistent Answers of Aggregate Queries under Aggregate Constraints
On the Completeness and Complexity of Lifted Temporal Inference
Towards a Unified View on Logics for Uncertainty
Finite Satisfiability in Infinite-Valued Lukasiewicz Logic
Predicting the Possibilistic Score of OWL Axioms Through Support Vector Regression
Instantiation Restrictions for Relational Probabilistic Conditionals
Markov Chain Monte Carlo and Databases - (Abstract)
Generalizing Naive and Stable Semantics in Argumentation Frameworks with Necessities and Preferences
Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy
Graphical Models for Preference Representation: An Overview
Evaluating Trustworthiness from Past Performances: Interval-Based Approaches
On a New Evidential C-Means Algorithm with Instance-Level Constraints
Change in Argumentation Systems: Exploring the Interest of Removing an Argument
A Petri Net Model of Argumentation Dynamics
An Experimental Study on the Behaviour of Inconsistency Measures
Scalable Uncertainty Management - 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings
On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation
Measuring Disagreement in Argumentation Graphs
Consistent Data Integration in P2P Deductive Databases
Group Preferences for Query Answering in Datalog+/- Ontologies
A Comparative Study of Six Formal Models of Causal Ascription
Distribution-Aware Sampling of Answer Sets
Interventions in Possibilistic Logic
Discrete Sugeno Integrals and Their Applications