This article presents the Automatic Software Validation tool (ASV), which is deployed in one of the Polish software companies. This system helps to automatically test web applications, create its simulations, which are helpful during end-user training, and then test those simulations. The tool was invented to speed the process of testing one of the company’s applications working in more than 12...

of the Dissertation From Validation to Automated Repair & Beyond with Constraint Solving by Hesam Samimi Doctor of Philosophy in Computer Science University of California, Los Angeles, 2013 Professor Todd Millstein, Chair Tremendous amounts of software engineering efforts go into the validation of software. Developers rely on many forms of software validation, from unit tests to assertions and ...

The requirement validation is vital for every successful software development. In this process, the requirements from the users are checks and analyzed with its consistency, completeness and correctness. The validation of requirements is a very vast research area in software engineering. In this presented article, some quality research approaches are cited for the software engineering researche...

In Software Engineering, software validation aims at determining whether the software requirements are implemented correctly and completely. Validation and testing are concerned with answering the question "Are we building the right thing?". The challenge in answering this question is how to come up with experiments that make sense and can reveal most of the potential software bugs. Therefore, ...

This paper discusses characteristics of the surface mobility problem that present challenges for validation of autonomous mobility software. We provide a general description of a commonly used hardware-centric and dynamic approach to mobility software validation for flight systems. We also highlight some effects and impacts of flight schedules and deliveries on this validation approach and rela...

For purposes of this discussion, the term "software validation" refers to the process of testing a completed software product in its operational environment. The scope of this paper is further limited in the following ways: the experiences described are not applicable to applications software; the validation systems discussed must be capable of functioning on a variety of dissimilar hardware an...

Protecting software copyright has been an issue since the late 1970’s, and software license validation has been a primary method employed in an attempt to minimise software piracy and protect software copyright. This paper presents a novel method for decentralised peer-topeer software license validation using cryptocurrency blockchain technology to ameliorate software piracy, and to provide a m...