Software Testing Verification & Reliability

Software Testing Verification & Reliability

软件测试验证和可靠性

  • 4区 中科院分区
  • Q3 JCR分区

高引用文章

文章名称 引用次数
Choosing the fitness function for the job: Automated generation of test suites that detect real faults 6
PESTO: Automated migration of DOM-based Web tests towards the visual approach 4
Why does the orientation change mess up my Android application? From GUI failures to code faults 3
Heterogeneous fault prediction with cost-sensitive domain adaptation 3
Random or evolutionary search for object-oriented test suite generation? 2
Mutation operators for feature-oriented software product lines 2
A novel reliability analysis approach for component-based software based on the complex network theory 2
MobSTer: A model-based security testing framework for web applications 1
Verifying OSEK/VDX automotive applications: A Spin-based model checking approach 1
A formal approach to automatically analyse extra-functional properties in mobile applications 1
An end-user-centric test generation methodology for performance evaluation of mobile networked applications 1
A heterogeneous single changepoint software reliability growth model framework 1
Improving lazy abstraction for SCR specifications through constraint relaxation 1
Fault-based test generation for regular expressions by mutation 1
On strong mutation and the theory of subsuming logic-based mutants 1
A systematic literature review of how mutation testing supports quality assurance processes 1
An improved software reliability prediction model by using high precision error iterative analysis method 1
Possibility of cost reduction by mutant clustering according to the clustering scope 0
MuMonDE: A framework for evaluating model clone detectors using model mutation analysis 0
Empirical evaluation of mutation-based test case prioritization techniques 0
Neural network for software reliability analysis of dynamically weighted NHPP growth models with imperfect debugging 0
Speeding up test execution with increased cache locality 0
Memory models in symbolic execution: key ideas and new thoughts 0
CoopREP: Cooperative record and replay of concurrency bugs 0
An automated functional testing approach for virtual reality applications 0
Systematic testing of actor systems 0
A hybrid approach to testing for nonfunctional faults in embedded systems using genetic algorithms 0
Approaches for computing test-case-aware covering arrays 0
Event tree algorithms to generate test sequences for composite Web services 0
Coincidental correctness in the Defects4J benchmark 0