[图书][B] Introduction to software testing
This extensively classroom-tested text takes an innovative approach to explaining software
testing that defines it as the process of applying a few precise, general-purpose criteria to a …
testing that defines it as the process of applying a few precise, general-purpose criteria to a …
Combinatorial testing of ACTS: A case study
In this paper we present a case study of applying combinatorial testing to test a
combinatorial test generation tool called ACTS. The purpose of this study is two-fold. First …
combinatorial test generation tool called ACTS. The purpose of this study is two-fold. First …
A real-time kernel for wireless sensor networks employed in rescue scenarios
H Will, K Schleiser, J Schiller - 2009 IEEE 34th Conference on …, 2009 - ieeexplore.ieee.org
In rescue scenarios, real-time requirements are one key issue when using wireless sensor
networks (WSNs) for tracking and monitoring of rescue forces. If a node detects an alarm …
networks (WSNs) for tracking and monitoring of rescue forces. If a node detects an alarm …
[图书][B] Software product lines
T Käköla, JC Duenas - 2006 - Springer
Between July 1999 and June 2005 a group of European companies, research institutes, and
universities executed the EUREKA-ITEA projects ESAPS, CAFÉ, and FAMILIES on the topic …
universities executed the EUREKA-ITEA projects ESAPS, CAFÉ, and FAMILIES on the topic …
[PDF][PDF] Input parameter modeling for combination strategies
M Grindal, J Offutt - Proceedings of the 25th conference on IASTED …, 2007 - academia.edu
Combination strategies are test methods that generate test cases based on input parameter
models. This paper suggests a structured modeling method used to translate requirements …
models. This paper suggests a structured modeling method used to translate requirements …
Using machine learning to refine black-box test specifications and test suites
In the context of open source development or software evolution, developers often face test
suites which have been developed with no apparent rationale and which may need to be …
suites which have been developed with no apparent rationale and which may need to be …
Using machine learning to refine category-partition test specifications and test suites
In the context of open source development or software evolution, developers often face test
suites which have been developed with no apparent rationale and which may need to be …
suites which have been developed with no apparent rationale and which may need to be …
Eris: A tool for combinatorial testing of the Linux system call interface
In this paper, we show the applicability of combinatorial testing to the system call interface of
the Linux kernel. Our approach is two-fold: first we analyze the Trinity fuzz tester and in the …
the Linux kernel. Our approach is two-fold: first we analyze the Trinity fuzz tester and in the …
Product line use cases: Scenario-based specification and testing of requirements
Use Cases can be employed in system requirements engineering to capture requirements
from an external point of view. In product line modeling, commonalities and variabilities of a …
from an external point of view. In product line modeling, commonalities and variabilities of a …
Coveringcerts: Combinatorial methods for X. 509 certificate testing
K Kleine, DE Simos - 2017 IEEE International conference on …, 2017 - ieeexplore.ieee.org
Correct behaviour of X. 509 certificate validation code in SSL/TLS implementations is crucial
to ensure secure communication channels. Recently, there have been major efforts in …
to ensure secure communication channels. Recently, there have been major efforts in …