Software system testing and quality assurance
Software system testing and quality assurance
Communications of the ACM
A generalised mathematical theory of structured programming
Theoretical Computer Science
SEES A Software testing Environment Support System
IEEE Transactions on Software Engineering
Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
An Approach to the Modeling of Software Testing with Some Applications
IEEE Transactions on Software Engineering
System Testing Aided by Structured Analysis: A Practical Experience
IEEE Transactions on Software Engineering - Special issue on COMPSAC 1982 and 1983
Environmental Testing Techniques for Software Certification
IEEE Transactions on Software Engineering - Special issue on COMPSAC 1982 and 1983
Software testing and evaluation
Software testing and evaluation
A functional approach to program testing and analysis
IEEE Transactions on Software Engineering
Certifying the reliability of software
IEEE Transactions on Software Engineering
Specification directed module testing
IEEE Transactions on Software Engineering
Extensions to an approach to the modeling of software testing with some performance comparisons
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Axiomatizing software test data adequacy
IEEE Transactions on Software Engineering
Functional program testing and analysis
Functional program testing and analysis
Test sets generation from algebraic specifications using logic programming
Journal of Systems and Software
Testing in software development
Testing in software development
Some Theory Concerning Certification of Mathematical Subroutines by Black Box Testing
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A Test Design Methodology for Protocol Testing
IEEE Transactions on Software Engineering
The Path Prefix Software Testing Strategy
IEEE Transactions on Software Engineering
Measuring Errors in Operational Analysis Assumptions
IEEE Transactions on Software Engineering
A Recursion Theoretic Approach to Program Testing
IEEE Transactions on Software Engineering
Comparing the Effectiveness of Software Testing Strategies
IEEE Transactions on Software Engineering
The complete guide to software testing
The complete guide to software testing
Metric space-based test-base adequacy criteria
The Computer Journal
A structural test selection criterion
Information Processing Letters
Evaluating Software Complexity Measures
IEEE Transactions on Software Engineering
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Combining Static Concurrency Analysis with Symbolic Execution
IEEE Transactions on Software Engineering
An Extended Domain-Based Model of Software Reliability
IEEE Transactions on Software Engineering
The evaluation of program-based software test data adequacy criteria
Communications of the ACM
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
The growth of software testing
Communications of the ACM
Testing in the program development cycle
Software Engineering Journal
Comments on 'Axiomatizing Software Test Data Adequacy' by E.J. Weyuker
IEEE Transactions on Software Engineering
Perturbation Techniques for Detecting Domain Errors
IEEE Transactions on Software Engineering
Theoretical comparison of testing methods
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
PMothra: scheduling mutants for execution on a hypercube
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
The coupling effect: fact or fiction
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Interprocedual data flow testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
The implications of program dependencies for software testing, debugging, and maintenance
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
Automated Test Case Generation for Programs Specified by Relational Algebra Queries
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Measures of testability as a basis for quality assurance
Software Engineering Journal
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
A Theory of Fault-Based Testing
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Relationship between specifications and testing
Information and Software Technology
Analyzing Partition Testing Strategies
IEEE Transactions on Software Engineering
Generalized algorithmic debugging and testing
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
High Performance Software Testing on SIMD Machines
IEEE Transactions on Software Engineering
A Fortran language system for mutation-based software testing
Software—Practice & Experience
Path testing of computer programs with loops using a tool for simple loop patterns
Software—Practice & Experience
Data flow-based test adequacy analysis for languages with pointers
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Data flow coverage and the C language
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Interprocedural Def-Use associations in C programs
TAV4 Proceedings of the symposium on Testing, analysis, and verification
TAV4 Proceedings of the symposium on Testing, analysis, and verification
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Investigations of the software testing coupling effect
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testability of Software Components
IEEE Transactions on Software Engineering
Analysis and Refinement of Software Test Data Adequacy Properties
IEEE Transactions on Software Engineering
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
On Weyuker's Axioms for Software Complexity Measures
IEEE Transactions on Software Engineering
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Automated Module Testing in Prolog
IEEE Transactions on Software Engineering
Estimating the Probability of Failure When Testing Reveals No Failures
IEEE Transactions on Software Engineering
Detection of linear errors via domain testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Incremental testing of object-oriented class structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Testing for linear errors in nonlinear computer programs
ICSE '92 Proceedings of the 14th international conference on Software engineering
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
When a software measure is not a measure
Software Engineering Journal
The complexity of software testing
Software Engineering Journal
An empirical evaluation (and specification) of the all-du-paths testing criterion
Software Engineering Journal
An experimental evaluation of a symbolic execution system
Software Engineering Journal
Experimental results from an automatic test case generator
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic method of test data generation for distributed software
Information and Software Technology
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
Test data adequacy measurement
Software Engineering Journal
Validation of ultrahigh dependability for software-based systems
Communications of the ACM
In-Process Evaluation for Software Inspection and Test
IEEE Transactions on Software Engineering - Special issue on software reliability
An Examination of Fault Exposure Ratio
IEEE Transactions on Software Engineering - Special issue on software reliability
An experimental evaluation of selective mutation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Dynamic mutation testing in integrated regression analysis
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Exploring dataflow testing of arrays
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Predicate-based test generation for computer programs
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Modeling software for accurate data flow representation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Coverage measurement experience during function test
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
Validation of Scientific Programs
ACM Computing Surveys (CSUR)
Assessing Test Data Adequacy through Program Inference
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGSOFT Software Engineering Notes
Software Metrics: A Rigorous Approach
Software Metrics: A Rigorous Approach
Art of Software Testing
Software Tools in Pascal
Improving Quality With a Manufacturing Process
IEEE Software
Experience in Testing the Motif Interface
IEEE Software
A Cost-Effective Approach to Testing
IEEE Software
Predicting Where Faults Can Hide from Testing
IEEE Software
Test-Case Generation from Prolog-Based Specifications
IEEE Software
Selecting and Using Data for Integration Testing
IEEE Software
Replay and Testing for Concurrent Programs
IEEE Software
Assessing Testing Tools in Research and Education
IEEE Software
A Proposed Testing and Analysis Research Initiative
IEEE Software
A Comparison of Some Structural Testing Strategies
IEEE Transactions on Software Engineering
A Formal Analysis of the Fault-Detecting Ability of Testing Methods
IEEE Transactions on Software Engineering
On some reliability estimation problems in random and partition testing
IEEE Transactions on Software Engineering
Clarifying Some Fundamental Concepts in Software Testing
IEEE Transactions on Software Engineering
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
IEEE Transactions on Software Engineering
More Experience with Data Flow Testing
IEEE Transactions on Software Engineering
An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems
IEEE Transactions on Software Engineering
Provable Improvements on Branch Testing
IEEE Transactions on Software Engineering
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria
IEEE Transactions on Software Engineering
An evaluation of required element testing strategies
ICSE '84 Proceedings of the 7th international conference on Software engineering
Perturbation testing for computation errors
ICSE '84 Proceedings of the 7th international conference on Software engineering
Assessing a class of software tools
ICSE '84 Proceedings of the 7th international conference on Software engineering
An algebra for data flow anomaly detection
ICSE '84 Proceedings of the 7th international conference on Software engineering
Completeness criteria for testing elementary program functions
ICSE '81 Proceedings of the 5th international conference on Software engineering
An extension to the cyclomatic measure of program complexity
ACM SIGPLAN Notices
Automatic generation of random self-checking test cases
IBM Systems Journal
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Grading student programs - a software testing approach
CCSC '00 Proceedings of the fourteenth annual consortium on Small Colleges Southeastern conference
A perspective on teaching software testing
Proceedings of the seventh annual consortium for computing in small colleges central plains conference on The journal of computing in small colleges
ACM Transactions on Mathematical Software (TOMS)
Software requirements validation via task analysis
Journal of Systems and Software
Coverage Metrics for Functional Validation of Hardware Designs
IEEE Design & Test
Program Modeling for Fault Definition Based Static Analysis
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Automating Scenario-Driven Structured Requirements Engineering
COMPSAC '00 24th International Computer Software and Applications Conference
Improving test suites via operational abstraction
Proceedings of the 25th International Conference on Software Engineering
Interface Mutation to Assess the Adequacy of Tests for Components and Systems
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Specification-Based Testing for Real-Time Reactive Systems
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
A family of test adequacy criteria for database-driven applications
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Data Generation for Path Testing
Software Quality Control
Fragment Class Analysis for Testing of Polymorphism in Java Software
IEEE Transactions on Software Engineering
Model based testing in incremental system development
Journal of Systems and Software - Special issue: Rapid system prototyping
Flow graphs for testing sequential erlang programs
ERLANG '04 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang
Test Criteria for Context-Free Grammars
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Using an SQL coverage measurement for testing database applications
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Aspect language features for concern coverage profiling
Proceedings of the 4th international conference on Aspect-oriented software development
Proceedings of the 27th international conference on Software engineering
Wavelet density estimators over data streams
Proceedings of the 2005 ACM symposium on Applied computing
Search-based mutation testing for Simulink models
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Software Assurance by Bounded Exhaustive Testing
IEEE Transactions on Software Engineering
Code coverage testing using hardware performance monitoring support
Proceedings of the sixth international symposium on Automated analysis-driven debugging
A model transformation approach to automatic model construction and evolution
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
On the Test Case Definition for GUI Testing
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Fault-Based Testing of Database Application Programs with Conceptual Data Model
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Empirical Software Engineering
Towards minimization of test sets for human-computer systems
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
A framework and tool supports for generating test inputs of AspectJ programs
Proceedings of the 5th international conference on Aspect-oriented software development
Automatic test case generation for UML activity diagrams
Proceedings of the 2006 international workshop on Automation of software test
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
Automatically testing interacting software components
Proceedings of the 2006 international workshop on Automation of software test
Optimal and adaptive testing with cost constraints
Proceedings of the 2006 international workshop on Automation of software test
The state problem for test generation in Simulink
Proceedings of the 8th annual conference on Genetic and evolutionary computation
Towards a BPEL unit testing framework
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
Proceedings of the 1st international workshop on Random testing
Testing, abstraction, theorem proving: better together!
Proceedings of the 2006 international symposium on Software testing and analysis
Testing aspect-oriented programming Pointcut Descriptors
Proceedings of the 2nd workshop on Testing aspect-oriented programs
Automated test generation for access control policies
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Test-driven specification: paradigm and automation
Proceedings of the 44th annual Southeast regional conference
Designing and comparing automated test oracles for GUI-based software applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Information and Software Technology
Perspectives on automated testing of aspect-oriented programs
Proceedings of the 3rd workshop on Testing aspect-oriented programs
Test minimization for human-computer interaction
Applied Intelligence
A self-testing autonomic container
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
Control and data flow structural testing criteria for aspect-oriented programs
Journal of Systems and Software
A fault model and mutation testing of access control policies
Proceedings of the 16th international conference on World Wide Web
Test conditions for fault classes in Boolean specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Finding what's not there: a new approach to revealing neglected conditions in software
Proceedings of the 2007 international symposium on Software testing and analysis
An objective comparison of the cost effectiveness of three testing methods
Information and Software Technology
Functional verification of task partitioning for multiprocessor embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Detecting large number of infeasible paths through recognizing their patterns
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A study of interleaving coverage criteria
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
State coverage: a structural test adequacy criterion for behavior checking
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Differential testing: a new approach to change detection
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
Test case generation from formal models through abstraction refinement and model checking
Proceedings of the 3rd international workshop on Advances in model-based testing
A study of interleaving coverage criteria
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
State coverage: a structural test adequacy criterion for behavior checking
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Differential testing: a new approach to change detection
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Dynamic Detection of COTS Component Incompatibility
IEEE Software
Testing input validation in Web applications through automated model recovery
Journal of Systems and Software
A search-based framework for automatic testing of MATLAB/Simulink models
Journal of Systems and Software
DSD-Crasher: A hybrid analysis tool for bug finding
ACM Transactions on Software Engineering and Methodology (TOSEM)
A tabu search algorithm for structural software testing
Computers and Operations Research
What causes a system to satisfy a specification?
ACM Transactions on Computational Logic (TOCL)
Software testing: a graph theoretic approach
International Journal of Information and Communication Technology
Coverage-driven automatic test generation for uml activity diagrams
Proceedings of the 18th ACM Great Lakes symposium on VLSI
Proposing SQL statement coverage metrics
Proceedings of the fourth international workshop on Software engineering for secure systems
An efficient method to generate feasible paths for basis path testing
Information Processing Letters
An experimental study of adaptive testing for software reliability assessment
Journal of Systems and Software
Automatic, evolutionary test data generation for dynamic software testing
Journal of Systems and Software
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Inter-context control-flow and data-flow test adequacy criteria for nesC applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Analyzing clusters of class characteristics in OO applications
Journal of Systems and Software
Structural Testing of Component-Based Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Model Driven Testing Based on Test History
Transactions on Petri Nets and Other Models of Concurrency I
Automated test data generation using a scatter search approach
Information and Software Technology
Development of an Automatic Testing Environment for Mercury
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A Framework for Mutant Genetic Generation for WS-BPEL
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Coverage-guided test generation for continuous and hybrid systems
Formal Methods in System Design
Test Data Generation of Bytecode by CLP Partial Evaluation
Logic-Based Program Synthesis and Transformation
Automatic Generation of Test Inputs for Mercury
Logic-Based Program Synthesis and Transformation
A data flow-based structural testing technique for FBD programs
Information and Software Technology
On guiding the augmentation of an automated test suite via mutation analysis
Empirical Software Engineering
Property based coverage criterion
Proceedings of the 2nd International Workshop on Defects in Large Software Systems: Held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009)
Science of Computer Programming
Decompilation of Java bytecode to Prolog by partial evaluation
Information and Software Technology
Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Testing Restorable Systems by Using RFD
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Unit Testing for Domain-Specific Languages
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
White-box testing for database-driven applications: a requirements analysis
Proceedings of the Second International Workshop on Testing Database Systems
A methodology for evaluating test coverage criteria of high levelPetri nets
Information and Software Technology
Should software testers use mutation analysis to augment a test set?
Journal of Systems and Software
Model Based Testing of a Network-on-Chip Component
Electronic Notes in Theoretical Computer Science (ENTCS)
A study on the replaceability of context-aware middleware
Proceedings of the First Asia-Pacific Symposium on Internetware
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Multi-agent-based integrated framework for intra-class testing of object-oriented software
Applied Soft Computing
Information and Software Technology
Complete open-state testing of limitedly nondeterministic systems
Programming and Computing Software
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Testing Conformance of Real-Time Applications by Automatic Generation of Observers
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
PET: a partial evaluation-based test case generation tool for Java bytecode
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Expert Systems with Applications: An International Journal
Towards software test data generation using discrete quantum particle swarm optimization
Proceedings of the 3rd India software engineering conference
Design and analysis of GUI test-case prioritization using weight-based methods
Journal of Systems and Software
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Using spin to generate tests from ASM specifications
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Using UML collaboration diagrams for static checking and test generation
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Test coverage for continuous and hybrid systems
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Automatic testing from formal specifications
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Symbolic execution techniques for refinement testing
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Test-sequence generation with Hol-TestGen with an application to firewall testing
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Generating unit tests from formal proofs
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Using model checking to generate fault detecting tests
TAP'07 Proceedings of the 1st international conference on Tests and proofs
A formal methodology to test complex heterogeneous systems
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Coverage criteria for state based specifications
Formal methods and testing
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
Validating UML simulation models with model-level unit tests
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Model-based test prioritizing: a comparative soft-computing approach and case studies
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Investigating the impact of a measurement program on software quality
Information and Software Technology
Empirically studying the role of selection operators duringsearch-based test suite prioritization
Proceedings of the 12th annual conference on Genetic and evolutionary computation
The test data challenge for database-driven applications
Proceedings of the Third International Workshop on Testing Database Systems
Test case generation for object-oriented imperative languages in clp*
Theory and Practice of Logic Programming
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion
Electronic Notes in Theoretical Computer Science (ENTCS)
Component architecture of model-based testing environment
Programming and Computing Software
Bridging gaps between developers and testers in globally-distributed software development
Proceedings of the FSE/SDP workshop on Future of software engineering research
Future of developer testing: building quality in code
Proceedings of the FSE/SDP workshop on Future of software engineering research
A new approach for software testability
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
On testing constraint programs
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Separating testing concerns by means of models
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Increasing functional coverage by inductive testing: a case study
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Mod4J: a qualitative case study of model-driven software development
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
On campus beta site: architecture designs, operational experience, and top product defects
IEEE Communications Magazine
Coverage criteria for automatic security testing of web applications
ICISS'10 Proceedings of the 6th international conference on Information systems security
Security sensitive data flow coverage criterion for automatic security testing of web applications
ESSoS'11 Proceedings of the Third international conference on Engineering secure software and systems
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Metamorphic testing of a Monte Carlo modeling program
Proceedings of the 6th International Workshop on Automation of Software Test
Programs, tests, and oracles: the foundations of testing revisited
Proceedings of the 33rd International Conference on Software Engineering
Test blueprint: an effective visual support for test coverage
Proceedings of the 33rd International Conference on Software Engineering
Evolving patches for software repair
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Compositional CLP-based test data generation for imperative languages
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Security mutants for property-based testing
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Database semantics recovery through analysis of dynamic SQL statements
Journal on data semantics XV
Automating unit and integration testing with partial oracles
Software Quality Control
Control flow graphs and code coverage
International Journal of Applied Mathematics and Computer Science
Defining and measuring policy coverage in testing access control policies
ICICS'06 Proceedings of the 8th international conference on Information and Communications Security
Jazz2: a flexible and extensible framework for structural testing in a Java VM
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Enabling automated integration testing of cloud application services in virtualized environments
Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research
An approach to integration testing based on data flow specifications
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Towards a framework for constraint-based test case generation
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Model-based testing in practice
FM'05 Proceedings of the 2005 international conference on Formal Methods
Reliability enhancement in software testing – an agent-based approach for complex systems
CIT'04 Proceedings of the 7th international conference on Intelligent Information Technology
Mastering test generation from smart card software formal models
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Test case filtering and prioritization based on coverage of combinations of program elements
WODA '09 Proceedings of the Seventh International Workshop on Dynamic Analysis
Symbolic test case generation for primitive recursive functions
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Using model checking for reducing the cost of test generation
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
ESL Design and Verification: A Prescription for Electronic System Level Methodology
ESL Design and Verification: A Prescription for Electronic System Level Methodology
Dependence testing: extending data flow testing with control dependence
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Location pairs: a test coverage metric for shared-memory concurrent programs
Empirical Software Engineering
Sanity checks in formal verification
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Synthesis of scenario based test cases from b models
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Applying constraint logic programming to SQL test case generation
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Is branch coverage a good measure of testing effectiveness?
Empirical Software Engineering and Verification
Mitigating program security vulnerabilities: Approaches and challenges
ACM Computing Surveys (CSUR)
State coverage: software validation metrics beyond code coverage
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Constraints
Trustworthiness testing of phishing websites: A behavior model-based approach
Future Generation Computer Systems
Test input generation for database programs using relational constraints
DBTest '12 Proceedings of the Fifth International Workshop on Testing Database Systems
An experimental evaluation of weak-branch criterion for class testing
Journal of Systems and Software
A taxonomy of model-based testing approaches
Software Testing, Verification & Reliability
An intuitive approach to determine test adequacy in safety-critical software
ACM SIGSOFT Software Engineering Notes
Using coverage criteria on RepOK to reduce bounded-exhaustive test suites
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Testing library specifications by verifying conformance tests
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
On the definition of dynamic software measures
Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement
An improved method for test case prioritization by incorporating historical test case data
Science of Computer Programming
Using static analysis for coverage extraction fromemulation/prototyping platforms
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Efficient coverage of parallel and hierarchical stateflow models for test case generation
Software Testing, Verification & Reliability
Automated coverage calculation and test case generation
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Implementing conformiq Qtronic
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
CarFast: achieving higher statement coverage faster
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
On the effects of pair programming on thoroughness and fault-finding effectiveness of unit tests
PROFES'07 Proceedings of the 8th international conference on Product-Focused Software Process Improvement
Systematic scenario test case generation for nuclear safety systems
Information and Software Technology
Testing against visual contracts: model-based coverage
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
A Value-Based Framework for Software Evolutionary Testing
International Journal of Software Science and Computational Intelligence
CONFU: Configuration Fuzzing Testing Framework for Software Vulnerability Detection
International Journal of Secure Software Engineering
Refactoring support for Smalltalk using static type inference
Proceedings of the International Workshop on Smalltalk Technologies
Faster mutation testing inspired by test prioritization and reduction
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Semi-valid input coverage for fuzz testing
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Comparing multi-point stride coverage and dataflow coverage
Proceedings of the 2013 International Conference on Software Engineering
Scalable analysis of variable software
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Adequate monitoring of service compositions
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
Using regular grammars for event-based testing
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
Test-driven evaluation of linked data quality
Proceedings of the 23rd international conference on World wide web
Neural network based black box testing
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
Objective measurement of test quality is one of the key issues in software testing. It has been a major research focus for the last two decades. Many test criteria have been proposed and studied for this purpose. Various kinds of rationales have been presented in support of one criterion or another. We survey the research work in this area. The notion of adequacy criteria is examined together with its role in software dynamic testing. A review of criteria classification is followed by a summary of the methods for comparison and assessment of criteria.