Information Processing Letters
PELAS-Program Error-Locating Assistant System
IEEE Transactions on Software Engineering
Information Processing Letters
Random number generators: good ones are hard to find
Communications of the ACM
The coupling effect: fact or fiction
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A dynamic failure model for performing propagation and infection analysis on computer programs
A dynamic failure model for performing propagation and infection analysis on computer programs
A Theory of Fault-Based Testing
IEEE Transactions on Software Engineering
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Computability, complexity, and languages (2nd ed.): fundamentals of theoretical computer science
Computability, complexity, and languages (2nd ed.): fundamentals of theoretical computer science
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Predicting Where Faults Can Hide from Testing
IEEE Software
Automatic test data generation
Automatic test data generation
Faults on its sleeve: amplifying software reliability testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Dynamic impact analysis: a cost-effective technique to enforce error-propagation
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Software trustability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software testability: an experiment in measuring simulation reusability
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Using testability measures for dependability assessment
Proceedings of the 17th international conference on Software engineering
Predicting dependability by testing
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Using perturbation analysis to measure variation in the information content of test sets
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
A reliability model combining representative and directed testing
Proceedings of the 18th international conference on Software engineering
On the Use of Testability Measures for Dependability Assessment
IEEE Transactions on Software Engineering
Requirements-driven software test: a process-oriented approach
ACM SIGSOFT Software Engineering Notes
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
Dynamic mutation testing in integrated regression analysis
ICSE '93 Proceedings of the 15th international conference on Software Engineering
DAC '98 Proceedings of the 35th annual Design Automation Conference
On subdomains: Testing, profiles, and components
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Prioritizing test cases for regression testing
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Testability, fault size and the domain-to-range ratio: An eternal triangle
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Prioritizing Test Cases For Regression Testing
IEEE Transactions on Software Engineering
Test Case Prioritization: A Family of Empirical Studies
IEEE Transactions on Software Engineering
Programming faults and errors: Towards a theory of software incorrectness
Annals of Software Engineering
Modeling reliability growth during non-representative
Annals of Software Engineering
Software testability measurement for intelligent assertion placement
Software Quality Control
Observability analysis of embedded software for coverage-directed validation
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Critical Analysis of the PIE Testability Technique
Software Quality Control
Software Testability: The New Verification
IEEE Software
What Is Software Testing? And Why Is It So Hard?
IEEE Software
An Approach for Analysing the Propagation of Data Errors in Software
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
A Technique for Mutation of Java Objects
Proceedings of the 16th IEEE international conference on Automated software engineering
EPIC: Profiling the Propagation and Effect of Data Errors in Software
IEEE Transactions on Computers
Locating causes of program failures
Proceedings of the 27th international conference on Software engineering
Checking Inside the Black Box: Regression Testing by Comparing Value Spectra
IEEE Transactions on Software Engineering
Event-driven observability enhanced coverage analysis of C programs for functional validation
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
A new approach for software testability analysis
Proceedings of the 28th international conference on Software engineering
An empirical study into class testability
Journal of Systems and Software - Special issue: Selected papers from the 4th source code analysis and manipulation (SCAM 2004) workshop
Architecture-Based Software Reliability Analysis: Overview and Limitations
IEEE Transactions on Dependable and Secure Computing
An empirical, path-oriented approach to software analysis and testing
Journal of Systems and Software
Class-component testability analysis
SEPADS'06 Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
An empirical study of the factors that reduce the effectiveness of coverage-based fault localization
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)
Capturing propagation of infected program states
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Probabilistic Failure Propagation and Transformation Analysis
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
A practical evaluation of spectrum-based fault localization
Journal of Systems and Software
Test-Suite Augmentation for Evolving Software
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
DiffGen: Automated Regression Unit-Test Generation
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Measuring design testability of a UML class diagram
Information and Software Technology
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Test suite cooperative framework on software quality
CDVE'09 Proceedings of the 6th international conference on Cooperative design, visualization, and engineering
Test generation to expose changes in evolving programs
Proceedings of the IEEE/ACM international conference on Automated software engineering
A new approach for software testability
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
An empirical study on the usage of testability information to fault localization in software
Proceedings of the 2011 ACM Symposium on Applied Computing
Using conditional mutation to increase the efficiency of mutation analysis
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
An empirical analysis of a testability model for object-oriented programs
ACM SIGSOFT Software Engineering Notes
A compositional method for reliability analysis of workflows affected by multiple failure modes
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
eXpress: guided path exploration for efficient regression test generation
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Automating unit and integration testing with partial oracles
Software Quality Control
Defining and measuring policy coverage in testing access control policies
ICICS'06 Proceedings of the 8th international conference on Information and Communications Security
Enabling the selection of COTS components
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
Ordering mutants to minimise test effort in mutation testing
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Reliability analysis of component-based systems with multiple failure modes
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Prioritizing tests for fault localization through ambiguity group reduction
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Accounting for defect characteristics in evaluations of testing techniques
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software regression as change of input partitioning
Proceedings of the 34th International Conference on Software Engineering
Improving failure-inducing changes identification using coverage analysis
Proceedings of the 34th International Conference on Software Engineering
Evaluating the effect of control flow on the unit testing effort of classes: an empirical analysis
Advances in Software Engineering
Practical isolation of failure-inducing changes for debugging regression faults
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Analytical architecture-based performability evaluation of real-time software systems
Journal of Systems and Software
A general noise-reduction framework for fault localization of Java programs
Information and Software Technology
Regression tests to expose change interaction errors
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
VM image update notification mechanism based on pub/sub paradigm in cloud
Proceedings of the 5th Asia-Pacific Symposium on Internetware
Mutation-oriented test data augmentation for GUI software fault localization
Information and Software Technology
Prevalence of coincidental correctness and mitigation of its impact on fault localization
ACM Transactions on Software Engineering and Methodology (TOSEM)
Diversity oriented test data generation using metaheuristic search techniques
Information Sciences: an International Journal
| Hi-index | 0.01 |
A dynamic technique called PIE (propagation, infection, and execution) is presented for statistically estimating three program characteristics that affect a program's computational behavior: (1) the probability that a particular section of a program is executed, (2) the probability that the particular section affects the data state, and (3) the probability that a data state produced by that section has an effect on program output. These three characteristics can be used to predict whether faults are likely to be uncovered by software testing.