期刊： SOFTWARE TESTING VERIFICATION & RELIABILITY, ; ()
This paper proposes an algebraic system, verification algebra (VA), for reducing the number of component combinations to be verified in multi-tenant a......
期刊： SOFTWARE TESTING VERIFICATION & RELIABILITY, 2020; 30 (4-5)
With the constantly growing and changing requirements of app users, web techniques are used in mobile application development for better cross-platfor......
期刊： SOFTWARE TESTING VERIFICATION & RELIABILITY, 2019; 29 (6-7)
Software reliability deals with the probability that software will not cause the failure of a system in a specified time interval. Software reliabilit......
期刊： SOFTWARE TESTING VERIFICATION & RELIABILITY, 2018; 28 (2)
In the early phases of software testing, projects may have only limited historical defect data. Learning prediction model with such insufficient train......
期刊： SOFTWARE TESTING VERIFICATION & RELIABILITY, 2018; 28 (3)
OSEK/VDX, a development standard for automobiles, has now been widely adopted by automotive manufacturers for developing a vehicle-mounted system. The......
期刊： SOFTWARE TESTING VERIFICATION & RELIABILITY, 2018; 28 (6)
Traditional software reliability evaluation approaches lack the analysis of intercomponent interactions of component-based software systems, necessita......
