On the public citation graph
Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94
0 signed · 215 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/smr.324openalex-snapshot
A component-based approach to online software evolution
inferred← citeshttps://doi.org/10.1002/smr.400openalex-snapshot
User Interface Migration of Microsoft Windows Applications
inferred← citeshttps://doi.org/10.1002/spe.487openalex-snapshot
Automated test case generation for the stress testing of multimedia systems
inferred← citeshttps://doi.org/10.1002/stv.430openalex-snapshot
Regression testing minimization, selection and prioritization: a survey
inferred← citeshttps://doi.org/10.1002/stvr.1496openalex-snapshot
Configuring effective navigation models and abstract test cases for web applications by analysing user behaviour
inferred← citeshttps://doi.org/10.1002/stvr.1508openalex-snapshot
Search‐based testing using constraint‐based mutation
inferred← citeshttps://doi.org/10.1002/stvr.1547openalex-snapshot
RepOK‐based reduction of bounded exhaustive testing
inferred← citeshttps://doi.org/10.1002/stvr.306openalex-snapshot
A formal analysis of MCDC and RCDC test criteria
inferred← citeshttps://doi.org/10.1002/stvr.430openalex-snapshot
Regression testing minimization, selection and prioritization: a survey
inferred← citeshttps://doi.org/10.1002/stvr.4370040104openalex-snapshot
An empirical comparison of data flow and mutation‐based test adequacy criteria
inferred← citeshttps://doi.org/10.1007/978-1-4471-3452-7_4openalex-snapshot
A tale of two paradigms: Formal methods and software testing
inferred← citeshttps://doi.org/10.1007/978-1-4614-7010-6_93openalex-snapshot
Enhancing Ability of Fault Detection for Component Systems Based on Object Interactions Graph
inferred← citeshttps://doi.org/10.1007/978-3-319-16577-6_1openalex-snapshot
Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement
inferred← citeshttps://doi.org/10.1007/978-3-540-24617-6_18openalex-snapshot
Towards a Tool Environment for Model-Based Testing with AsmL
inferred← citeshttps://doi.org/10.1007/978-3-540-75221-9_12openalex-snapshot
Specification for Testing
inferred← citeshttps://doi.org/10.1007/978-3-540-78917-8_11openalex-snapshot
Testability Transformation – Program Transformation to Improve Testability
inferred← citeshttps://doi.org/10.1007/978-3-540-88194-0_14openalex-snapshot
Towards Abstraction for DynAlloy Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-92910-9_52openalex-snapshot
Selected Aspects of Natural Computing
inferred← citeshttps://doi.org/10.1007/978-3-642-01492-5_13openalex-snapshot
Model Checking Linear-Time Properties of Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-04761-9_9openalex-snapshot
UnitCheck: Unit Testing and Model Checking Combined
inferred← citeshttps://doi.org/10.1007/978-3-642-21768-5_3openalex-snapshot
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs
inferred← citeshttps://doi.org/10.1007/978-3-642-34188-5_19openalex-snapshot
Dynamic Test Data Generation for Data Intensive Applications
inferred← citeshttps://doi.org/10.1007/978-981-97-9314-3_40openalex-snapshot
Versatile Binary-Level Concolic Testing
inferred← citeshttps://doi.org/10.1007/s10766-014-0304-yopenalex-snapshot
Collaborative Technique for Concurrency Bug Detection
inferred← citeshttps://doi.org/10.1007/s11432-019-2720-1openalex-snapshot
Learning a graph-based classifier for fault localization
inferred← citeshttps://doi.org/10.1007/s11704-013-3024-3openalex-snapshot
Generating test data for both path coverage and fault detection using genetic algorithms
inferred← citeshttps://doi.org/10.1007/s11704-014-3496-9openalex-snapshot
A novel strategy for automatic test data generation using soft computing technique
inferred← citeshttps://doi.org/10.1007/s11704-024-40500-zopenalex-snapshot
SharpSMT: a scalable toolkit for measuring solution spaces of SMT(LA) formulas
inferred← citeshttps://doi.org/10.1016/0167-6423(95)96871-jopenalex-snapshot
Functional documents for computer systems
inferred← citeshttps://doi.org/10.1016/b978-0-12-396535-6.00007-7openalex-snapshot
Regression Testing in Software Product Line Engineering
inferred← citeshttps://doi.org/10.1016/b978-0-12-408094-2.00002-3openalex-snapshot
Regression Testing of Evolving Programs
inferred← citeshttps://doi.org/10.1016/b978-0-12-800162-2.00001-4openalex-snapshot
Recent Advances in Web Testing
inferred← citeshttps://doi.org/10.1016/bs.adcom.2014.12.003openalex-snapshot
Advances in Testing JavaScript-Based Web Applications
inferred← citeshttps://doi.org/10.1016/j.adhoc.2007.11.006openalex-snapshot
Balancing computation and communication costs: The case for hybrid execution in sensor networks
inferred← citeshttps://doi.org/10.1016/j.artint.2007.05.005openalex-snapshot
Bounded model checking for knowledge and real time
inferred← citeshttps://doi.org/10.1016/j.asoc.2016.05.038openalex-snapshot
Defect prediction for Cascading Style Sheets
inferred← citeshttps://doi.org/10.1016/j.asoc.2016.06.023openalex-snapshot
Classification with reject option for software defect prediction
inferred← citeshttps://doi.org/10.1016/j.asoc.2016.06.027openalex-snapshot
Incorporating user preferences in ant colony optimization for the next release problem
inferred← citeshttps://doi.org/10.1016/j.asoc.2016.07.040openalex-snapshot
IBED: Combining IBEA and DE for optimal feature selection in software product line engineering
inferred← citeshttps://doi.org/10.1016/j.asoc.2016.08.022openalex-snapshot
Using simulated annealing for computing cost-aware covering arrays
inferred← citeshttps://doi.org/10.1016/j.autcon.2021.103620openalex-snapshot
A vision-based approach for automatic progress tracking of floor paneling in offsite construction facilities
inferred← citeshttps://doi.org/10.1016/j.cl.2018.01.003openalex-snapshot
Personalized recommender systems for product-line configuration processes
inferred← citeshttps://doi.org/10.1016/j.cose.2012.09.015openalex-snapshot
Systematic bug finding and fault localization enhanced with input data tracking
inferred← citeshttps://doi.org/10.1016/j.cose.2015.03.007openalex-snapshot
Hypervisor-based malware protection with AccessMiner
inferred← citeshttps://doi.org/10.1016/j.cose.2015.03.008openalex-snapshot
Dytaint: The implementation of a novel lightweight 3-state dynamic taint analysis framework for x86 binary programs
inferred← citeshttps://doi.org/10.1016/j.cose.2017.02.007openalex-snapshot
Program analysis with risk-based classification of dynamic invariants for logical error detection
inferred← citeshttps://doi.org/10.1016/j.cose.2017.07.002openalex-snapshot
Android inter-app communication threats and detection techniques
inferred← citeshttps://doi.org/10.1016/j.cose.2020.101895openalex-snapshot
Multiclass malware classification via first- and second-order texture statistics
inferred← citeshttps://doi.org/10.1016/j.cose.2022.103048openalex-snapshot
UAF-GUARD: Defending the use-after-free exploits via fine-grained memory permission management
inferred← citeshttps://doi.org/10.1016/j.cose.2023.103642openalex-snapshot
Toward the flow-centric detection of browser fingerprinting
inferred← citeshttps://doi.org/10.1016/j.cosrev.2017.06.001openalex-snapshot
Higher order mutation testing: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1016/j.csi.2014.10.003openalex-snapshot
Automatic test case generation for WS-Agreements using combinatorial testing
inferred← citeshttps://doi.org/10.1016/j.csi.2020.103467openalex-snapshot
Comparing coverage criteria for dynamic web application: An empirical evaluation
inferred← citeshttps://doi.org/10.1016/j.diin.2018.04.019openalex-snapshot
Multinomial malware classification via low-level features
inferred← citeshttps://doi.org/10.1016/j.entcs.2015.05.002openalex-snapshot
Evaluating the Model-Based Testing Approach in the Context of Mobile Applications
inferred← citeshttps://doi.org/10.1016/j.eswa.2023.121901openalex-snapshot
Model-domain failing test augmentation with Generative Adversarial Networks
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.03.010openalex-snapshot
An identification of program factors that impact crossover performance in evolutionary test input generation for the branch coverage of C programs
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.08.006openalex-snapshot
A general noise-reduction framework for fault localization of Java programs
inferred← citeshttps://doi.org/10.1016/j.infsof.2013.02.006openalex-snapshot
A systematic mapping study of web application testing
inferred← citeshttps://doi.org/10.1016/j.infsof.2015.11.007openalex-snapshot
Practical minimization of pairwise-covering test configurations using constraint programming
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.02.006openalex-snapshot
A path-aware approach to mutant reduction in mutation testing
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.04.009openalex-snapshot
KD-ART: Should we intensify or diversify tests to kill mutants?
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.07.005openalex-snapshot
Evaluation and analysis of incorporating Fuzzy Expert System approach into test suite reduction
inferred← citeshttps://doi.org/10.1016/j.infsof.2017.03.002openalex-snapshot
Investigating the relationship between price, rating, and popularity in the Blackberry World App Store
inferred← citeshttps://doi.org/10.1016/j.infsof.2017.09.011openalex-snapshot
Understanding metric-based detectable smells in Python software: A comparative study
inferred← citeshttps://doi.org/10.1016/j.infsof.2017.09.014openalex-snapshot
A systematic mapping study on game-related methods for software engineering education
inferred← citeshttps://doi.org/10.1016/j.infsof.2018.02.010openalex-snapshot
We’re doing it live: A multi-method empirical study on continuous experimentation
inferred← citeshttps://doi.org/10.1016/j.infsof.2018.05.004openalex-snapshot
Model-driven architecture based testing: A systematic literature review
inferred← citeshttps://doi.org/10.1016/j.infsof.2018.05.006openalex-snapshot
Characterizing mobile apps from a source and test code viewpoint
inferred← citeshttps://doi.org/10.1016/j.infsof.2018.06.001openalex-snapshot
The impact of IR-based classifier configuration on the performance and the effort of method-level bug localization
inferred← citeshttps://doi.org/10.1016/j.infsof.2018.06.007openalex-snapshot
Multi-objective regression test selection in practice: An empirical study in the defense software industry
inferred← citeshttps://doi.org/10.1016/j.infsof.2018.07.001openalex-snapshot
Diversity driven adaptive test generation for concurrent data structures
inferred← citeshttps://doi.org/10.1016/j.infsof.2018.08.009openalex-snapshot
A large scale empirical comparison of state-of-the-art search-based test case generators
inferred← citeshttps://doi.org/10.1016/j.infsof.2019.05.001openalex-snapshot
A systematic literature review of test breakage prevention and repair techniques
inferred← citeshttps://doi.org/10.1016/j.infsof.2019.05.007openalex-snapshot
An HMM-based approach for automatic detection and classification of duplicate bug reports
inferred← citeshttps://doi.org/10.1016/j.infsof.2019.05.008openalex-snapshot
On the use of usage patterns from telemetry data for test case prioritization
inferred← citeshttps://doi.org/10.1016/j.infsof.2019.06.009openalex-snapshot
Pareto efficient multi-objective black-box test case selection for simulation-based testing
inferred← citeshttps://doi.org/10.1016/j.infsof.2019.106234openalex-snapshot
How are distributed bugs diagnosed and fixed through system logs?
inferred← citeshttps://doi.org/10.1016/j.infsof.2020.106486openalex-snapshot
A study of effectiveness of deep learning in locating real faults
inferred← citeshttps://doi.org/10.1016/j.infsof.2022.107105openalex-snapshot
An empirical study on bugs in JavaScript engines
inferred← citeshttps://doi.org/10.1016/j.infsof.2023.107338openalex-snapshot
A systematic mapping study of bug reproduction and localization
inferred← citeshttps://doi.org/10.1016/j.infsof.2024.107531openalex-snapshot
Extraction and empirical evaluation of GUI-level invariants as GUI Oracles in mobile app testing
inferred← citeshttps://doi.org/10.1016/j.ins.2019.08.077openalex-snapshot
ABFL: An autoencoder based practical approach for software fault localization
inferred← citeshttps://doi.org/10.1016/j.is.2022.102105openalex-snapshot
Best practices of testing database manipulation code
inferred← citeshttps://doi.org/10.1016/j.jss.2006.07.020openalex-snapshot
Ensuring system performance for cluster and single server systems
inferred← citeshttps://doi.org/10.1016/j.jss.2009.11.706openalex-snapshot
Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation
inferred← citeshttps://doi.org/10.1016/j.jss.2010.07.025openalex-snapshot
On the estimation of adequate test set size using fault failure rates
inferred← citeshttps://doi.org/10.1016/j.jss.2010.07.026openalex-snapshot
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
inferred← citeshttps://doi.org/10.1016/j.jss.2010.11.915openalex-snapshot
Simultaneous debugging of software faults
inferred← citeshttps://doi.org/10.1016/j.jss.2011.02.007openalex-snapshot
An algorithm for capturing variables dependences in test suites
inferred← citeshttps://doi.org/10.1016/j.jss.2011.11.1039openalex-snapshot
A symbolic analysis framework for static analysis of imperative programming languages
inferred← citeshttps://doi.org/10.1016/j.jss.2013.02.061openalex-snapshot
An orchestrated survey of methodologies for automated software test case generation
inferred← citeshttps://doi.org/10.1016/j.jss.2013.08.031openalex-snapshot
Slice-based statistical fault localization
inferred← citeshttps://doi.org/10.1016/j.jss.2013.08.033openalex-snapshot
A distributed framework for demand-driven software vulnerability detection
inferred← citeshttps://doi.org/10.1016/j.jss.2013.12.036openalex-snapshot
A dynamic code coverage approach to maximize fault localization efficiency
inferred← citeshttps://doi.org/10.1016/j.jss.2014.03.058openalex-snapshot
Avoiding, finding and fixing spreadsheet errors – A survey of automated approaches for spreadsheet QA
inferred← citeshttps://doi.org/10.1016/j.jss.2014.11.042openalex-snapshot
The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing
inferred← citeshttps://doi.org/10.1016/j.jss.2015.02.038openalex-snapshot
Automated fault localization via hierarchical multiple predicate switching
inferred← citeshttps://doi.org/10.1016/j.jss.2015.03.066openalex-snapshot
Input-based adaptive randomized test case prioritization: A local beam search approach
inferred← citeshttps://doi.org/10.1016/j.jss.2015.04.081openalex-snapshot
Code search with input/output queries: Generalizing, ranking, and assessment
inferred← citeshttps://doi.org/10.1016/j.jss.2016.04.009openalex-snapshot
Observational slicing based on visual semantics
inferred← citeshttps://doi.org/10.1016/j.jss.2016.04.014openalex-snapshot
AspectJ code analysis and verification with GASR
inferred← citeshttps://doi.org/10.1016/j.jss.2016.06.014openalex-snapshot
Exploiting thread-related system calls for plagiarism detection of multithreaded programs
inferred← citeshttps://doi.org/10.1016/j.jss.2016.07.002openalex-snapshot
SIT: Sampling-based interactive testing for self-adaptive apps
inferred← citeshttps://doi.org/10.1016/j.jss.2016.09.014openalex-snapshot
Fault localization using disparities of dynamic invariants
inferred← citeshttps://doi.org/10.1016/j.jss.2016.11.026openalex-snapshot
deExploit: Identifying misuses of input data to diagnose memory-corruption exploits at the binary level
inferred← citeshttps://doi.org/10.1016/j.jss.2017.02.050openalex-snapshot
Combining heterogeneous anomaly detectors for improved software security
inferred← citeshttps://doi.org/10.1016/j.jss.2017.03.044openalex-snapshot
Source code metrics: A systematic mapping study
inferred← citeshttps://doi.org/10.1016/j.jss.2017.04.017openalex-snapshot
A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization
inferred← citeshttps://doi.org/10.1016/j.jss.2017.07.027openalex-snapshot
Exploring the usefulness of unlabelled test cases in software fault localization
inferred← citeshttps://doi.org/10.1016/j.jss.2018.02.001openalex-snapshot
Localizing multiple software faults based on evolution algorithm
inferred← citeshttps://doi.org/10.1016/j.jss.2018.09.055openalex-snapshot
Search-Based test case prioritization for simulation-Based testing of cyber-Physical system product lines
inferred← citeshttps://doi.org/10.1016/j.jss.2018.10.037openalex-snapshot
Exoneration-based fault localization for SQL predicates
inferred← citeshttps://doi.org/10.1016/j.jss.2019.01.069openalex-snapshot
Astor: Exploring the design space of generate-and-validate program repair beyond GenProg
inferred← citeshttps://doi.org/10.1016/j.jss.2019.04.065openalex-snapshot
Revisiting the impact of common libraries for android-related investigations
inferred← citeshttps://doi.org/10.1016/j.jss.2019.07.100openalex-snapshot
A systematic literature review of techniques and metrics to reduce the cost of mutation testing
inferred← citeshttps://doi.org/10.1016/j.jss.2019.110485openalex-snapshot
A systematic literature review on semantic web enabled software testing
inferred← citeshttps://doi.org/10.1016/j.jss.2020.110671openalex-snapshot
SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings
inferred← citeshttps://doi.org/10.1016/j.jss.2020.110817openalex-snapshot
A critical review on the evaluation of automated program repair systems
inferred← citeshttps://doi.org/10.1016/j.jss.2020.110864openalex-snapshot
How to kill them all: An exploratory study on the impact of code observability on mutation testing
inferred← citeshttps://doi.org/10.1016/j.jss.2021.111041openalex-snapshot
MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation
inferred← citeshttps://doi.org/10.1016/j.jss.2021.111091openalex-snapshot
Path-directed source test case generation and prioritization in metamorphic testing
inferred← citeshttps://doi.org/10.1016/j.jss.2022.111445openalex-snapshot
SuMo: A mutation testing approach and tool for the Ethereum blockchain
inferred← citeshttps://doi.org/10.1016/j.jss.2022.111533openalex-snapshot
The language mutation problem: Leveraging language product lines for mutation testing of interpreters
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111629openalex-snapshot
Automatically generating test cases for safety-critical software via symbolic execution
inferred← citeshttps://doi.org/10.1016/j.jvlc.2018.10.008openalex-snapshot
Type qualifiers as composable language extensions for code analysis and generation
inferred← citeshttps://doi.org/10.1016/j.neucom.2019.06.075openalex-snapshot
A novel aggregation-based dominance for Pareto-based evolutionary algorithms to configure software product lines
inferred← citeshttps://doi.org/10.1016/j.rser.2025.115889openalex-snapshot
A systematic mapping study on software-based feedback for energy consumption
inferred← citeshttps://doi.org/10.1016/j.scico.2004.05.015openalex-snapshot
How the design of JML accommodates both runtime assertion checking and formal verification
inferred← citeshttps://doi.org/10.1016/j.scico.2013.11.006openalex-snapshot
Alias calculus, change calculus and frame inference
inferred← citeshttps://doi.org/10.1016/j.scico.2013.11.037openalex-snapshot
Formalisation and analysis of Dalvik bytecode
inferred← citeshttps://doi.org/10.1016/j.scico.2014.04.008openalex-snapshot
Automatic generation of valid and invalid test data for string validation routines using web searches and regular expressions
inferred← citeshttps://doi.org/10.1016/j.scico.2018.02.004openalex-snapshot
A framework for defining coupling metrics
inferred← citeshttps://doi.org/10.1016/j.simpat.2016.08.006openalex-snapshot
Top-Down Characterization Approximation based on performance counters architecture for AMD processors
inferred← citeshttps://doi.org/10.1016/j.swevo.2017.11.003openalex-snapshot
A semi-supervised Genetic Programming method for dealing with noisy labels and hidden overfitting
inferred← citeshttps://doi.org/10.1016/s0065-2458(03)58004-4openalex-snapshot
Advances in GUI Testing
inferred← citeshttps://doi.org/10.1016/s0164-1212(96)00169-0openalex-snapshot
An enhanced zero-one optimal path set selection method
inferred← citeshttps://doi.org/10.1016/s0950-5849(98)00029-9openalex-snapshot
Slicing algebraic specifications
inferred← citeshttps://doi.org/10.1016/s0950-5849(99)00072-5openalex-snapshot
Software intensive embedded systems
inferred← citeshttps://doi.org/10.1080/13658810701851438openalex-snapshot
From named place to naming event: creating gazetteers for history
inferred← citeshttps://doi.org/10.1093/cybsec/tyae008openalex-snapshot
CipherTrace: automatic detection of ciphers from execution traces to neutralize ransomware
inferred← citeshttps://doi.org/10.1109/ase.2015.26openalex-snapshot
Generating Fixtures for JavaScript Unit Testing (T)
inferred← citeshttps://doi.org/10.1109/icst60714.2024.00037openalex-snapshot
Cost of Flaky Tests in Continuous Integration: An Industrial Case Study
inferred← citeshttps://doi.org/10.1117/12.2536387openalex-snapshot
The new C++ serialization library supporting backward and forward compatibility
inferred← citeshttps://doi.org/10.1145/1057387.1057392openalex-snapshot
A systematic approach to static access control
inferred← citeshttps://doi.org/10.1145/1132462.1132465openalex-snapshot
Efficient remote profiling for resource-constrained devices
inferred← citeshttps://doi.org/10.1145/186258.187206openalex-snapshot
An empirical evaluation of three methods for deadlock analysis of Ada tasking programs
inferred← citeshttps://doi.org/10.1145/248233.248262openalex-snapshot
A safe, efficient regression test selection technique
inferred← citeshttps://doi.org/10.1145/3232520openalex-snapshot
Automated Regression Test Case Generation for Web Application
inferred← citeshttps://doi.org/10.1145/3324884.3416667openalex-snapshot
Revisiting the relationship between fault detection, test adequacy criteria, and test set size
inferred← citeshttps://doi.org/10.1145/3345628openalex-snapshot
Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs
inferred← citeshttps://doi.org/10.1145/3355048openalex-snapshot
Differential Testing of Certificate Validation in SSL/TLS Implementations
inferred← citeshttps://doi.org/10.1145/3387904.3389257openalex-snapshot
Unified Configuration Setting Access in Configuration Management Systems
inferred← citeshttps://doi.org/10.1145/3392031openalex-snapshot
Multi-objective Integer Programming Approaches for Solving the Multi-criteria Test-suite Minimization Problem
inferred← citeshttps://doi.org/10.1145/3415153openalex-snapshot
Enabledness-based Testing of Object Protocols
inferred← citeshttps://doi.org/10.1145/3425174.3425211openalex-snapshot
Applying Many-objective Algorithms to the Variability Test of Software Product Lines
inferred← citeshttps://doi.org/10.1145/3432893openalex-snapshot
Automatic Vulnerability Detection in Embedded Devices and Firmware
inferred← citeshttps://doi.org/10.1145/3460120.3484740openalex-snapshot
HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators
inferred← citeshttps://doi.org/10.1145/3468264.3468544openalex-snapshot
A syntax-guided edit decoder for neural program repair
inferred← citeshttps://doi.org/10.1145/3468264.3468619openalex-snapshot
Graph-based seed object synthesis for search-based unit testing
inferred← citeshttps://doi.org/10.1145/3477132.3483540openalex-snapshot
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
inferred← citeshttps://doi.org/10.1145/3510003.3510187openalex-snapshot
Prioritizing mutants to guide mutation testing
inferred← citeshttps://doi.org/10.1145/3511805openalex-snapshot
A Taxonomy of Information Attributes for Test Case Prioritisation: Applicability, Machine Learning
inferred← citeshttps://doi.org/10.1145/3524459.3527353openalex-snapshot
Scaling genetic improvement and automated program repair
inferred← citeshttps://doi.org/10.1145/3524481.3527227openalex-snapshot
What do developer-repaired Flaky tests tell us about the effectiveness of automated Flaky test detection?
inferred← citeshttps://doi.org/10.1145/3526072.3527525openalex-snapshot
Learning to rank for test case prioritization
inferred← citeshttps://doi.org/10.1145/3533767.3534369openalex-snapshot
ATR: template-based repair for Alloy specifications
inferred← citeshttps://doi.org/10.1145/3540250.3558907openalex-snapshot
Effective and scalable fault injection using bug reports and generative language models
inferred← citeshttps://doi.org/10.1145/3550355.3552425openalex-snapshot
Validating the correctness of reactive systems specifications through systematic exploration
inferred← citeshttps://doi.org/10.1145/3579856.3582823openalex-snapshot
A Transformer-based Function Symbol Name Inference Model from an Assembly Language for Binary Reversing
inferred← citeshttps://doi.org/10.1145/3593799openalex-snapshot
UniLoc: Unified Fault Localization of Continuous Integration Failures
inferred← citeshttps://doi.org/10.1145/3620665.3640425openalex-snapshot
Multi-Dimensional and Message-Guided Fuzzing for Robotic Programs in Robot Operating System
inferred← citeshttps://doi.org/10.1145/3622781.3674177openalex-snapshot
Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries
inferred← citeshttps://doi.org/10.1145/3624737openalex-snapshot
Automatically Detecting Incompatible Android APIs
inferred← citeshttps://doi.org/10.1145/3637227openalex-snapshot
A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety
inferred← citeshttps://doi.org/10.1145/3639476.3639763openalex-snapshot
Beyond a Joke: Dead Code Elimination Can Delete Live Code
inferred← citeshttps://doi.org/10.1145/3646548.3676603openalex-snapshot
RIFDiscoverer: A Tool for Finding Resource Interaction Failures
inferred← citeshttps://doi.org/10.1145/3650212.3680310openalex-snapshot
Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
inferred← citeshttps://doi.org/10.1145/3660794openalex-snapshot
Predicting Failures of Autoscaling Distributed Applications
inferred← citeshttps://doi.org/10.1145/3660824openalex-snapshot
Mobile Bug Report Reproduction via Global Search on the App UI Model
inferred← citeshttps://doi.org/10.1145/3679007.3685065openalex-snapshot
Dynamic Possible Source Count Analysis for Data Leakage Prevention
inferred← citeshttps://doi.org/10.1145/3688834openalex-snapshot
Benchmarking and Categorizing the Performance of Neural Program Repair Systems for Java
inferred← citeshttps://doi.org/10.1145/3694715.3695944openalex-snapshot
OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
inferred← citeshttps://doi.org/10.1145/3695997openalex-snapshot
Improving Fault Localization with External Oracle by Using Counterfactual Execution
inferred← citeshttps://doi.org/10.1145/3702971openalex-snapshot
An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria
inferred← citeshttps://doi.org/10.1145/3702972openalex-snapshot
Patch Correctness Assessment: A Survey
inferred← citeshttps://doi.org/10.1145/3715730openalex-snapshot
Towards Diverse Program Transformations for Program Simplification
inferred← citeshttps://doi.org/10.1145/3728960openalex-snapshot
Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
inferred← citeshttps://doi.org/10.1145/3729362openalex-snapshot
UnitCon: Synthesizing Targeted Unit Tests for Java Runtime Exceptions
showing the first 200 of 215 · page through all 215
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.