UML behavioral model based test case generation: a survey

M Shirole, R Kumar - ACM SIGSOFT Software Engineering Notes, 2013 - dl.acm.org
In software engineering, system modeling is the process of formulating a representation of a
real system in an abstract way to understand its behavior. Software testing encourages …

[PDF][PDF] A study on test coverage in software testing

M Shahid, S Ibrahim, MN Mahrin - Advanced Informatics School …, 2011 - researchgate.net
Test Coverage is an important indicator of software quality and an essential part of software
maintenance. It helps in evaluating the effectiveness of testing by providing data on different …

End-to-end automatic business process validation

ACR Paiva, NH Flores, JP Faria… - Procedia Computer …, 2018 - Elsevier
Abstract Business Process Testing is the act of validating that end-to-end transactions
through enterprise systems continue to work correctly as the underlying packaged …

Test case generation from uml state machine diagram: A survey

M Aggarwal, S Sabharwal - 2012 Third International …, 2012 - ieeexplore.ieee.org
UML is widely accepted and practiced in industries for modeling and design of software
systems. Software requirements and design are very important parts of software …

[PDF][PDF] Generating performance test scripts and scenarios based on abstract intermediate models

LT Costa, RM Czekster, FM de Oliveira… - SEKE2012, 2012 …, 2012 - repositorio.pucrs.br
Performance testing involves knowledgement not only about the application to be tested, its
usage, and the execution infrastructure; it also requires understanding of the performance …

Charge-based core and the model architecture of BSIM5

J He, J **, M Chan, H Wan, M Dunga… - … on quality electronic …, 2005 - ieeexplore.ieee.org
The paper outlines the charge-based core and the architecture of the BSIM5 MOSFET model
for sub-100 nm CMOS circuit simulation. The BSIM5 model is a continuous, completely …

Dataflow test case generation from UML Class diagrams

R Anbunathan, A Basu - 2013 IEEE International Conference …, 2013 - ieeexplore.ieee.org
UML-based testing promises reduction in cost and effort. In this paper, a novel method to
generate test cases from UML Class diagrams is presented. Class diagram and the …

Concurrency coverage criteria for activity diagrams

M Shirole, R Kumar - IET Software, 2021 - Wiley Online Library
Existing coverage criteria for Unified Modeling Language (UML)‐based system design have
used mostly structural constructs and sequential‐behavioural coverage criteria. However …

Test generation from UML sequence diagrams

JP Faria, ACR Paiva, Z Yang - … on the Quality of Information and …, 2012 - ieeexplore.ieee.org
Model-driven engineering approaches aim at avoiding productivity, model quality and model
maintenance problems that arise when models are used for documentation only, by …

A modelling framework for automotive software design and optimal test path generation

P Kaur, R Sobti - Journal of Intelligent & Fuzzy Systems, 2018 - content.iospress.com
Automotive embedded applications are gaining widespread importance worldwide. Almost
every car is equipped with hundreds of software-enabled technologies which are expected …