yusuke1997/dblp-id-title huggingface dataset:
Improved verification of linear-time properties within fairness: weakly continuation-closed behaviour abstractions computed from trace reductions
Automatically identifying potential regressions in the layout of responsive web pages
In vivo test and rollback of Java applications as they are
Reliability assessment based on hazard rate model for an embedded OSS porting-phase
Special issue on testing, analysis and debugging of concurrent programs
Software Testing Tools: A New Classification Scheme
Editorial: The importance of empirical work for software engineering papers
Model-based testing for concurrent systems with labelled event structures
Test suite completeness and black box testing
OSMOSE: automatic structural testing of executables
Editorial: What do we want to get out of testing?
Editorial for the special issue of STVR on the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2017)
Empirical studies of test-suite reduction
Bounded model checking of C++ programs based on the Qt cross-platform framework
Complexity vulnerability analysis using symbolic execution
Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011)
Anomaly detection in performance regression testing by transaction profile estimation
Special issue on testing extra-functional properties
Editorial: The journal impact factor
ICST 2010 Special Issue
Structural coverage criteria for LUSTRE/SCADE programs
Testing-based process for component substitutability
A formal framework to test soft and hard deadlines in timed systems
Using concepts of content-based image retrieval to implement graphical testing oracles
Full predicate coverage for testing SQL database queries
Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis
System testing for object-oriented systems with test case prioritization
Verification support for ARINC-653-based avionics software
Using Compiler Optimization Techniques to Detect Equivalent Mutants
Globalization-ethics and plagiarism
Special issue on mutation testing and analysis
Exploring the missing link: an empirical study of software fixes
Metamorphic Testing and Web Element Localization
ATGen: automatic test data generation using constraint logic programming and symbolic execution
Sound and mechanised compositional verification of input-output conformance
A Metric-Based Software Evaluation Method
Software Testing: A Selected Annotated Bibliography
Improved code defect detection with fault links
LVT: A Layered Verification Technique for Distributed Computing Systems
Software Testing Using Analysis and Design Based Techniques
Towards using coupling measures to guide black-box integration testing in component-based systems
Change of Book Reviews Editor
Estimation of Failure Rate using Random and Partition Testing
Digraphs: theory, algorithms and applications
Functional test generation from UI test scenarios using reinforcement learning for android applications
Comparing the effectiveness of capture and replay against automatic input generation for Android graphical user interface testing
Editorial: Too Many Conference Choices?
Facilitating program performance profiling via evolutionary symbolic execution
Debugging-workflow-aware software reliability growth analysis
Toward the determination of sufficient mutant operators for C
Configuring effective navigation models and abstract test cases for web applications by analysing user behaviour
Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation
Guest Editorial: EuroSTAR '94
Editorial: Specification-based testing revisited?
Verifying OSEK/VDX automotive applications: A Spin-based model checking approach
Editorial: 'The Best Ever'
Search-based crash reproduction using behavioural model seeding
Rebuttal of the Book Review by R. Whitty of 'Software Testing Techniques' (2nd Edition)
Combining formal verification and conformance testing for validating reactive systems
Exhaustive test sets for algebraic specifications
Test generation with Satisfiability Modulo Theories solvers in model-based testing
A theory of regression testing for behaviourally compatible object types
IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing
Automatic monitoring of service reliability for web applications: a simulation-based approach
Theory and practice of risk-based testing
Editorial: Who Is An Author?
Automatic test case generation from Simulink/Stateflow models using model checking
A model-free and state-cover testing scheme for semaphore-based and shared-memory concurrent programs
Fault-based test generation for regular expressions by mutation
Test adequacy criteria for UML design models
Testing software components for integration: a survey of issues and techniques
JUGE: An infrastructure for benchmarking Java unit test generators
TRANSMUT-Spark: Transformation mutation for Apache Spark
Book Review: Linux: The Complete Reference, Third Edition, by Richard Petersen, Osborne/McGraw-Hill
A Contribution to the Evaluation of the Reliability of Iterative-Execution Software
The dreaded desk reject
Parallel mutation testing
A Systematic Exploration of Mutation-Based Fault Localization Formulae
Predicting metamorphic relations for testing scientific software: a machine learning approach using graph kernels
Can fault-exposure-potential estimates improve the fault detection abilities of test suites?
DEMINER: test generation for high test coverage through mutant exploration
Generating test data from state-based specifications
Quality assurance for Internet of Things and speech recognition systems
Reliability and Robustness of Engineering Software II, by C. A. Brebbia and A. J. Ferrante (Editors), Computational Mechanics Publications, 1991 (Book Review)
Pesto: Automated migration of DOM-based Web tests towards the visual approach
Determining the Reliability of Prolog Programs
A mutation framework for evaluating security analysis tools in IoT applications
Optimizing compilation with preservation of structural code coverage metrics to support software testing
Editorial: Introduction and plans for the future
Improving penetration testing through static and dynamic analysis
Integration testing and metamorphic testing
Model-based hypothesis testing of uncertain software systems
System Safety: HAZOP and Software HAZOP, Felix Redmill, Morris Chudleigh and James Catmur, Wiley, 1999 (Book Review)
Editorial: Testing for real!
MuMonDE: A framework for evaluating model clone detectors using model mutation analysis
Editorial for the special issue of STVR on the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015)
Parametrized Mutation Testing
Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques
Killing strategies for model-based mutation testing
An exploration of effective fuzzing for side-channel cache leakage
Automated discovery of state transitions and their functions in source code
Editorial: V is for Verification
A practical model-based statistical approach for generating functional test cases: application in the automotive industry
On strong mutation and the theory of subsuming logic-based mutants
Quality metrics for mutation testing with applications to WS-BPEL compositions
Farewell and thanks for all the reviews
A Non-Parametric Order Statistics Software Reliability Model
Automated test case generation for FBD programs implementing reactor protection system software
Inspecting Module Interface Specifications
A Software Inspection Process Definition Language and Prototype Support Tool
Using Program Slicing to Simplify Testing
Fuzzy Bayesian system reliability assessment based on prior two-parameter exponential distribution under different loss functions
Methods and Tools for Software Configuration Management, by J. Whitgift, Wiley (Book Review)
Assessing test suites of extended finite state machines against model- and code-based faults
How to Avoid Systematic Software Testing
Test suite minimization for testing in context
A random testing approach using pushdown automata
A novel approach to software quality risk management
Editorial: Science Fiction and Fantasy
Protocol Specification, Testing and Verification XV, by Piotr Dembinski and Marek Sredniawa (Editors), Chapman and Hall, 1996 (Book Review)
An investigation of distributed computing for combinatorial testing
Classification Trees for Partition Testing
How to write an effective "Response to Reviewers" letter
Model checking, testing and debugging
MetaSem: metamorphic testing based on semantic information of autonomous driving scenes
Editorial: Beware of predatory journals
Studying the separability relation between finite state machines
Cutting Your Test Development Time with HP VEE, an Iconic Programming Language, Hewlett-Packard, 1994 (Book Review)
ISO 9001 and Software Quality Assurance, by Darrel Ince, McGraw-Hill, 1994 (Book Review)
Program Testing versus Proofs of Correctness
Scenario-Driven Metamorphic Testing for Autonomous Driving Simulators
Improving test automation maturity: A multivocal literature review
Generating input data structures for automated program testing
Automatically Detecting Equivalent Mutants and Infeasible Paths
Heterogeneous fault prediction with cost-sensitive domain adaptation
Employing Static Information in the Generation of Test Cases
The progress, challenges, and perspectives of directed greybox fuzzing
Eight maxims for software inspectors
Covering and Uncovering Equivalent Mutants
Automated black-box testing of nominal and error scenarios in RESTful APIs
Statistical Methods for Testing, Development and Manufacturing, by Forrest W. Breyfogle III, Wiley, 1992 (Book Review)
The h -index beats the impact factor
Editorial: OOP and discrete math
Working Across Boundaries
A Practitioner's Guide to Software Test Design. By Lee Copeland. Published by Artech House, Norwood, MA, USA, 2004, ISBN 1-58053-791-X, 320 pages
SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation-based approach
UCov: a user-defined coverage criterion for test case intent verification
Possibility of cost reduction by mutant clustering according to the clustering scope
Test environments for large-scale software systems - An industrial study of intrinsic and extrinsic success factors
Software Reliability - What Is It?
Reducing mutation costs through uncovered mutants
Formal Methods in Human-Computer Interaction, by Philippe Palanque and Fabio Paterno (Editors), Springer-Verlag, 1998 (Book Review)
Delta4Ms: Improving mutation-based fault localization by eliminating mutant bias
Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement. By Jeff Tian. Wiley/IEEE Computer Society Press, 2005. ISBN: 0-471-71345-7, pp 412
The Revealing Power of a Test Case
Combination testing strategies: a survey
Reply to the Rebuttal of the Review of Beizer's 'Software Testing Techniques' (2nd Edition)
On automation in software engineering
Integrating testing with reliability
Efficient coverage of parallel and hierarchical stateflow models for test case generation
Analysing the combination of cost reduction techniques in Android mutation testing
Prioritizing test cases for early detection of refactoring faults
Achieving Quality in Software: Proceedings of the Third International Conference on Achieving Quality in Software, by Sandro Bologna and Giacomo Bucci (Editors), Chapman and Hall, 1996 (Book Review)
Editorial: On mutants, metaphors and scientific creativity
Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700
Editorial: Why should I review papers?
Causal inference based fault localization for numerical software with NUMFL
An Experimental Evaluation of Capture-Recapture in Software Inspections
Fault localization based on information flow coverage
Editorial: Is software testing essential or accidental?
Coverage-based regression test case selection, minimization and prioritization: a case study on an industrial system
Analysis and testing of black-box component-based systems by inferring partial models
Systematic Testing of Data Abstractions Based on Software Specifications
A survey of race bug detection techniques for multithreaded programmes
RepOK-based reduction of bounded exhaustive testing
Model-based mutation testing from security protocols in HLPSL
On reducing test length for FSMs with extra states
An Empirical Comparison of Data Flow and Mutation-Based Test Adequacy Criteria
A Literature Review of Software Testing Practices and Frameworks in the Video Gaming Industry
Neural network for software reliability analysis of dynamically weighted NHPP growth models with imperfect debugging
Why do people publish in facade journals?
A change-point perspective on the software failure process
Editorial: STVR Editor changes
Editorial: STVR policy on extending conference papers to journal submissions
Test generation from recursive tile systems
Globalization - standards for research quality
Exploring risk-based testing and its implications
Editorial: Research publication standards - making the right judgements
Reconciling perspectives of software logic testing
Unsafe code detection in Rust and metamorphic testing of autonomous driving systems
Editorial: confidentiality and plagiarism
The Renaissance of Legacy Systems: Method Support for Software-System Evolution, Ian Warren, Springer-Verlag, 1999 (Book Review)
Automated visual classification of DOM-based presentation failure reports for responsive web pages
Automatic fault localization for client-side JavaScript
Applying Inspection to Object-Oriented Code
A verified and optimized Stream X-Machine testing method, with application to cloud service certification
It really does matter how you normalize the branch distance in search-based software testing
Fault-driven stress testing of distributed real-time software based on UML models
RVprio: A tool for prioritizing runtime verification violations
An Investigation of Statistical Software Testing
QuickChecking static analysis properties
Editorial: Validating our findings
Specification guidelines to avoid the state space explosion problem
The integration of machine learning into automated test generation: A systematic mapping study
What is the value of the peer-reviewing system?
Impediments for software test automation: A systematic literature review
Software Testing, by Marc Roper, McGraw-Hill, 1994 (Book Review)
Software Reliability Prediction by Adaptive Gated Recurrent Unit-Based Encoder-Decoder Model With Ensemble Empirical Mode Decomposition
Editorial: How to extend a conference paper to a journal paper
Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012)
Specification based test sequence generation with propositional logic
Some Issues in Software Reliability Assessment
Test data regeneration: generating new test data from existing test data
Editorial: Testing in the large through the small?
Editorial: Agility must be good for testing
Configuration Testing of an Artificial Pancreas System Using a Digital Twin: An Evaluative Case Study
Automated metamorphic testing of variability analysis tools
Unit and integration testing strategies for C programs using mutation
Estimating the number of components with defects post-release that showed no defects in testing
Verification of Reactive Systems: Formal Methods and Algorithms. By Klaus Schneider. Springer, Texts in Theoretical Computer Science Series, 2004, ISBN: 3-540-00296-0, pp 600
Editorial: Time and time again
Modeling and verification using UML Statecharts. By Doron Drusinsky. Published by Newnes Publishers, 2006, ISBN 0-7506-7617-5, 306 pages
Editorial: Uncertainty and chaos
Empirical analysis of practitioners' perceptions of test flakiness factors
Prioritizing MCDC test cases by spectral analysis of Boolean functions
Mutation-Guided Metamorphic Testing of Optimality in AI Planning
Test case prioritization and mutation testing
Investigating the effectiveness of object-oriented testing strategies using the mutation method
Performance mutation testing
Advances in noise-based testing of concurrent software
From genetic to bacteriological algorithms for mutation-based testing
Reducing the maintenance effort for parameterization of representative load tests using annotations
Assessing and generating test sets in terms of behavioural adequacy
Editorial: 'The times they are a-changing'
Effective fault localization and context-aware debugging for concurrent programs
Applying simulation and design of experiments to the embedded software testing process
Improving the Testing Process Based Upon Standards
Bridging the gap between easy generation and efficient verification of unsatisfiability proofs
Adversarial example-based test case generation for black-box speech recognition systems
Extending model checkers for hybrid system verification: the case study of SPIN
Black-box testing using flowgraphs: an experimental assessment of effectiveness and automation potential
Handbook of Software Reliability Engineering, by Michael R. Lyu (Editor), McGraw-Hill and IEEE Computer Society, 1996 (Book Review)
GUICop: Approach and toolset for specification-based GUI testing
Automatic testing of GUI-based applications
Editorial: Need for a Testing Metric - Error Detection Rate
Using component metadata to regression test component-based software
GOTO considered alive and well
Regression test suite prioritization using system models
Adaptive or embedded software testing and mutation testing
Integrating techniques and tools for testing automation
Coloured Petri nets for abstract test generation in software engineering
ami Handbook: a Quantitative Approach to Software Management, by A. Combelles, J. Holdsworth and S. Shirlaw (Editors), Published by South Bank University, 1992 (Book Review)
Managing Risk: Methods for Software Systems Development, by Elaine M. Hall, Addison Wesley Longman, 1998 (Book Review)
Ranking of software engineering metrics by fuzzy-based matrix methodology
Editorial: Crisis - What Crisis?
Validity Matters: Uncertainty-Guided Testing of Deep Neural Networks
Testing Safety-Related Software: a Practical Handbook, by S. Gardiner (Editor), Springer-Verlag, 1999 (Book Review)
Decreasing the cost of mutation testing with second-order mutants
On the number and nature of faults found by random testing
Syntactic reductions for efficient deadlock analysis
Case study of testing a distributed internet-system
Editorial: Testing my new building
Inclusion, subsumption, JJ-paths, and structured path testing: a Redress
An automated analysis methodology to detect inconsistencies in web services with WSDL interfaces
A measurement-based ageing analysis of the JVM
Evaluating code-based test input generator tools
Generating and selecting resilient and maintainable locators for Web automated testing
Metamorphic Testing on Scientific Programs for Solving Second-Order Elliptic Differential Equations
Editorial: About the contents of this double issue - 'Testing Object-Oriented Software: A Survey' by Robert V. Binder
Testing of adaptive and context-aware systems: approaches and challenges
Leveraging disposable instrumentation to reduce coverage collection overhead
A Specification Case Study Using the B-Methodology
Guest Editorial for the Special Issue on Model-Based Testing
An efficient regression testing approach for PHP web applications: a controlled experiment
An Improvement of Partial-Order Verification
Controlling test case explosion in test generation from B formal models
Recognizing authors: an examination of the consistent programmer hypothesis
MobSTer: A model-based security testing framework for web applications
Editorial: Little bugs and big bugs
Search-based software test data generation for string data using program-specific search operators
Systematic Testing: A Means for Validating Reactive Systems
Testing it: an off-the-shelf software testing process
Program Slicing-Based Regression Testing Techniques
Toward a Cooperative Testing Process
Testing microservice architectures for operational reliability
An Integrated Methodology for the Specification, Verification and Testing of Systems
Improving life cycle assessment consistency for biomass-derived processes: A case study on triacetic acid lactone production with CO2 recycling
Open benchmarks for assessment of process monitoring and fault diagnosis techniques: A review and critical analysis
Integrated design and control using a dynamic inversely controlled process model
Data-driven process monitoring and fault analysis of reformer units in hydrogen plants: Industrial application and perspectives
Novel resilient-sustainable strategies for second-generation biofuel network design considering Neem and Eruca Sativa under hybrid stochastic fuzzy robust approach
A systematic approach for soft sensor development
Computing the distance between a nonlinear model and its linear approximation: an L 2 approach
Data evaluation for wastewater treatment plants: Linear vs bilinear mass balances
Sensor data fusion in electrochemical applications: An overview and its application to electrochlorination monitoring
Polymer reaction engineering meets explainable machine learning
Advanced hybrid optimization methods for the design of complex separation processes
Local class-specific discriminant analysis with variable weighting and its application in fault diagnosis
Equation-based and data-driven modeling: Open-source software current state and future directions
Deconstructing principal component analysis using a data reconciliation perspective
Differential-geometric model-based control (DGMBC): A software package for controller design
A stochastic programming approach to integrated water supply and wastewater collection network design problem
A graph theory approach for scenario aggregation for stochastic optimisation
The Shrink-Wrap algorithm for the construction of the attainable region: an application of the IDEAS framework
Dynamic modeling of an industrial diesel hydroprocessing plant by the method of continuous lumping
Sensor network design for contaminant detection and identification in water distribution networks
A system dynamics simulation model of chemical supply chain transportation risk management systems
Simultaneous data reconciliation and gross error detection for dynamic systems using particle filter and measurement test
A neural network-based optimizing control system for a seawater-desalination solar-powered membrane distillation unit
Crystallization and precipitation engineering
Robust decision making for hybrid process supply chain systems via model predictive control
Monte-Carlo-simulation-based optimization for copolymerization processes with embedded chemical composition distribution
An equation-oriented approach for handling thermodynamics based on cubic equation of state in process optimization
Bifurcation analysis of dynamic process models using Aspen Dynamics ® and Aspen Custom Modeler ®
A novel algorithm for dead time estimation between soft sensor inputs and output
Using wavelet transforms for multiresolution materials modeling
Quantitative comparison of reinforcement learning and data-driven model predictive control for chemical and biological processes
Robust multi-stage model-based design of optimal experiments for nonlinear estimation
Spatiotemporal uncertainty-aware predictive control for industrial distributed parameters systems
Closed-loop reactor network synthesis with guaranteed robustness
Direct numerical simulation of catalytic combustion in a multi-channel monolith reactor using personal computers with emerging architectures
Multi-actor approach to manage the water-energy-food nexus at territory scale
Random Forests for mapping and analysis of microkinetics models
Simultaneous optimization of scheduling, equipment dimensions and operating conditions of sequential multi-purpose batch plants
Optimal chemical reaction pathway for palm process residue recovery using Process Graph (P-graph) framework
The local mass transfer coefficient in spherical film flow by the moving finite element method
Quasi-decentralized model-based networked control of process systems