Software engineering: reliability, development, and management.
Software engineering: reliability, development, and management.
Certifying the reliability of software
IEEE Transactions on Software Engineering
Reliability of Systems with Markov Transfer of Control
IEEE Transactions on Software Engineering
Evaluation of safety-critical software
Communications of the ACM
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
Estimating the Probability of Failure When Testing Reveals No Failures
IEEE Transactions on Software Engineering
Markov analysis of software specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Markov chain techniques for software testing and reliability analysis
Markov chain techniques for software testing and reliability analysis
Stochastic processes
The new math of computer programming
Communications of the ACM
Art of Software Testing
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Total Variance Approach to Software Reliability Estimation
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Measuring and Modeling Usage and Reliability for Statistical Web Testing
IEEE Transactions on Software Engineering - Special section on the seventh international software metrics symposium
Usage testing of military simulation systems
Proceedings of the 33nd conference on Winter simulation
Representing software usage models with stochastic automata networks
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Annals of Software Engineering
FAST: a framework for automating statistics-based testing
Software Quality Control
What Is Software Testing? And Why Is It So Hard?
IEEE Software
Systems testing and statistical test data coverage
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
UML-Based Statistical Test Case Generation
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Extended Model-Based Testing toward High Code Coverage Rate
ECSQ '02 Proceedings of the 7th International Conference on Software Quality
Dynamic Model Extraction and Statistical Analysis of Web Applications
WSE '02 Proceedings of the Fourth International Workshop on Web Site Evolution (WSE'02)
Stopping Criteria Comparison: Towards High Quality Behavioral Verification
ISQED '01 Proceedings of the 2nd International Symposium on Quality Electronic Design
Achieving the Quality of Verification for Behavioral Models with Minimum Effort
ISQED '00 Proceedings of the 1st International Symposium on Quality of Electronic Design
An Operational Profile for the Cartridge Support Software
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Confidence-Based Reliability And Statistical Coverage Estimation
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Rare Failure-State in a Markov Chain Model for Software Reliability
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Reliability prediction for component-based software architectures
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Web application quality: supporting maintenance and testing
Information modeling for internet applications
Proceedings of the 2003 ACM symposium on Applied computing
Property-oriented testing: a strategy for exploring dangerous scenarios
Proceedings of the 2003 ACM symposium on Applied computing
Statistical testing of web applications
Journal of Software Maintenance and Evolution: Research and Practice - Special issue: Web site evolution
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Computing system reliability using Markov chain usage models
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
Test ready UML statechart models
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Usage-based statistical testing of web applications
ICWE '06 Proceedings of the 6th international conference on Web engineering
Automated gui testing guided by usage profiles
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Software testing processes as a linear dynamic system
Information Sciences: an International Journal
Better reliability assessment of database based application software
ICC'05 Proceedings of the 9th International Conference on Circuits
An experimental study of adaptive testing for software reliability assessment
Journal of Systems and Software
Using a pilot study to derive a GUI model for automated testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Building test cases and oracles to automate the testing of web database applications
Information and Software Technology
Applying Evolutionary Computation Methods to Formal Testing and Model Checking
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Towards accurate probabilistic models using state refinement
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Software testing by active learning for commercial games
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Random Test Run Length and Effectiveness
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Extracting test sequences from a Markov software usage model by ACO
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Mathematical modeling of software reliability testing with imperfect debugging
Computers & Mathematics with Applications
My model checker died!: how well did it do?
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
Towards pro-active adaptation with confidence: augmenting service monitoring with online testing
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Testing techniques in software engineering
Testing techniques in software engineering
A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models
Electronic Notes in Theoretical Computer Science (ENTCS)
A comfortable testplayer for analyzing statistical usage testing strategies
Proceedings of the 6th International Workshop on Automation of Software Test
Journal of Systems and Software
Source code prioritization using forward slicing for exposing critical elements in a program
Journal of Computer Science and Technology
Performance Evaluation of Software Development Teams: a Practical Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Improved usage model for web application reliability testing
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Reliability improvement based on prioritization of source code
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
A note on an anomaly in black-box testing
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Generalizing evolutionary coupling with stochastic dependencies
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Information Sciences: an International Journal
Enhancing software reliability estimates using modified adaptive testing
Information and Software Technology
Veritas - a versatile modeling environment for test-driven agile simulation
Proceedings of the Winter Simulation Conference
Improved methods and measures for computing dynamic program slices in stochastic simulations
Proceedings of the Winter Simulation Conference
Software testing with an operational profile: OP definition
ACM Computing Surveys (CSUR)
Towards statistical prioritization for software product lines testing
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Hi-index | 0.01 |
Statistical testing of software establishes a basis for statistical inference about a software system's expected field quality. This paper describes a method for statistical testing based on a Markov chain model of software usage. The significance of the Markov chain is twofold. First, it allows test input sequences to be generated from multiple probability distributions, making it more general than many existing techniques. Analytical results associated with Markov chains facilitate informative analysis of the sequences before they are generated, indicating how the test is likely to unfold. Second, the test input sequences generated from the chain and applied to the software are themselves a stochastic model and are used to create a second Markov chain to encapsulate the history of the test, including any observed failure information. The influence of the failures is assessed through analytical computations on this chain. We also derive a stopping criterion for the testing process based on a comparison of the sequence generating properties of the two chains.