[HTML][HTML] Una revisión a la realidad de la automatización de las pruebas del software

E Serna, R Martínez, P Tamayo - Computación y Sistemas, 2019 - scielo.org.mx
Probar el software es una de las actividades más importantes en el ciclo de vida del
desarrollo, pero tradicionalmente se ha llevado a cabo al final del proceso, cuando el …

Automated regression test case generation for web application: A survey

N Gupta, V Yadav, M Singh - ACM Computing Surveys (CSUR), 2018 - dl.acm.org
Testing is one of the most important phases in the development of any product or software.
Various types of software testing exist that have to be done to meet the need of the software …

[HTML][HTML] Transition coverage based test case generation from state chart diagram

S Pradhan, M Ray, SK Swain - Journal of King Saud University-Computer …, 2022 - Elsevier
State-based testing is a challenging area in the software testing field. This paper proposes a
set of algorithms to generate test cases from a state chart diagram based on various …

Automatic test cases generation from business process models

A Yazdani Seqerloo, MJ Amiri, S Parsa… - Requirements …, 2019 - Springer
Traditional test case generation approaches focus on design and implementation models
while a large percentage of software errors are caused by the lack of understanding in the …

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 …

Evaluation of UML diagrams for test cases generation: Case study on depression of internet addiction

J Cvetković, M Cvetković - Physica A: Statistical Mechanics and its …, 2019 - Elsevier
Software test is an important activity in life cycle of software development. If quality of
generated test cases is high, number of detected errors before system dissemination would …

MBFair: a model-based verification methodology for detecting violations of individual fairness

Q Ramadan, M Konersmann, AS Ahmadian… - Software and Systems …, 2024 - Springer
Decision-making systems are prone to discrimination against individuals with regard to
protected characteristics such as gender and ethnicity. Detecting and explaining the …

State-based models in model-based testing: A systematic review

A Sabbaghi, MR Keyvanpour - 2017 ieee 4th international …, 2017 - ieeexplore.ieee.org
Model-Based Testing (MBT) is an effective approach to automate test case generation
process by utilizing different models of the System under Test (SUT). Many of the today's …

[PDF][PDF] Test case generation using UML state diagram and OCL expression

MA Ali, K Shaik, S Kumar - International Journal of Computer …, 2014 - academia.edu
Manual software testing is both an expensive and time consuming activity, requires proper
planning and resource. This paper proposed a method to automate the process of test case …

Coverage criteria for test case generation using UML state chart diagram

YD Salman, NL Hashim, MM Rejab, R Romli… - AIP Conference …, 2017 - pubs.aip.org
To improve the effectiveness of test data generation during the software test, many studies
have focused on the automation of test data generation from UML diagrams. One of these …