相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems
Marwa Shousha et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2012)
Random Testing: Theoretical Results and Practical Implications
Andrea Arcuri et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2012)
Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing
Andrea Arcuri et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2012)
A Multicriteria Statistical Based Comparison Methodology for Evaluating Evolutionary Algorithms
Eduardo G. Carrano et al.
IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION (2011)
Genetic Algorithms for Randomized Unit Testing
James H. Andrews et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2011)
Proofs from Tests
Nels E. Beckman et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2010)
ASCENT: An Algorithmic Technique for Designing Hardware and Software in Tandem
Jules White et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2010)
Stressing Search with Scenarios for Flexible Solutions to Real-Time Task Allocation Problems
Paul Emberson et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2010)
Efficient Software Verification: Statistical Testing Using Automated Search
Simon Poulding et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2010)
A Genetic Algorithm-Based Stress Test Requirements Generator Tool and Its Empirical Evaluation
Vahid Garousi
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2010)
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
Shay Artzi et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2010)
Vulnerability Discovery with Attack Injection
Joao Antunes et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2010)
Interactive, Evolutionary Search in Upstream Object-Oriented Class Design
Christopher L. Simons et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2010)
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search
Mark Harman et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2010)
Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback
Xun Yuan et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2010)
Solving the Class Responsibility Assignment Problem in Object-Oriented Analysis with Multi-Objective Genetic Algorithms
Michael Bowman et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2010)
A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation
Shaukat Ali et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2010)
The Effects of Time Constraints on Test Case Prioritization: A Series of Controlled Experiments
Hyunsook Do et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2010)
Automatic string test data generation for detecting domain errors
Ruilian Zhao et al.
SOFTWARE TESTING VERIFICATION & RELIABILITY (2010)
Scalable and Effective Test Generation for Role-Based Access Control Systems
Ammar Masood et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2009)
Mutation Operators for Spreadsheets
Robin Abraham et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2009)
Optimized Resource Allocation for Software Release Planning
An Ngo-The et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2009)
Test Case Evaluation and Input Domain Reduction strategies for the Evolutionary Testing of Object-Oriented software
Jose Carlos Bregieiro Ribeiro et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2009)
Systematic literature reviews in software engineering - A systematic literature review
Barbara Kitchenham et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2009)
Decreasing the cost of mutation testing with second-order mutants
Macario Polo et al.
SOFTWARE TESTING VERIFICATION & RELIABILITY (2009)
Transition covering tests for systems with queues
Jiale Huo et al.
SOFTWARE TESTING VERIFICATION & RELIABILITY (2009)
A density-based greedy algorithm for higher strength covering arrays
Renee C. Bryce et al.
SOFTWARE TESTING VERIFICATION & RELIABILITY (2009)
Search based software testing of object-oriented containers
Andrea Arcuri et al.
INFORMATION SCIENCES (2008)
Integrating testing with reliability
Norman Schneidewind
SOFTWARE TESTING VERIFICATION & RELIABILITY (2008)
Effect size, confidence interval and statistical significance: a practical guide for biologists
Shinichi Nakagawa et al.
BIOLOGICAL REVIEWS (2007)
A systematic review of effect size in software engineering experiments
Vigdis By Kampenes et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2007)
Search-based software test data generation for string data using program-specific search operators
Mohammad Alshraideh et al.
SOFTWARE TESTING VERIFICATION & RELIABILITY (2006)
A systematic review of statistical power in software engineering experiments
Tore Dyba et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2006)
The unequal variance t-test is an underused alternative to Student's t-test and the Mann-Whitney U test
GD Ruxton
BEHAVIORAL ECOLOGY (2006)
Non-parametric assessment of non-inferiority with censored data
G Freitag et al.
STATISTICS IN MEDICINE (2006)
On the automatic modularization of software systems using the Bunch tool
BS Mitchell et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2006)
A multiobjective module-order model for software quality enhancement
TM Khoshgoftaar et al.
IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION (2004)
Search-based software test data generation: a survey
P McMinn
SOFTWARE TESTING VERIFICATION & RELIABILITY (2004)
An analysis of the behavior of simplified evolutionary algorithms on trap functions
S Nijssen et al.
IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION (2003)
An evolutionary approach to estimating software development projects
JS Aguilar-Ruiz et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2001)
The next release problem
AJ Bagnall et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2001)