Now showing items 11-17 of 17
Reproducing failures based on semiformal failure scenario descriptions
(Springer International Publishing, 2017)
Due to the increasing size and complexity of software systems, it becomes hard to test these systems exhaustively. As a result, some faults can be left undetected. Undetected faults can lead to failures in deployed systems. ...
Automated procedure clustering for reverse engineering PL/SQL programs
PL/SQL programs are mainly composed of procedures that interact with a database. These procedures are grouped into packages at the architecture design level for increasing modularity and maintainability. However, the ...
Successive refinement of models for model-based testing to increase system test effectiveness
Model-based testing is used for automatically generating test cases based on models of the system under test. The effectiveness of tests depends on the contents of these models. Therefore, we introduce a novel three-step ...
Automated refinement of models for model-based testing using exploratory testing
(Springer International Publishing, 2017-09)
Model-based testing relies on models of the system under test to automatically generate test cases. Consequently, the effectiveness of the generated test cases depends on models. In general, these models are created manually, ...
Prioritization of test cases with varying test costs and fault severities for certification testing
We present an industrial case study on the application of test case prioritization techniques in the context of certification testing in consumer electronics domain. Test execution times and fault severities are subject ...
Impact of education and experience level on the effectiveness of exploratory testing: an industrial case study
Exploratory Testing (ET) is a widely applied approach in practice. This approach relies on the knowledge and experience of test engineers and technicians who perform ET. Hence, we aimed at evaluating the impact of education ...
Risk-driven model-based testing of washing machine software: an industrial case study
We previously introduced an approach for risk-driven model-based testing. In that approach, test models are represented in the form of Markov chains and test case generation is steered by state transition probabilities. ...
Share this page