NPATH: a measure of execution path complexity and its applications
Communications of the ACM
Evaluating Software Complexity Measures
IEEE Transactions on Software Engineering
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
A Cost Model for Determining the Optimal Number of Software Test Cases
IEEE Transactions on Software Engineering
Introduction to special section on software testing
Communications of the ACM
The evaluation of program-based software test data adequacy criteria
Communications of the ACM
TEAM: a support environment for testing, evaluation, and analysis
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
What to do beyond branch testing
ACM SIGSOFT Software Engineering Notes
Structural testing of programs
ACM SIGSOFT Software Engineering Notes
Validating programs without specifications
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Theoretical comparison of testing methods
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Some observations on partition testing
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
Estimating the number of test cases required to satisfy the all-du-paths testing criterion
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Integrating testing techniques through process programming
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
The Cost of Data Flow Testing: An Empirical Study
IEEE Transactions on Software Engineering
Profiling an Incremental Data Flow Analysis Algorithm
IEEE Transactions on Software Engineering
An efficient hybrid algorithm for incremental data flow analysis
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
IEEE Transactions on Software Engineering
Performing data flow analysis in parallel
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Analyzing Partition Testing Strategies
IEEE Transactions on Software Engineering
Comparison of program testing strategies
TAV4 Proceedings of the symposium on Testing, analysis, and verification
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
An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Assessing the fault-detecting ability of testing methods
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Testability of Software Components
IEEE Transactions on Software Engineering
Automated Module Testing in Prolog
IEEE Transactions on Software Engineering
Detection of linear errors via domain testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
A comprehensive approach to parallel data flow analysis
ICS '92 Proceedings of the 6th international conference on Supercomputing
A methodology for controlling the size of a test suite
ACM Transactions on Software Engineering and Methodology (TOSEM)
STATEMATE applied to statistical software testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
An information flow model of fault detection
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Incremental program testing using program dependence graphs
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
Partition testing, stratified sampling, and cluster analysis
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
CASE tool architecture for knowledge-based regression testing
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Analysis of timing hazards in Ada programs
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Selecting tests and identifying test coverage requirements for modified software
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Foundations of software testing: dependability theory
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Performing data flow testing on classes
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Software trustability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Aspect: detecting bugs with abstract dependences
ACM Transactions on Software Engineering and Methodology (TOSEM)
Effect of test set minimization on fault detection effectiveness
Proceedings of the 17th international conference on Software engineering
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
The path-wise approach to data flow testing with pointer variables
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Unconstrained duals and their use in achieving all-uses coverage
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Automated test data generation for programs with procedures
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
A specification-based adaptive test case generation strategy for open operating system standards
Proceedings of the 18th international conference on Software engineering
A demand-driven analyzer for data flow testing at the integration level
Proceedings of the 18th international conference on Software engineering
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing
IEEE Transactions on Software Engineering
Program decomposition for pointer aliasing: a step toward practical analyses
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
An application-independent concurrency skeleton in Ada 95
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Strategic directions in software quality
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
The future of program analysis
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Exploring dataflow testing of arrays
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
An analytical comparison of the fault-detecting ability of data flow testing techniques
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Reliable software and communication: software quality, reliability, and safety
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
Property-based testing: a new approach to testing for assurance
ACM SIGSOFT Software Engineering Notes
Semantics Guided Regression Test Cost Reduction
IEEE Transactions on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
The use of program profiling for software maintenance with applications to the year 2000 problem
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
An applicable test data generation algorithm for domain errors
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Further empirical studies of test effectiveness
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Improving Design Dependability by Exploiting an Open Model-Based Specification
IEEE Transactions on Computers
What you see is what you test: a methodology for testing form-based visual programs
Proceedings of the 20th international conference on Software engineering
Residual test coverage monitoring
Proceedings of the 21st international conference on Software engineering
Toward precise measurements using software normalization
Proceedings of the 21st international conference on Software engineering
Estimation of software reliability by stratified sampling
ACM Transactions on Software Engineering and Methodology (TOSEM)
A comparison of data flow path selection criteria
ICSE '85 Proceedings of the 8th international conference on Software engineering
An uncertainty-based software testing model using test universe partitions (abstract)
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Completely validated software: in defense of coverage criteria (panel session)
ICSE '89 Proceedings of the 11th international conference on Software engineering
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
Slicing spreadsheets: an integrated methodology for spreadsheet testing and debugging
Proceedings of the 2nd conference on Domain-specific languages
Proceedings of the Conference on The Future of Software Engineering
WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation
Proceedings of the 22nd international conference on Software engineering
Comparison of delivered reliability of branch, data flow and operational testing: A case study
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Analysis and Testing of Programs with Exception Handling Constructs
IEEE Transactions on Software Engineering
A methodology for testing spreadsheets
ACM Transactions on Software Engineering and Methodology (TOSEM)
Interface Mutation: An Approach for Integration Testing
IEEE Transactions on Software Engineering
Regression testing of database applications
Proceedings of the 2001 ACM symposium on Applied computing
Contextual def-use associations for object aggregation
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Coverage criteria for GUI testing
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
STG: a tool for generating symbolic test programs and oracles from operational specifications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Prioritizing Test Cases For Regression Testing
IEEE Transactions on Software Engineering
Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing
Journal of Electronic Testing: Theory and Applications
Determining component reliability using a testing index
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
A generalised spreadsheet verification methodology
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology
IEEE Transactions on Software Engineering
Programming faults and errors: Towards a theory of software incorrectness
Annals of Software Engineering
The ability of directed tests to predict software quality
Annals of Software Engineering
A time/structure based software reliability model
Annals of Software Engineering
A System for Generating Reverse Engineering Tools: A Case Study of Software Modularisation
Automated Software Engineering
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation
Empirical Software Engineering
Mutation Testing Applied to Estelle Specifications
Software Quality Control
A data flow fault coverage metric for validation of behavioral HDL descriptions
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Software requirements validation via task analysis
Journal of Systems and Software
What Is Software Testing? And Why Is It So Hard?
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
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
Provable Improvements on Branch Testing
IEEE Transactions on Software Engineering
Interprocedural Def-Use Associations for C Systems with Single Level Pointers
IEEE Transactions on Software Engineering
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria
IEEE Transactions on Software Engineering
Timed Wp-Method: Testing Real-Time Systems
IEEE Transactions on Software Engineering
Comparing Partition and Random Testing via Majorization and Schur Functions
IEEE Transactions on Software Engineering
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
TATOO: Testing and Analysis Tool for Object- Oriented Software
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Temporal Logic Based Theory of Test Coverage and Generation
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Automated Test and Oracle Generation for Smart-Card Applications
E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
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
A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
An Approach to Symbolic Test Generation
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
End-user software visualizations for fault localization
Proceedings of the 2003 ACM symposium on Software visualization
Data flow testing as model checking
Proceedings of the 25th International Conference on Software Engineering
On the divide-and-conquer approach towards test suite reduction
Information Sciences: an International Journal
Augmenting data flow criteria for class testing
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Testability analysis of co-designed systems
ATS '95 Proceedings of the 4th Asian Test Symposium
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Improving design dependability based on the TRON loose standardization approach
TRON '95 Proceedings of the The 12th TRON Project International Symposium, 1995
Automatic generation of tests for timing constraints from requirements
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
A Validation Fault Model for Timing-Induced Functional Errors
ITC '01 Proceedings of the 2001 IEEE International Test Conference
Incremental Slicing Based on Data-Dependences Types
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
The Impact of Software Evolution on Code Coverage Information
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
A Graphical Class Representation for Integrated Black- and White-Box Testing
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Program Segmentation for Controlling Test Coverage
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Testing Strategies for Form-Based Visual Programs
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
A Study of Effective Regression Testing in Practice
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Efficient Strategies for Integration and Regression Testing of OO Systems
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Using Simulation for Assessing the Real Impact of Test Coverage on Defect Coverage
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Structural Testing of Web Applications
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Coverage testing software architectural design in SDL
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Program Execution-Based Module Cohesion Measurement
Proceedings of the 16th IEEE international conference on Automated software engineering
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
Using Spanning Sets for Coverage Testing
IEEE Transactions on Software Engineering
Using operational distributions to judge testing progress
Proceedings of the 2003 ACM symposium on Applied computing
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models
IEEE Transactions on Computers
Data Generation for Path Testing
Software Quality Control
A neural net based approach to Test Oracle
ACM SIGSOFT Software Engineering Notes
Bi-Criteria Models for All-Uses Test Suite Reduction
Proceedings of the 26th International Conference on Software Engineering
Testing of java web services for robustness
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Software assurance by bounded exhaustive testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Journal of Electronic Testing: Theory and Applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Demand-driven structural testing with dynamic instrumentation
Proceedings of the 27th international conference on Software engineering
Proceedings of the 27th international conference on Software engineering
Software Assurance by Bounded Exhaustive Testing
IEEE Transactions on Software Engineering
Robustness Testing of Java Server Applications
IEEE Transactions on Software Engineering
Coverage testing of Java programs and components
Science of Computer Programming - Special issue on new software composition concepts
Structural test coverage criteria for lustre programs
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
The effect of code coverage on fault detection under different testing profiles
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Empirical Software Engineering
A testing framework for Web application security assessment
Computer Networks: The International Journal of Computer and Telecommunications Networking - Web security
Navigating error recovery code in Java applications
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Integrating automated test generation into the WYSIWYT spreadsheet testing methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Information Processing Letters
Constraint based structural testing criteria
Journal of Systems and Software
Journal of Electronic Testing: Theory and Applications
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Establishing structural testing criteria for Java bytecode
Software—Practice & Experience
Data flow analysis and testing of JSP-based Web applications
Information and Software Technology
Perspectives on automated testing of aspect-oriented programs
Proceedings of the 3rd workshop on Testing aspect-oriented programs
Control and data flow structural testing criteria for aspect-oriented programs
Journal of Systems and Software
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
IEEE Transactions on Software Engineering
Software Reliability Engineering: A Roadmap
FOSE '07 2007 Future of Software Engineering
Improving Fault Detection Capability by Selectively Retaining Test Cases during Test Suite Reduction
IEEE Transactions on Software Engineering
Slicing spreadsheets: an integrated methodology for spreadsheet testing and debugging
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Static type determination for C++
CTEC'94 Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference - Volume 6
An Empirical Study of Test Case Filtering Techniques Based on Exercising Information Flows
IEEE Transactions on Software Engineering
Journal of Software Maintenance and Evolution: Research and Practice - Source Code Analysis and Manipulation (SCAM 2006)
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
Improving random test sets using the diversity oriented test data generation
Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
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
A binomial software reliability model based on coverage of structural testing criteria
Empirical Software Engineering
Automatic test data generation using particle systems
Proceedings of the 2008 ACM symposium on Applied computing
Class-component testability analysis
SEPADS'06 Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Information Security Tech. Report
Unit-level test adequacy criteria for visual dataflow languages and a testing methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
International Journal of Autonomous and Adaptive Communications Systems
Structural Testing for Semaphore-Based Multithread Programs
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part I
ValiPVM - A Graphical Tool for Structural Testing of PVM Programs
Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Data Flow Analysis and Testing of Abstract State Machines
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Test case prioritization for regression testing of service-oriented business applications
Proceedings of the 18th international conference on World wide web
A data flow-based structural testing technique for FBD programs
Information and Software Technology
Science of Computer Programming
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
A testing framework for Web application security assessment
Computer Networks: The International Journal of Computer and Telecommunications Networking - Web security
Model transformations to satisfy all-configurations-transitions on statecharts
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Test coverage and post-verification defects: A multiple case study
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
Comparing algorithms for search-based test data generation of matlab® simulink® models
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Measuring design testability of a UML class diagram
Information and Software Technology
Information and Software Technology
Information Processing Letters
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Model checking and testing combined
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Contextual integration testing of classes
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Testing real-time systems using UPPAAL
Formal methods and testing
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
Comparing the effectiveness of testing techniques
Formal methods and testing
Automated unit and integration testing for component-based software systems
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Masking boundary value coverage: effectiveness and efficiency
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Context independent unique sequences generation for protocol testing
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
Testing techniques in software engineering
Testing techniques in software engineering
Dependable computing: concepts, limits, challenges
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
A pointcut-based coverage analysis approach for aspect-oriented programs
Information Sciences: an International Journal
Practical elimination of external interaction vulnerabilities in web applications
Journal of Web Engineering
Analysis of software cohesion attribute and test case development complexity
Proceedings of the 49th Annual Southeast Regional Conference
An evaluation of change-based coverage criteria
Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools
Mitigating the confounding effects of program dependences for effective fault localization
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Reducing complexity of data flow testing in the verification of a IEC-62304 flexible workflow system
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Test suite reduction based on dependence analysis
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
Automatic test data generation by multi-objective optimisation
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Generating test cases for web services using extended finite state machine
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Automated generation and evaluation of dataflow-based test data for object-oriented software
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Using model checking for reducing the cost of test generation
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Control and data flow testing on function block diagrams
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
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
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
Research: Analysis and representation of test cases generated from LOTOS
Computer Communications
Test case generation of a communication protocol by an adaptive state exploration
Computer Communications
A test case generation approach for conformance testing of SDL systems
Computer Communications
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
An experimental evaluation of weak-branch criterion for class testing
Journal of Systems and Software
Towards measuring test data quality
Proceedings of the 2012 Joint EDBT/ICDT Workshops
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Proceedings of the 34th International Conference on Software Engineering
Dataflow testing of java programs with DFC
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
ACM SIGSOFT Software Engineering Notes
An efficient bitwise algorithm for intra-procedural data-flow testing coverage
Information Processing Letters
Relevance and perspectives of AAL in Brazil
Journal of Systems and Software
Testing techniques selection based on ODC fault types and software metrics
Journal of Systems and Software
Comparing multi-point stride coverage and dataflow coverage
Proceedings of the 2013 International Conference on Software Engineering
Using citation influence to predict software defects
Proceedings of the 10th Working Conference on Mining Software Repositories
Adequate monitoring of service compositions
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Applying a def-use approach on signal exchange to implement SysML model-based testing
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Diversity oriented test data generation using metaheuristic search techniques
Information Sciences: an International Journal
An approach to testing commercial embedded systems
Journal of Systems and Software
Dynamic stopping criteria for search-based test data generation for path testing
Information and Software Technology
Hi-index | 0.06 |
This paper defines a family of program test data selection criteria derived from data flow analysis techniques similar to those used in compiler optimization. It is argued that currently used path selection criteria, which examine only the control flow of a program, are inadequate quate. Our procedure associates with each point in a program at which a variable is defined, those points at which the value is used. Several test data selection criteria, differing in the type and number of these associations, are defined and compared.