Automatic model completion for Web applications

R Zhao, C Chen, W Wang, J Guo - International Conference on Web …, 2020 - Springer
Abstract Model-based testing is one of the most effective methods for testing web
applications, where the integrity of models determines the effectiveness and efficiency of …

[引用][C] Analyzing code fragments for faults

[PDF][PDF] Automatically mining specifications from invocation traces and method invariants

I Krka, Y Brun, N Medvidovic - 2013 - Citeseer
Software library documentation often describes the APIs of individual methods, but does not
capture the intended protocols and method interactions. This can cause developers to …

A Theoretical Analysis of Random Regression Test Prioritization

P Yi, H Wang, T Xie, D Marinov, W Lam - … on Tools and Algorithms for the …, 2022 - Springer
Regression testing is an important activity to check software changes by running the tests in
a test suite to inform the developers whether the changes lead to test failures. Regression …

[PDF][PDF] Systematic Literature Review in Software Testing

S Abdullahi, A Zakari, M Shagari, O Hock… - … Literature Review in …, 2021 - researchgate.net
Software testing process enables the verification and validation of a software application or
program, to ascertain it works as per the users' expectations. Software testing provides …

A multimedia personalized fruition of figurative artistic heritage by a GIS-based methodology

L Bordoni, A Colagrossi - Proceedings IEEE International …, 1999 - ieeexplore.ieee.org
The creation of a personalized classification of figurative heritage is examined. The
subjectivity and the variability in time are the essential elements for a personalized …

Mining variable-method correlation for change impact analysis

C Hu, B Li, X Sun - IEEE Access, 2018 - ieeexplore.ieee.org
Software change impact analysis (CIA) is a key technique to identify the potential ripple
effects of the changes to software. Coarse-grained CIA techniques such as file, class and …

A mapping study of automation support tools for unit testing

I Singh - 2012 - diva-portal.org
Unit testing is defined as a test activity usually performed by a developer for the purpose of
demonstrating program functionality and meeting the requirements specification of module …

Automatically generating complex test cases from simple ones

K Rubinov - 2013 - sonar.ch
While source code expresses and implements design considerations for software system,
test cases capture and represent the domain knowledge of software developer, her …

Analyzing Code Fragments for Faults

AK Joshy - 2023 - search.proquest.com
It appears to be a fact of life that no matter how much effort is spent on testing a program,
software defects are continually introduced and removed during the development process …