yusuke1997/dblp-id-title huggingface dataset:
Testing coupling relationships in object-oriented programs
Event tree algorithms to generate test sequences for composite Web services
Combinatorial testing and model checking
Editorial: Testing, Debugging, and Defect Prediction
How to revise a research paper
Defining Testability Metrics Axiomatically
Editorial: The First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003)
Error-preserving local transformations on communication protocols
Automated Software Testing: Introduction, Management and Performance, Elfriede Dustin, Jeff Rashka and John Paul, Addison-Wesley, 1999 (Book Review)
A combinatorial testing strategy for concurrent programs
Applying formal methods to PCEP: an industrial case study from modeling to test generation
Using Program Slicing to Assist in the Detection of Equivalent Mutants
A novel reliability analysis approach for component-based software based on the complex network theory
Software Testing Foundations: A Study Guide for the Certified Tester Exam. By Andreas Spillner, Tilo Linz and Hans Schaefer. Published by dpunkt.verlag, Heidelberg, Germany, 2006, ISBN: 3-89864-363-8, pp 266
Using combinatorial testing to build navigation graphs for dynamic web applications
Editorial: What is the purpose of publishing?
Editorial: New Chapter Ahead
Regression Test Selection for C++ Software
Effective automated repair of internationalization presentation failures in web applications using style similarity clustering and search-based techniques
Pattern-based GUI testing: Bridging the gap between design and quality assurance
Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers
Seeding strategies in search-based unit test generation
Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review)
A study and toolkit of CHECK-THEN-ACT idioms of Java concurrent collections
Special Issue: IEEE International Conference on Software Testing, Validation & Verification 2018
Mutation analysis and its industrial applications
Multivariate Assessment of Software Products
All-uses testing of shared memory parallel programs
Book Review: Experimentation in Software Engineering: An Introduction. By Claes Wohlin, Per Runeson, Martin Höst, Magnus C. Ohlsson, Björn Regnell and Anders Wesslén. Kluwer Academic Publishers, 1999, ISBN 0-7923-8682-5
Automated functional testing of online search services
Editorial: 'Collaboration, collaboration, collaboration'
Combinatorial methods for testing Internet of Things smart home systems
Safer C: Developing Software for High-Integrity and Safety-Critical Systems, by Les Hatton, McGraw-Hill, 1995 (Book Review)
Teaching formal methods lite via testing
A Tribute to Martin Woodward
Model-based testing, test case prioritization and testing of virtual reality applications
Entropy based enhanced particle swarm optimization on multi-objective software reliability modelling for optimal testing resources allocation
OS-in-the-Loop verification for multi-tasking control software
Artificial Intelligence Methods In Software Testing. Edited by Mark Last, Abraham Kandel and Horst Bunke. Published by World Scientific Publishing, Singapore, Series in Machine Perception and Artificial Intelligence, Volume 56, 2004, ISBN 981-238-854-0
Evaluating the Reliability of the Software of a Switching System with a Multi-variable Model
Reliability, Quality and Safety of Software-intensive Systems, by Dimitris Gritzalis (Editor), Chapman and Hall, 1997 (Book Review)
Effect of Fault Distribution and Execution Patterns on Fault Exposure in Software: A Simulation Study
How detrimental is coincidental correctness to coverage-based fault detection and localization? An empirical study
An ensemble-based predictive mutation testing approach that considers impact of unreached mutants
Improving the coverage criteria of UML state machines using data flow analysis
The Art of Software Testing, Second edition. Glenford J. Myers. Revised and updated by Tom Badgett and Todd M. Thomas, with Corey Sandler. John Wiley and Sons, New Jersey, USA, 2004, ISBN 0-471-46912-2
On Testing Process Control Software for Reliability Assessment: the Effects of Correlation between Successive Failures
Efficient mutation testing of multithreaded code
Software Metrics: a Practitioner's Guide to Improved Product Development, by K. H. Möller and D.J. Paulish, Chapman and Hall, 1992 (Book Review)
Property generation/verification and empirical studies
Editorial: Accepting shortened papers hurts science
Editorial: Perhaps some parallels do converge?
Editorial: Looking for surprises in testing?
Deep neural network supervision and data flow testing
Improving fault prediction using Bayesian networks for the development of embedded software applications
Guest Editorial: An industrial viewpoint
Formal firewall conformance testing: an application of test and proof techniques
Replay-Based Debugging of Occam Programs
The density algorithm for pairwise interaction testing
Employing Accumulated Knowledge to Refine Test Descriptions
Dependable Computing and Fault-Tolerant Systems, Vol. 5 - Dependability: Basic Concepts and Terminology, by J. C. Laprie (Editor), Springer-Verlag, 1992 (Book Review)
Efficient model checking of properties of a distributed application: a multimedia case study
Memory models in symbolic execution: key ideas and new thoughts
Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications
TIM - A Test Improvement Model
Specification and Testing Using Generalised Machines: A Presentation and a Case Study
Editorial: A test of time across the generations
Coincidental correctness in the Defects4J benchmark
Dynamic Method of Software Test Data Generation
Error Masking in Computer Programs
In vivo testing and integration of proving and testing
Bud hunting with directed fuzz testing and source code vulnerability detection with advanced graph neural networks
A framework for automatic generation of security controller
Software testing - testing across the entire software development lifecycle. By Gerald D Everett & Raymond McLeod Jr. Published by IEEE Press and Wiley Interscience, Hoboken, NJ, USA ISBN: 978-0-471-79371-7, 260 pages
Editorial: Testing practice and research
Checked coverage: an indicator for oracle quality
Structured Inspections of Code
Specification in B: An Introduction Using the B Toolkit, by Kevin Lano and Howard Haughton, Imperial College Press, distributed by World Scientific Publishing, 1996 (Book Review)
CoopREP: Cooperative record and replay of concurrency bugs
CSSG: A cost-sensitive stacked generalization approach for software defect prediction
High-coverage metamorphic testing of concurrency support in C compilers
Empirical evaluation of mutation-based test case prioritization techniques
Interface mutation
Classical and Object-Oriented Software Engineering with UML and C++, Stephen R. Schach, McGraw-Hill, 1998 (Book Review)
What I have learned from usability
Editorial: Standards for reviewing papers
A formal analysis of MCDC and RCDC test criteria
Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press
Testing Object-Oriented Software, by David C. Kung, Pei Hsia and Jerry Gao, IEEE Computer Society, 1998 (Book Review)
Simulink fault localization: an iterative statistical debugging approach
Editorial: Ethics and Publishing
Refinement in statechart testing
Exploiting design patterns to automate validation of class invariants
Achieving Software Quality Through Teamwork. By Isabel Evans. Artech House, 2004, ISBN: 1-58053-662-X, pp 296
Rapid Evolutionary Development: Requirements; Prototyping and Software Creation, by Lowell Jay Arthur, Wiley, 1992 (Book Review)
Black-Box Testing: Techniques for Functional Testing of Software and Systems, by Boris Beizer, Wiley, 1995 (Book Review)
Software Reliability and Testing, by Hoang Pham (Editor), IEEE Computer Society, 1995 (Book Review)
Software Test Automation: Effective Use of Test Execution Tools, Mark Fewster and Dorothy Graham, Addison-Wesley, 1999 (Book Review)
Testing with model checkers: a survey
testar - scriptless testing through graphical user interface
A lightweight framework for dynamic GUI data verification based on scripts
A mapping study on mutation testing for mobile applications
A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering
Editorial: Verification, reliability and performance
Towards the prioritization of system test cases
Alternative Parameter Estimation Methods for the Compound Poisson Software Reliability Model with Clustered Failure Data
Improving lazy abstraction for SCR specifications through constraint relaxation
T-wise combinatorial interaction test suites construction based on coverage inheritance
Understanding the effects of changes on the cost-effectiveness of regression testing techniques
The IEEE 12th International Conference on Software Testing, Verification & Validation
A formal approach to automatically analyse extra-functional properties in mobile applications
Combinatorial methods for dynamic gray-box SQL injection testing
Formal specification and analysis of functional properties of graph rewriting-based model transformation
A general modeling and analysis framework for software fault detection and correction process
Modelling methods for web application verification and testing: state of the art
Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators
Editorial: What does testing tell us?
How to manage a conference special issue
Editorial: Reflections on the past, present and future
Testing of data-centric and event-based dynamic service compositions
A systematic representation of path constraints for implicit path enumeration technique
A heterogeneous single changepoint software reliability growth model framework
Design and industrial evaluation of a tool supporting semi-automated website testing
Search-Based MC/DC Test Data Generation With OCL Constraints
The Automated Generation of Test Cases for Compilers
A Conceptual Model of Software Testing
Why does the orientation change mess up my Android application? From GUI failures to code faults
Verification of real-time systems design
Automatic string test data generation for detecting domain errors
Efficiency of Mutation Operators and Selective Mutation Strategies: An Empirical Study
Globalization - logical flow, motivation, and assumptions
MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software
Timing analysis of scenario-based specifications using linear programming
Investigating the impact of transient hardware faults on deep learning neural network inference
Algebraic Specifications and Sequencing: A Defect Detection Method
Farewell after an 11-year journey as joint editor-in-chief
Software Complexity: Measures and Methods, by Horst Zuse, Published by Walter de Gruyter, 1990 (Book Review)
Simulated time for host-based testing with TTCN-3
A test purpose-based approach for testing timed input output automata
Software Fault Injection: Inoculating Programs Against Errors, by Jeffrey Voas and Gary McGraw, Wiley, 1998 (Book Review)
An empirical evaluation of six methods to detect faults in software
Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers
Checking security properties by model checking
What is a facade journal?
Editorial: ... and the wheel keeps turning
Test infrastructure and environment
The globalization of software engineering
Symbolic execution of floating-point computations
Fault localization using a model checker
Editorial: Software testing as related to project risk
Test case selection strategies based on Boolean specifications
An empirical study of Linespots: A novel past-fault algorithm
Heuristics for fault diagnosis when testing from finite state machines
Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing
Software in Safety-Related Systems, by Brian Wichmann (Editor), Wiley, 1992 and Safety-Critical Systems: Current Issues, Techniques and Standards, Felix Redmill and Tom Anderson (Editors), Chapman & Hall, 1993 and Directions in Safety-Critical Systems, by Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1993 and Technology and Assessment of Safety-Critical Systems, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1994 and Achievement and Assurance of Safety, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1995 and Journal: High Integrity Systems, Andrew D. McGettrick (Editor), Oxford University Press (Books and Journal Review)
Problems and Strategies for Software Component Testing Standards
Using mutation to assess fault detection capability of model review
Software Process Improvement: Practical Guidelines for Business Success, by Sami Zahran, Addison-Wesley, 1997 (Book Review)
Correct Systems: Building a Business Process Solution, by Mike Holcombe and Florentin Ipate, Springer-Verlag, 1998 (Book Review)
Concurrent and Real-Time Systems: The CSP Approach, Steve Schneider, Wiley, 2000 (Book Review)
Editorial: how to get your paper rejected from STVR
Validating Software Measures
Is paper reviewing a transaction, a service, or an opportunity?
A taxonomy of model-based testing approaches
Tool support for the Test Template Framework
Performance assessment based on stochastic differential equation and effort data for edge computing
A Method for Continuous Real-Time Supervision
On the use of a similarity function for test case selection in the context of model-based testing
Experimental evaluation of the tolerance for control-flow test criteria
Regression verification: proving the equivalence of similar programs
TimelyRep: Timing deterministic replay for Android web applications
Random or evolutionary search for object-oriented test suite generation?
A Relationship Between Software Coverage Metrics and Reliability
A rigorous method for test templates generation from object-oriented specifications
Statechart testing method for aircraft control systems
ICST 2008 Special Issue
Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs
An analysis technique to increase testability of object-oriented components
Remote embedded devices test framework on the cloud
Prioritizing manual test cases in rapid release environments
Conference Virtualization
RATE: A model-based testing approach that combines model refinement and test execution
Proper references is a matter of scholarship, ethics, and courtesy
Effective test case selection for component customization and its application to Enterprise JavaBeans
UNICORN: a unified approach for localizing non-deadlock concurrency bugs
Localizing software performance regressions in web applications by comparing execution timelines
Stochastic modelling and simulation approaches to analysing enhanced fault tolerance on service-based software systems
Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection
Integration testing of object-oriented components using finite state machines
Metrics Collection in Code and Unit Test as Part of Continuous Quality Improvement
Cause reduction: delta debugging, even without bugs
On the testing of user-configurable software systems using firewalls
Managing Software Quality, by Brian Hambling, McGraw-Hill, 1996 (Book Review)
Method Integration: Concepts and Case Studies, by Klaus Kronlöf (Editor), Wiley, 1993 (Book Review)
Practical ultra-reliability for abstract data types
Path-sensitive Alias Analysis for Data Flow Testing
Systematic testing of actor systems
A new perspective on the competent programmer hypothesis through the reproduction of real faults with repeated mutations
Sidereal: Statistical adaptive generation of robust locators for web testing
Search-based software test data generation: a survey
Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines
Independent Verification and Validation: a Life Cycle Engineering Process for Quality Software, by R. O. Lewis, Wiley, 1992 (Book Review)
Status and Awards
Scenario-based testing using symbolic animation of B models
Editorial: What is the Developer-to-Tester Ratio?
Editorial: globalization - language and dialects
Status of the journal
Using Symbolic Execution and Data Flow Criteria to Aid Test Data Selection
Editorial: The merits of diversity
A Comprehensive Formal Specification of ARINC 653 With Conformity Proof
On transforming model-based tests into code: A systematic literature review
Fault Coupling in Finite Bijective Functions
Towards a Transformational Approach to Program Verification
A systematic literature review of how mutation testing supports quality assurance processes
An approach for testing pointcut descriptors in AspectJ
Finding failures from passed test cases: improving the pattern classification approach to the testing of mesh simplification programs
Combinatorial testing and machine learning for automated test generation
Towards automatic software model checking of thousands of Linux modules - a case study with Avinux
MRGS-ART: Metamorphic Relation and Group Selection Based on Adaptive Random Testing
Editorial: Formal methods and testing
Verification and Validation for Quality of UML 2.0 Models. By Bhuvan Unhelkar. Wiley, 2005, ISBN: 0-471-72783-0, 271 pp
Effective grey-box testing with partial FSM models
Metallaxis-FL: mutation-based fault localization
Tool support for executable documentation of Java class hierarchies
Model checking fault tolerant systems
State Generation and Automated Class Testing
Software Reliability Models: A Selected Annotated Bibliography
Globalization - references and citations
GPU acceleration of finite state machine input execution: Improving scale and performance
Boundary Values and Automated Component Testing
Flipping the testing classroom
Non-expert reviews considered helpful
BUGSJS: a benchmark and taxonomy of JavaScript bugs
Editorial: Do we need to teach ethics to PhD students?
Control Flow and Data Flow Oriented Integration Test Methods
Speeding up test execution with increased cache locality
Software Testing Techniques, by Boris Beizer, Van Nostrand Reinhold, Second Edition, 1990 and Testing Computer Software, by C. Kaner, J. Falik and H. Q. Nguyen, Van Nostrand Reinhold, Second Edition, 1993 (Book Review)
Editorial: Software testing in the United Kingdom
Fostering the diversity of exploratory testing in web applications
Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults
Editorial: Addressing industrial challenges - UKTest 2005 and beyond
Using symbolic execution to guide test generation
Tensor-based gated graph neural network for automatic vulnerability detection in source code
Editorial for special issue of STVR on software testing, verification, and validation - volume 1 (extended selected papers from ICST 2011)
Validating Functional Equivalence of Re-engineered Programs via Control Path, Result, and Data Flow Comparison
Leveraging metamorphic testing to automatically detect inconsistencies in code generator families
Formal analysis of some secure procedures for certificate delivery
Defect prediction as a multiobjective optimization problem
Incremental testing of finite state machines
Learning-based mutant reduction using fine-grained mutation operators
A fuzzing-based test-creation approach for evaluating digital TV receivers via transport streams
Testing Object-Oriented Software: A Survey
A case study in model-based testing of specifications and implementations
Special issue for the ICST 2013 conference
Fully Automated HTML and JavaScript Rewriting for Constructing a Self-healing Web Proxy
An Example of Testing Versus Verification
Preventing untestedness in data-flow based testing
The Handbook of MIS Application Software Testing: Methods, Techniques, and Tools for Assuring Quality Through Testing, by Daniel J. Mosley, Prentice Hall, 1992 (Book Review)
An improved Pareto distribution for modelling the fault data of open source software
Handling test length bloat
Importance measures for modular software with uncertain parameters
Fuzz testing for digital TV receivers and multitasking control software verification
Metamorphic relation prioritization for effective regression testing
Model checking Trampoline OS: a case study on safety analysis for automotive software
Survey on test case generation, selection and prioritization for cyber-physical systems
Obstacles and opportunities in deploying model-based GUI testing of mobile software: a survey
Combinatorial testing and model-based testing
Information Security in Research and Business, by Louise Yngström and Jan Carlsen (Editors), Thomson Science & Professional, 1997 (Book Review)
Surviving the Top Ten Challenges of Software Testing: a People-Oriented Approach, by William E. Perry and Randall W. Rice, Dorset House, 1997 (Book Review)
DialTest-EA: An Enhanced Fuzzing Approach With Energy Adjustment for Dialogue Systems via Metamorphic Testing
A tribute to Mary Jean Harrold
Ensuring the Correctness and Reliability of CBPS System Using Event-B
The Managing Director Wants 100 per cent Automated Testing: A Case History
SegTest: Metamorphic Testing of Image Segmentation via Guided Instance-Level Test Data Augmentation
ICST 2009 Special Issue
MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-Based Systems
Metamorphic testing and test automation
An end-user-centric test generation methodology for performance evaluation of mobile networked applications
Color figures considered harmful
From Object-Z Specifications to ClassBench Test Suites
How can we recognize facade journals?
Estimating the Number of Remaining Defects after Inspection
Software Quality and Reliability: Tools and Methods, by Darrel Ince (Editor), Chapman and Hall, 1991 (Book Review)
Software Quality: A Framework for Success in Software Development and Support, by Joc Sanders and Eugene Curran, Addison-Wesley, 1994 (Book Review)
Object-Oriented Metrics: Measures of Complexity, by Brian Henderson-Sellers, Prentice Hall, 1996 (Book Review)
Boosting Metamorphic Relation Prediction via Code Representation Learning: An Empirical Study
I love journal papers and you should too
On subsumption relationships in data flow testing
JDAMA: Java database application mutation analyser
Software Inspection: An Industry Best Practice, by David A. Wheeler, Bill Brykczynski and Reginald N Meeson, Jr., IEEE Computer Society, 1996 (Book Review)
The Effect of Fault Size on Testing
Editorial: A six-year perspective - the readership and content of STVR
Editorial: People are approximators, not perfectors
Conditioned slicing supports partition testing
MuJava: an automated class mutation system
Introduction to the special issue on Mutation Testing
Behaviour abstraction adequacy criteria for API call protocol testing
Editorial: The Downward Death Spiral Review Process
User Interface Software, by Len Bass and Prasun Dewan (Editors), Wiley, 1993 (Book Review)
Combining weak and strong mutation for a noninterpretive Java mutation system
Automatic test case evolution
The world changes
Testing and verification in service-oriented architecture: a survey
Specification and testing of autonomous agents in e-commerce systems
An automated framework to support testing for process-level race conditions
Verification algebra for multi-tenant applications in VaaS architecture
Response to 'GOTO considered alive and well' by R. Bache
Model-based security testing: a taxonomy and systematic classification
A hybrid approach to testing for nonfunctional faults in embedded systems using genetic algorithms
Object-Oriented Development Process and Metrics, by Dennis de Champeaux and Penelope K. Faure, Prentice Hall, 1997 (Book Review)
Why don't we publish more TDD research papers?
HOTFUZ: Cost-effective higher-order mutation-based fault localization
Specification for Testing - The Removal of Abstraction
Pragmatic Software Testing. By Rex Black. Published by Wiley. ISBN: 978-0-470-12790-2, 366 pages
Regression testing minimization, selection and prioritization: a survey